{"schema":"postcutoff/event@1","as_of":"2026-10-25T23:49:00+01:00","url":"https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/","md":"https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-24-oai-math-revised-community-hub","date":"2026-10-24","date_precision":"day","short_title":"oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)","deck":null,"takeaway":"On 24 Oct 2026 Terence Tao's blog ran a guest post by Abhinav Nellore, Johannes Schmitt, Soledad Villar and Rachel Ward announcing oai-math-revised (github.com/mathcommunity/oai-math-revised), a community fork of OpenAI's 6 Oct release of AI-written maths manuscripts.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":[{"n":1,"title":"GitHub: mathcommunity/oai-math-revised","url":"https://github.com/mathcommunity/oai-math-revised","type":"code","group":"primary","domain":"github.com"},{"n":2,"title":"oai-math-revised website (papers by discipline)","url":"https://mathcommunity.github.io/oai-math-revised/","type":"docs","group":"primary","domain":"mathcommunity.github.io"},{"n":3,"title":"GitHub: openai/math (the original release)","url":"https://github.com/openai/math","type":"code","group":"primary","domain":"github.com"},{"n":4,"title":"Tao's blog (guest post): oai-math-revised: a community hub for revising OpenAI's math write-ups (24 Oct 2026)","url":"https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":3,"filed":"2026-10-25","updated":"2026-10-25","orgs":["OpenAI","mathcommunity"],"title":"oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)","summary":"On 24 Oct 2026 Terence Tao's blog ran a guest post by Abhinav Nellore, Johannes Schmitt, Soledad Villar and Rachel Ward announcing oai-math-revised (github.com/mathcommunity/oai-math-revised), a community fork of OpenAI's 6 Oct release of AI-written maths manuscripts. Its aim is to fix exposition, missing citations and errors in the write-ups, which OpenAI's own README says \"could have issues\". Commenters asked why unpaid volunteers should clean up a for-profit company's output.","key_facts":["Announced 24 Oct 2026 as a guest post on Terence Tao's blog 'What's new'. Authors: Abhinav Nellore, Johannes Schmitt, Soledad Villar, Rachel Ward","Stated motivation (README and post): 'OpenAI's math write-ups can be difficult to understand and can have incomplete citations. This repo seeks to be an inclusive effort to improve these write-ups'","Repo github.com/mathcommunity/oai-math-revised was created 10 Oct 2026. On 25 Oct it had 27 stars, 7 forks and about 21 pull requests. Its description: 'Math is of the people, by the people, and for the people, and we will cite the people.' A website (mathcommunity.github.io/oai-math-revised) lists the papers by discipline, with a page per paper","How to contribute: pull requests that edit the TeX (literature reviews, related results, exposition, errors), issues, and per-paper NOTES.md files that log contributions, follow-up works, reviews and people interested in 'digestion' meetings. Contributors must 'disclose substantial use of automation (via language models, proof assistants, and other mathematical software)'","The fork's copy of OpenAI's README describes 719 manuscripts in 372 families, with '~42% top-line results formalized' in Lean","Early merged PRs (24 Oct) add follow-up works to papers: David Harvey's note on integer multiplication below n log n (family 109), Kevin Shu's blog exposition (nonspectrahedral hyperbolicity cone) and Mario Bonk's Quasiworld talk (Cannon conjecture paper)","Blog comments: objections to unpaid volunteers improving a for-profit company's manuscripts, a worry that the revised texts will become training data, a note that several organizers work in ML / AI for maths, and a proposal (Kunal Relia) for a tag marking overstated contributions, citing the Unique Games family (102) and Khot–Regev 2008"],"key_numbers":[],"tags":["math","openai","open-problems","community","peer-review","citations","terence-tao"],"science":null,"body_md":"## What happened\n\nOpenAI's 6 Oct release put hundreds of AI-written manuscripts on GitHub. OpenAI warned that unformalized results \"could have\nissues\" and said it was \"exploring community-hosted repositories for these materials\". Two and a half weeks later, four\nmathematicians made such a community fork public with a guest post on Terence Tao's blog. The fork asks students, postdocs,\nprofessors and enthusiasts to add literature context and citations, improve exposition and flag or fix errors. Changes go\nthrough GitHub pull requests and per-paper notes, and the activity shows on a browsable site. The post gives no counts of\nrevisions or errors found so far.\n\n## Why it matters\n\nThis is the first organized attempt by research mathematicians to digest and credit the OpenAI catalogue. The workflow\ntreats AI-written papers as drafts that need human literature review and attribution before they count as mathematics.\nThe comments show the tension: some see it as needed hygiene, others as free labour for a company, or as a source of\ntraining data.","disputed":[],"related":[{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":83,"official":13,"filed":"2026-10-07","updated":"2026-10-25","orgs":["OpenAI"]},{"id":"2026-10-06-quasi-riemann-hypothesis-openai","url":"https://postcutoff.com/e/2026-10-06-quasi-riemann-hypothesis-openai/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI model claims the quasi-Riemann hypothesis","deck":"No zeta or Dirichlet L-function zeros with Re s > 7/8, and no Landau–Siegel zeros (Lean-formalized)","takeaway":"If correct, this is the largest advance on the zeros of ζ since the 19th century, and it would remove the Siegel-zero obstruction that runs through modern analytic number theory.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":12,"filed":"2026-10-07","updated":"2026-10-25","orgs":["OpenAI"]},{"id":"2026-10-06-hexagon-repository-llm-assisted-math","url":"https://postcutoff.com/e/2026-10-06-hexagon-repository-llm-assisted-math/","date":"2026-10-06","date_precision":"day","short_title":"Hexagon launches: a new arXiv-style repository for LLM-assisted mathematics papers","deck":null,"takeaway":"It is the first dedicated infrastructure for AI-generated mathematics backed by leading mathematicians, and it accepts work that no human claims to understand.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":2,"official":2,"filed":"2026-10-07","updated":"2026-10-13","orgs":["Hexagon Mathematics Foundation"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-25","type":"filed","text":"Created (repo stats read from the GitHub API)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-25","run":null,"sources_read":"Repo stats read from the GitHub API","updated":"2026-10-25","human_review":null,"version":{"date":"2026-10-25"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":177,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":116,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":207,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":146,"in_training_data":false}],"short_url":null}