← Back to live feed1 story
OpenAI withdrew three mathematical results from its GitHub math repository, which now includes 6 new Lean formalizations and 19 modifications, bringing the total to approximately 42% top-line results formalized.
Sign in to suggest edits
Key sources
- DISCUSSIONsashank_1509news.ycombinator.com
- DISCUSSIONtheemathasnews.ycombinator.com
- SOURCEhngithub.com
- SOURCE@miniapeur“These include OpenAI's announced Navier-Stokes proof. In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations.”x.com
- SUPPORT@therundownai“OpenAI has also withdrawn 3 of the papers, and 14 more have been revised since the release.”x.com
- SOURCE@0xdoug“κ = 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²) A 500 thousand fold improvement over the previous result and a 2 ^ 167 fold improvement over the original OpenAI result.”x.com
- SUPPORT@borismpower“Wow, this is truly inspiring!!”x.com
- SUPPORT@doomslide“The result released by OpenAI (#311) on October 6, 2026... identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026”x.com