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.
Originally reported by github.com
Read the original article →Original headline: OpenAI Withdraws Three AI-Generated Math Manuscripts Over a Sign Error That Collapsed a Weil-Classes Argument