{"slug": "openai-withdraws-three-mathematical-results", "title": "OpenAI withdraws three mathematical results", "summary": "OpenAI researcher Dan Roberts announced on X that the company's GitHub math repository was updated with 6 new Lean formalizations, 19 modifications, and 3 withdrawals, leaving roughly 42% of top-line results formalized. The three withdrawn manuscripts are \"Algebraicity of Weil classes on split abelian eightfolds,\" \"Algebraicity of Kuga–Satake Correspondences for K3 Surfaces,\" and \"The rational Hodge conjecture for products of K3 surfaces.\" Roberts said the repository will continue to receive new formalizations and any errata the team notices.", "body_md": "Dan Roberts on X: \"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.\nhttps://t.co/HI6otY2NTO\"\n\nWe'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.\n\nWe'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.\n\nTo save you a click:\n> As a result, we have withdrawn the following three manuscripts:\n- Algebraicity of Weil classes on split abelian eightfolds\n- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces\n- The rational Hodge conjecture for products of K3 surfaces", "url": "https://wpnews.pro/news/openai-withdraws-three-mathematical-results", "canonical_source": "https://twitter.com/danintheory/status/2108065033070789090", "published_at": "2026-10-08 07:05:40+00:00", "updated_at": "2026-10-08 07:19:24.230409+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "machine-learning"], "entities": ["OpenAI", "Dan Roberts", "Lean", "GitHub"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/openai-withdraws-three-mathematical-results", "markdown": "https://wpnews.pro/news/openai-withdraws-three-mathematical-results.md", "text": "https://wpnews.pro/news/openai-withdraws-three-mathematical-results.txt", "jsonld": "https://wpnews.pro/news/openai-withdraws-three-mathematical-results.jsonld"}}