Hacker News AI · 10/8/2026, 15:05:40
OpenAI Withdraws Three Math Results and Updates Lean Formalization Repo to 42% Coverage
By Dan Roberts (@danintheory)
42AI Score
Executive Summary
OpenAI has withdrawn three previously published mathematical results from its GitHub repository while adding six new Lean formalizations and modifying nineteen entries. Approximately 42% of the top-line results are now formally verified, with ongoing updates planned to address errata.
SOURCE COVERAGEFull Original Report
Dan Roberts (@danintheory) · 2026-10-08 05:20:
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
https://github.com/openai/math/blob/main/history.md
582 赞 · 41 转发
