{"slug": "openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day", "title": "OpenAI put 722 AI-written maths papers on GitHub, then pulled three of them a day later", "summary": "OpenAI published 722 mathematics manuscripts generated by an internal frontier model to a public GitHub repository on October 6, then withdrew three of them on October 7 after a sign error in \"Algebraicity of Weil classes on split abelian eightfolds\" invalidated a key argument and the construction two other papers relied on, taking the count to 719. About 42% of the headline results (300 of 719) carry formal proofs in Lean, and OpenAI says the model was set roughly 4,000 problems during internal testing at an average cost of about three hours of ChatGPT Pro thinking per result. The Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, whose members include Fields medallists Tim Gowers and Martin Hairer and physicist Edward Witten, said its advisory role \"should not be interpreted as a judgment of the impact of these results or an endorsement of the process by which OpenAI obtained them,\" while the Association for Human Mathematics called the release \"a demonstration of power.", "body_md": "Mathematical formulae (illustrative). Image: [Wallpoper](https://commons.wikimedia.org/wiki/File:Pure-mathematics-formul%C3%A6-blackboard.jpg) / Wikimedia Commons, Public domain, cropped\n\nOpenAI has put 722 maths manuscripts written by a model nobody outside the company can use into a [public GitHub repository](https://github.com/openai/math), and within a day it had withdrawn three of them. The company [announced the release](https://openai.com/index/sharing-ai-progress-in-mathematics/) on Tuesday, October 6, saying the papers come from an “internal frontier model”.\n\nThe independent group of mathematicians OpenAI consulted said the same day that its advice should not be read as approval, and a second group of mathematicians called the release “a demonstration of power”.\n\n## What is in the repository\n\nThe collection is grouped into 372 “families” of related papers, each with a principal result and companion arguments, according to its [README](https://github.com/openai/math/blob/main/README.md). OpenAI says the model was set about 4,000 problems during its internal testing, and that each result used, on average, the equivalent of about three hours of ChatGPT Pro thinking.\n\nAbout 42% of the headline results (300 of 719) come with formal proofs in Lean, a programming language that lets a computer check every step. The rest have not been machine-checked, and the README warns that “some of the unformalized results could have issues”. OpenAI has also published abridged summaries of the model’s reasoning for 10 results, including the irrationality exponent of π, the Mahler conjectures and Kaplansky’s direct-finiteness conjecture in characteristic two.\n\nTwo pieces of work fell outside the fixed procedure used for the rest: a zero-free region for the Riemann zeta function, whose write-up was edited by people for readability, and a claimed proof of the Hodge conjecture for CM abelian varieties. None of the papers has been through peer review, so every claim about what they solve is OpenAI’s own for now.\n\n## Three papers pulled in a day\n\nOn October 7 the repository’s [change log](https://github.com/openai/math/blob/main/history.md) recorded its first withdrawals. A sign error in “Algebraicity of Weil classes on split abelian eightfolds” invalidated a key argument, OpenAI wrote, along with the construction two other papers relied on. All three, including “The rational Hodge conjecture for products of K3 surfaces”, were withdrawn, which took the count from 722 to 719.\n\nOpenAI also revised 14 other manuscripts with “proof repairs, corrected statements, clearer hypotheses”, and updated 13 more to cite the fixed versions. Withdrawn papers stay online with a notice explaining the gap, and OpenAI says every revision will be kept as a new version rather than overwriting the old one.\n\n## “Not an endorsement”\n\nOpenAI said it shaped the release on advice from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) at the Institute for Advanced Study in Princeton, whose members include the Fields medallists Tim Gowers and Martin Hairer and the physicist Edward Witten. The group published [guidelines for AI labs](https://madrobot.blog/2026/09/30/fields-medallists-ai-labs-stop-testing-maths-proprietary-models-agmai/) on September 29. In a [statement on October 6](https://agmai.org/statement-oct6/) it called the release “an important event for mathematics” and its talks with OpenAI “constructive”, but added:\n\nAGMAI’s advisory role should not be interpreted as a judgment of the impact of these results or an endorsement of the process by which OpenAI obtained them.\n\nAdvisory Group on Mathematics and Artificial Intelligence\n\nIt said only the wider mathematical community can judge the work, and whether its recommendations were followed. “This release is the beginning, not the completion,” the group wrote, warning that mathematicians must stay free to choose their own questions.\n\n## “A demonstration of power”\n\nThe Association for Human Mathematics, a group that campaigns to keep maths a human endeavour, went further. In a [statement](https://www.ahmath.org/statements) from its communications working group, it said “mathematicians did not ask for this work to be done” and argued that OpenAI had ignored the advisory group’s central advice that labs should not test advanced problems on internal models. It rejected OpenAI’s claim that the release advances the subject:\n\nReleasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power.\n\nAssociation for Human Mathematics\n\nIt urged mathematicians to stop working with OpenAI. OpenAI hasn’t commented on either statement. It says it will fund workshops and conferences on results produced by AI, and that it is “working to responsibly release the model” itself, without giving a date or a name.\n\nChecking hundreds of papers is a big job for a field already worried about being swamped: arXiv [limited submissions to two a month](https://madrobot.blog/2026/10/02/arxiv-limits-submissions-two-per-month-ai-written-papers-record-40363/) last week after a record surge, and mathematicians have been [arguing for weeks](https://madrobot.blog/2026/09/19/mathematicians-threatened-by-ai-cant-quit-it/) over OpenAI’s Navier-Stokes claim.\n\n## Why it matters\n\nThis is the largest public batch of AI-generated maths so far, and putting it on GitHub with formal proofs and a change log means anyone can check it. The three withdrawals in a day show why that checking matters: until mathematicians have been through the papers, the solutions it reports to hundreds of open problems remain OpenAI’s claim, not established results.\n\n*Sources: [OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/), [openai/math on GitHub](https://github.com/openai/math), [AGMAI](https://agmai.org/statement-oct6/), [Association for Human Mathematics](https://www.ahmath.org/statements)*", "url": "https://wpnews.pro/news/openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day", "canonical_source": "https://madrobot.blog/2026/10/08/openai-722-maths-papers-github-three-withdrawn-mathematicians-react/", "published_at": "2026-10-08 07:44:00+00:00", "updated_at": "2026-10-08 07:48:14.792553+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models", "ai-safety"], "entities": ["OpenAI", "GitHub", "Advisory Group on Mathematics and Artificial Intelligence", "Institute for Advanced Study", "Tim Gowers", "Martin Hairer", "Edward Witten", "Association for Human Mathematics"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day", "markdown": "https://wpnews.pro/news/openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day.md", "text": "https://wpnews.pro/news/openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day.txt", "jsonld": "https://wpnews.pro/news/openai-put-722-ai-written-maths-papers-on-github-then-pulled-three-of-them-a-day.jsonld"}}