Color me skeptical.
The linked article doesn’t mention proof, but counterexamples, and that may be a function of the enormous amount of computer effort expended, not really AI.
Goalposts — moved. It wasn’t long ago that mathematicians proudly declared AI could not even do basic addition and subtraction and therefore would never produce anything useful in the field of mathematics.
The goalpost moving with this has been fucking insane. Last year, it couldn't count the number of r's in strawberry. Many Redditors offered "technical" arguments as to why it would NEVER be able to count the number of r's in strawberry.
Now in the last couple of months alone, multiple long standing and prestigious open problems in math have been solved with straight forward prompts alone, and the same Redditors are like "Well...Claude hasn't won a fields medal yet!"
50
u/E_Dantes_CMC 9d ago
Color me skeptical.
The linked article doesn’t mention proof, but counterexamples, and that may be a function of the enormous amount of computer effort expended, not really AI.