{"schema":"postcutoff/event@1","as_of":"2026-11-15T00:33:00+01:00","url":"https://postcutoff.com/e/2026-11-13-mathhelm-forum-ai-generated-papers/","md":"https://postcutoff.com/e/2026-11-13-mathhelm-forum-ai-generated-papers/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-11-13-mathhelm-forum-ai-generated-papers","date":"2026-11-13","date_precision":"day","short_title":"MathHelm: a forum for AI-generated maths papers","deck":null,"takeaway":"Seven mathematicians from Peking University, Caltech, CAS, Westlake, Berkeley and ICMAT launched MathHelm so that comments on AI-generated papers are gathered in one place. Its stated principle: 'Mathematicians have no obligation to check AI-generated papers.' It bans use of its content for AI training.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":[{"n":1,"title":"Terence Tao's blog (guest post, 13 Nov): Introducing MathHelm: A place to discuss AI-generated papers","url":"https://terrytao.wordpress.com/2026/11/13/introducing-mathhelm-a-place-to-discuss-ai-generated-papers/","type":"official","group":"primary","domain":"terrytao.wordpress.com"},{"n":2,"title":"MathHelm","url":"https://mathhelm.org/","type":"official","group":"primary","domain":"mathhelm.org"},{"n":3,"title":"Terence Tao: Lean Grimoire (11 Nov)","url":"https://terrytao.wordpress.com/2026/11/11/lean-grimoire/","type":"official","group":"primary","domain":"terrytao.wordpress.com"},{"n":4,"title":"Lean Grimoire (game)","url":"https://teorth.github.io/tao-web/apps/grimoire.html","type":"code","group":"primary","domain":"teorth.github.io"},{"n":5,"title":"arXiv 2610.40584: Early career researcher responses to AI in math (Brandenberger, Mularczyk, Woodruff)","url":"https://arxiv.org/abs/2610.40584","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Hacker News: MathHelm: A place to discuss AI-generated papers","url":"https://news.ycombinator.com/item?id=50493668","type":"discussion","group":"reactions","domain":"news.ycombinator.com"},{"n":7,"title":"Terence Tao's blog (guest post, 9 Nov): Our survey of early career mathematicians","url":"https://terrytao.wordpress.com/2026/11/09/our-survey-of-early-career-mathematicians/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":5,"filed":"2026-11-14","updated":"2026-11-14","orgs":["MathHelm","Peking University"],"title":"MathHelm opens: a real-name forum, chaired by Xinyi Yuan, for discussing AI-generated maths papers such as OpenAI's 722 manuscripts, announced on Terence Tao's blog; same week, Tao's Lean Grimoire game and an MIT survey of early-career mathematicians on AI","summary":"On 13 Nov 2026 a guest post on Terence Tao's blog introduced MathHelm (mathhelm.org), a forum where research mathematicians, registered under real names with institutional email, discuss AI-generated papers (correctness, originality, key ideas) and attach PDF notes. Its scientific committee: Xinyi Yuan (chair, Peking University), Yi Ni, Xiaoming Sun, Liang Xiao, Yuan Yuan, Ruixiang Zhang and Fan Zheng. It already imports papers from OpenAI's openai/math release.","key_facts":["Principles (guest post, verbatim): 'Mathematicians have no obligation to check AI-generated papers.' 'It focuses on mathematical content and takes no predetermined position for or against AI.' 'Our policy prohibits any organization from using forum content to train AI models.' Nonprofit; open to readers worldwide; posting needs a verified institutional email","Motivation: many mathematicians found the AI papers intimidating and hard to assess, and useful comments were scattered; the trigger named is OpenAI's release of '722 mathematical manuscripts generated by an internal AI model' on 6 Oct","Content at launch: imported OpenAI papers (e.g. 'The irrationality exponent of π is 2', 'The quasi-Riemann hypothesis'), plus member questions and discussions","Questions in the blog comments: who governs it and what recourse users have (one asked whether the AMS should host such a service), and whether the no-training rule can be enforced; commenters pointed to oai-math-revised and the Proofs and People / Proofs and Prompts forums","Same week on Tao's blog: 'Lean Grimoire' (11 Nov), his 2018 QED logic textbook rebuilt 'with a coding agent' as a game that shows the Lean proof of each step; and (9 Nov) a guest post by Anna Brandenberger, Hanna Mularczyk and Dora Woodruff (MIT) on their survey of 260+ early-career mathematicians from about 60 institutions (arXiv 2610.40584), mostly answered before 6 Oct: 'we nervously wonder how different this data would look today'"],"key_numbers":[],"tags":["math","community","peer-review","openai-math-release","terence-tao","lean","survey"],"science":null,"body_md":"## What happened\n\nA group of seven mathematicians, chaired by Xinyi Yuan of Peking University, opened MathHelm, a forum for discussing AI-generated\nmathematics papers, and announced it in a guest post on Terence Tao's blog on 13 Nov. Members post under their real names with an\ninstitutional email; anyone can read. Each paper gets a page where people comment on whether it is correct, readable and new, and\ncan upload notes. The site already lists papers from OpenAI's October release.\n\n## Why it matters\n\nOpenAI's 722 manuscripts, Hexagon's hundreds of AI-written deposits and daily arXiv papers with AI statements have created more\nclaimed results than referees can read. MathHelm is a second community venue after the oai-math-revised hub, run by a committee\nbased in China, the US and Spain. Its rule that nobody owes AI papers a check, and its ban on training use, state positions many\nmathematicians have voiced informally.","disputed":[],"related":[{"id":"2026-10-24-oai-math-revised-community-hub","url":"https://postcutoff.com/e/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":"This is the first organized attempt by research mathematicians to digest and credit the OpenAI catalogue.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":6,"official":5,"filed":"2026-10-25","updated":"2026-10-27","orgs":["OpenAI","mathcommunity"]},{"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":79,"official":13,"filed":"2026-10-07","updated":"2026-10-29","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-29","orgs":["Hexagon Mathematics Foundation"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-14","type":"filed","text":"Created (science agent; the three Tao blog posts, mathhelm.org and the arXiv survey abstract read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-14","run":null,"sources_read":"Science agent; the three Tao blog posts, mathhelm.org and the arXiv survey abstract read","updated":"2026-11-14","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":197,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":136,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":227,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":166,"in_training_data":false}],"short_url":null}