---
id: "2026-10-24-oai-math-revised-community-hub"
url: "https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/"
as_of: "2026-10-25T23:49:00+01:00"
date: "2026-10-24"
date_precision: day
category: research
importance: 3
confidence: high
status: [Confirmed]
sources: 4
editor: human editor
human_review: null
version: "2026-10-25"
---

As of: 2026-10-25 23:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/

# oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)

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

## What happened

OpenAI's 6 Oct release put hundreds of AI-written manuscripts on GitHub. OpenAI warned that unformalized results "could have
issues" and said it was "exploring community-hosted repositories for these materials". Two and a half weeks later, four
mathematicians made such a community fork public with a guest post on Terence Tao's blog. The fork asks students, postdocs,
professors and enthusiasts to add literature context and citations, improve exposition and flag or fix errors. Changes go
through GitHub pull requests and per-paper notes, and the activity shows on a browsable site. The post gives no counts of
revisions or errors found so far.

## Why it matters

This is the first organized attempt by research mathematicians to digest and credit the OpenAI catalogue. The workflow
treats AI-written papers as drafts that need human literature review and attribution before they count as mathematics.
The comments show the tension: some see it as needed hygiene, others as free labour for a company, or as a source of
training data.

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 177 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 116 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 207 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 146 days after its cutoff

## Sources

1. [GitHub: mathcommunity/oai-math-revised](https://github.com/mathcommunity/oai-math-revised) (github.com, code)
2. [oai-math-revised website (papers by discipline)](https://mathcommunity.github.io/oai-math-revised/) (mathcommunity.github.io, docs)
3. [GitHub: openai/math (the original release)](https://github.com/openai/math) (github.com, code)
4. [Tao's blog (guest post): oai-math-revised: a community hub for revising OpenAI's math write-ups (24 Oct 2026)](https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/) (terrytao.wordpress.com, discussion)

## Changes

- 2026-10-25 (filed): Created (repo stats read from the GitHub API)

## Related

- 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md)
- 2026-10-06: [OpenAI model claims the quasi-Riemann hypothesis](https://postcutoff.com/e/2026-10-06-quasi-riemann-hypothesis-openai/index.md)
- 2026-10-06: [Hexagon launches: a new arXiv-style repository for LLM-assisted mathematics papers](https://postcutoff.com/e/2026-10-06-hexagon-repository-llm-assisted-math/index.md)
- People: [Terence Tao](https://postcutoff.com/person/terence-tao/)