OpenAI Pulls Three Math Papers After a Single Sign Error
OpenAI Withdraws 3 Math Papers
A sign error in "Algebraicity of Weil classes on split abelian eightfolds" invalidated a key stabilization-trace cancellation argument and the constructions of two dependent papers, forcing OpenAI to withdraw three manuscripts. The organization also revised 14 other papers with proof repairs and added six formalizations, bringing the share of top-line results formalized to roughly 42%.
In “Algebraicity of Weil classes on split abelian eightfolds” a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent papers.