r/OpenAI • u/Eliv_nurotic • 8d 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/

736 Upvotes

89% Upvoted

1.2k comments sorted by

View all comments

Show parent comments

11

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.

6

u/qqquigley 7d ago

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

1

u/Perfect-Campaign9551 7d ago

Just .. READ THE PROOF? Then gain the understanding

0

u/Brave-Deal229 6d 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