OpenAI pulls 3 math papers over sign error; only 42% of 719 results formalized

petrusenko_max · x · 2026-10-08

OpenAI withdrew three math papers on October 7 after a sign error invalidated a stabilization-trace cancellation argument, taking down two dependent papers with it. The team revised 14 other manuscripts; only 300 of 719 top-line results (42%) have been formally verified.

Related event: OpenAI Retracts Three Hodge-Conjecture Papers Over Sign Error, 42% of Results Now Formalized(5 posts)→

Original post →

More from Research

Research channel →