OpenAI Withdraws Three Math Results and Updates Lean Formalization Repo to 42% Coverage
By Dan Roberts (@danintheory)Original title: OpenAI withdraws three mathematical results
42AI Score
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.
Full 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 转发
