It’s the type of problem I expected LLMs to be able to solve—challenging proofs wirh routine techniques, probably no novel math concepts invented.
if it’s in the envelope of the achievable with current techniques, the time to get there seems more a function of prioritization and developer skill, and not evidence about the limits of the paradigm.
I guess it is a small update though—these longer proofs may require some agency.
It’s the type of problem I expected LLMs to be able to solve—challenging proofs wirh routine techniques, probably no novel math concepts invented.
if it’s in the envelope of the achievable with current techniques, the time to get there seems more a function of prioritization and developer skill, and not evidence about the limits of the paradigm.
I guess it is a small update though—these longer proofs may require some agency.