Will_Sawin comments on The Inefficiency of Theoretical Discovery