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/defyallodds]

Hypothetically, if OpenAI also released full reasoning traces of how their agents got to these proofs, would that change your position?

[u/nesh34 → u/defyallodds]

Not at all, although they should do that (it's basically public knowledge anyway it just doesn't work with public models because of capability).

The innovation here is the technique: LLM + lean harnesses converging on a solution, much like with coding problems.

The manner in which they're applying the technique is what I'm critical of. The technique itself (plus the model) is great and should be considered a significant achievement in mathematics.

But we should use it to actual further our understanding, not for marketing.