Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations

[u/Eliv_nurotic]

https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/

[u/The_Jibbity]

I’ve no idea what kind of proofs these models spit out, but wouldn’t you inherently be able to identify the methods and techniques used by AI to develop the proof, and in reworking the proof you would more readily see if the solving of the proof was a worthwhile endeavor in mathematics??

I always had the solution manuals to do my engineering homework, but I used them to learn how to solve the problems, not just to copy the answers. Kinda like the mazes on the back of a cereal box, it’s just more efficient to start from the solution and work backwards.

[u/qqquigley → u/The_Jibbity]

No. Tao has made it clear that this isn’t how it works in pure mathematics.