--- format: "aidr-story-markdown/v1" id: "cb64f35a050902147f3a01e80e7b579b8b7572fae80e072f272ef1173fa70f31" canonical_url: "https://aidr.today/cb64f35a?lang=en" title: "OpenAI withdraws three mathematical results" lang: "en" requested_lang: "en" available_langs: ["en","vi"] translation_fallback: null fallback_fields: [] published_at: "2026-10-08T07:05:40.000Z" category: "Open Source" topics: ["openai","open-source","llm"] source_urls: ["https://twitter.com/danintheory/status/2108065033070789090","https://news.ycombinator.com/item?id=50002650","https://news.ycombinator.com/item?id=50003107","https://github.com/openai/math/blob/main/history.md","https://x.com/miniapeur/status/2108124820357460200","https://x.com/TheRundownAI/status/2108214995087396923","https://x.com/0xdoug/status/2108218367962124423","https://x.com/BorisMPower/status/2108214883372466242"] summary: "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." --- # OpenAI withdraws three mathematical results > [Open the canonical story]() **Published:** 2026-10-08T07:05:40.000Z **Category:** Open Source **Topics:** openai, open\-source, llm ## Summary 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\. ## Sources - [Story source]() - [Discussion]() - [Discussion]() - [Story source]() - [Story source]() - [Supporting source]() - [Story source]() - [Supporting source]()