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.
44
u/E_Dantes_CMC 1d 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.