OpenAI Withdraws Three Math Papers Over Sign Error in Weil Classes Proof

OpenAI withdrew three math manuscripts, including "Algebraicity of Weil classes on split abelian eightfolds," after a sign error invalidated a stabilization-trace cancellation argument.

The withdrawal also affects two papers that depended on that construction, and the withdrawn papers now carry notices linking to archived manuscripts. The update also revised 14 other manuscripts with proof repairs and added six formalizations.