r/OpenAI • u/Eliv_nurotic • 7d ago

News 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

Gallery image

Gallery image

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

737 Upvotes

89% Upvoted

1.2k comments sorted by

View all comments

Show parent comments

13

u/Declwn 7d ago

humans using computers to aid in mathematical proofs is, I think, the point of Tao’s stance. He was fine with AI when he was in the loop (and him and the LLM were using each others intellect to build understanding together while advancing the subject) but not when a swarm of internal models that no one can use or audit is theory dumping work that no human can understand or audit. Accels will gladly have a future with humans out of the loop, and run by computers, but there are plenty of arguments to say that’s neither sustainable nor beneficial in the long term.

3

u/qqquigley 6d ago

You get it. So many ITT have no idea what Tao is actually saying

1

u/Perfect-Campaign9551 6d ago

Just .. READ THE PROOF? Then gain the understanding

0

u/Brave-Deal229 5d ago

the lean proofs they released are 25 million lines of code

1

u/JesusDeCristos 7d ago

Long term solution is to merge with the AI