{"schema":"postcutoff/event@1","as_of":"2026-10-18T22:10:00+02:00","url":"https://postcutoff.com/e/2026-10-18-maggi-golden-or-dark-age-mathematics-tao-blog/","md":"https://postcutoff.com/e/2026-10-18-maggi-golden-or-dark-age-mathematics-tao-blog/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-18-maggi-golden-or-dark-age-mathematics-tao-blog","date":"2026-10-18","date_precision":"day","short_title":"Guest post on Terence Tao's blog by Francesco Maggi","deck":"Will AI bring 'a golden age or a dark age' for mathematics? Calls for publicly governed research LLMs","takeaway":"On 18 Oct 2026 Terence Tao published on his blog a guest essay by mathematician Francesco Maggi (author page at UT Austin's math department), \"Will it be a golden age or a dark age for mathematics (and science)?\".","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 by Francesco Maggi): Will it be a golden age or a dark age for mathematics (and science)?","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","type":"official","group":"primary","domain":"terrytao.wordpress.com"}],"official":1,"filed":"2026-10-18","updated":"2026-10-18","orgs":["UT Austin"],"title":"Guest post on Terence Tao's blog by Francesco Maggi: will AI bring 'a golden age or a dark age' for mathematics? Calls for publicly governed research LLMs","summary":"On 18 Oct 2026 Terence Tao published on his blog a guest essay by mathematician Francesco Maggi (author page at UT Austin's math department), \"Will it be a golden age or a dark age for mathematics (and science)?\". In eight points it argues that LLM proofs need independent scrutiny, that mathematics remains a human culture, that training mathematicians is now \"an existential challenge\", and that concentrated private control of frontier models is a danger. It calls on universities, societies, funders and foundations to build and govern competitive, publicly governed LLMs.","key_facts":["Format: guest post on Tao's 'What's new' blog (tags math.HO, opinion, AI); Tao's note: 'This is a guest post by Francesco Maggi.' and 'This blog post was initially written in a different file format and converted using AI. — T.'","Results discussed: LLM-generated proofs of a finite-time blow-up for Navier–Stokes with forcing, the proposed proof of the quasi-Riemann Hypothesis, and OpenAI's 'Tuesday October 6, 2026, Drop' (about 4,000 problems tried, success on 'some hundreds' after aggregation and selection; the author calls the wording vague)","Golden age if: researcher access to frontier tools, 'reproducibility and disclosure standards for LLM-generated scholarship' and 'sustained investments in publicly governed LLM infrastructure'. Dark age if output surges while independent human research withers and knowledge concentrates in a few hands: 'The real darkness here would be knowledge becoming alien to human understanding.'","Training: 'The training of future mathematicians has already become an existential challenge.' 'A strong mathematical result, by itself, can no longer be taken as convincing evidence' of independent ability","Governance: warns of 'the growing asymmetry between the scientific capabilities' of labs and the community, and says voluntary corporate goodwill is not a sufficient safeguard; universities and other institutions 'should coordinate the development and governance of competitive LLMs'","Also argues: 'Mathematics is not a finite system of questions'; AI creativity and consciousness claims should be treated as open scientific questions; authorship, credit, peer review and confidentiality need new norms. 9 comments by the evening of Oct 18"],"key_numbers":[],"tags":["math","tao","research-culture","ai-for-math","openai","governance","public-ai","education","essay"],"science":null,"body_md":"## What happened\n\nTwelve days after OpenAI's mass release of AI-written maths manuscripts and nine days after Tao's \"Math 2.0\" lecture, Tao gave his\nblog, one of the most read in mathematics, to a guest essay by Francesco Maggi. The essay is organised as eight numbered points and\na call to action. It accepts that LLMs are powerful research tools but argues that their proofs need independent checking, that the\nfield's progress is not a list of problems to tick off, and that cheap proofs could make \"mathematization\" of new sciences, a human\ntask, far more common.\n\nIts sharpest points concern institutions. Because a strong result no longer proves a student's own ability, training\nmathematicians has become \"an existential challenge\". Because a few companies control the frontier models, Maggi calls for\nuniversities, professional societies, funding agencies and foundations to build publicly governed, researcher-oriented LLM\ninfrastructure, with disclosure and reproducibility standards for LLM-generated work. He expects a mix of the two outcomes and says\nthe \"golden age scenario is achievable\".\n\n## Why it matters\n\nIt is the most explicit call yet, on the field's most visible platform, for academia to build its own frontier models rather than\nrely on the labs. It echoes Tao's lecture (open, interpretable maths models) and the Kyoto vision of a \"golden age of science\",\nbut stresses the risk side. Maggi's affiliation is taken from the author link (UT Austin), not from the text.","disputed":[],"related":[{"id":"2026-10-09-tao-math-2-0-caltech-lecture","url":"https://postcutoff.com/e/2026-10-09-tao-math-2-0-caltech-lecture/","date":"2026-10-09","date_precision":"day","short_title":"Terence Tao's Caltech lecture 'Math 2.0'","deck":"AI has ended 'proof scarcity', and blind problem-solving is now 'actively harmful' to mathematics","takeaway":"Tao is the mathematician most often cited on AI and maths, and this is his fullest public statement after OpenAI's release.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":4,"filed":"2026-10-10","updated":"2026-10-10","orgs":["UCLA","Caltech"]},{"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":84,"official":13,"filed":"2026-10-07","updated":"2026-10-18","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":12,"official":9,"filed":"2026-10-07","updated":"2026-10-18","orgs":["OpenAI"]},{"id":"2026-10-04-kyoto-vision-golden-age-of-science","url":"https://postcutoff.com/e/2026-10-04-kyoto-vision-golden-age-of-science/","date":"2026-10-04","date_precision":"day","short_title":"US and 16 countries endorse the 'Kyoto Vision for a Golden Age of Science' on using 'super intelligence' for research","deck":null,"takeaway":"It is the first multilateral text to adopt the Trump administration's \"super intelligence\" terminology, and it frames AI mainly as a way to speed up science rather than as a risk to manage.","category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":4,"official":1,"filed":"2026-10-04","updated":"2026-10-04","orgs":["US Government","OSTP"]},{"id":"2026-06-02-leiden-declaration-ai-mathematics","url":"https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/","date":"2026-06-02","date_precision":"day","short_title":"Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)","deck":null,"takeaway":"It is the broadest grassroots statement of mathematicians' norms on AI: disclosure, attribution, integrity of proof, and independence from industry.","category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Lorentz Center","International Mathematical Union"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-18","type":"filed","text":"Created (evening)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-18","run":null,"sources_read":null,"updated":"2026-10-18","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":171,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":110,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":201,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":140,"in_training_data":false}],"short_url":null}