github.com via Hacker News

OpenAI Withdraws Three AI-Generated Math Manuscripts Over a Sign Error That Collapsed a Weil-Classes Argument

Summary

OpenAI's version log for its 722-paper math release withdrew three manuscripts a day after launch, citing a sign error in 'Algebraicity of Weil classes on split abelian eightfolds' that invalidated a stabilization-trace cancellation argument. The flaw cascaded through two dependent papers, including 'The rational Hodge conjecture for products of K3 surfaces,' leaving 719 manuscripts in the catalog with 14 further proof repairs.