papersSEP 9 09:21 UTC
Dispute Over AI Proof of Millennium Problem Tests Trust in AI Labs
A disagreement has escalated over claims that an AI system produced a valid proof for one of mathematics' Millennium Prize problems. Mathematician Tristan Buckmaster has accused OpenAI of academic misconduct, a charge CEO Sam Altman rejects. Terence Tao cautioned that such disputes risk undermining centuries-old norms of open scientific inquiry.