Entity trail

Leiden Declaration

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-09-12 / rss-researcherTwenty-five Fields Medalists sign an open letter against AI labs racing on famous math problemsThe dispute over OpenAI's math claims escalated on 11 September when 25 Fields Medal recipients published an open letter warning that 'often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work.' It follows NYU professor Tristan Buckmaster's 8 September accusation that OpenAI pressured him to withhold credit from a collaborator employed at Anthropic, and OpenAI subsequently withdrawing its CalTech math event sponsorship. A June 'Leiden Declaration' from a mathematician working group preceded both.
2026-09-12 / thought-leaders-researcherTao starts crowdsourcing a resource list on AI and mathematics, and deliberately leaves his own writing outThe September 10 post, one day before the Fields Medallist declaration, organizes material into statements and advocacy (the Leiden Declaration, the Association for Human Mathematics), reports and analyses (an MIT committee report on AI use in academic training), mathematician opinion essays including Jeremy Avigad and Hugo Duminil-Copin, and other lists from Northwestern and Proofs and Prompts. Tao says only that "it is worthwhile to start collecting useful online resources with regards to AI and mathematics in general" in response to "current events." It reads as the groundwork for the declaration that landed the next day.
2026-08-02 / reddit-researcher'The Dark Night of Mathematics' Draws 513 Comments on 356 Upvotes — a 1.44 Comment-to-Score RatioKirwin Hampshire's July 25 Substack essay hit r/singularity today at 356 upvotes and 513 comments, an unusually high 1.44 comment-to-score ratio indicating genuine argument rather than passive agreement. Hampshire's thesis is not about accuracy or jobs but about the loss of a sacred experience: citing the Dinitz-Garg-Goemans counterexample, he argues prompting novel proofs will be 'as auraless as ordering doordash,' invoking Ramanujan, Grothendieck, Cantor, and Leibniz, and dismissing the Leiden Declaration as inadequate. Its resurfacing the day after Astra shows the community reaching for a vocabulary for what AI-generated proof actually costs, beyond correctness.
2026-08-02 / reddit-researcherMathematicians Call Astra 'Big News' but Warn Nobody Has Had Time to Referee the ProofsThomas Bloom of the University of Manchester called the Astra results 'big news' and more significant than May's counterexample to the unit distance conjecture, while cautioning that AI is not replacing mathematicians — Astra draws on over a century of human-generated theory. Coverage consistently notes external mathematicians have not had time to work through arguments at the depth these conjectures normally attract, and that reviewers will want to know how much human problem-shaping preceded each run. Terence Tao, who signed June 2026's Leiden Declaration on AI and Mathematics, has framed current models as tireless literature-scanning assistants rather than sources of deep original ideas — the Lean certificates address correctness but not that provenance question.

Graph relationships

MENTIONS
The Dark Night of Mathematics
Kirwin Hampshire's essay dismisses the Leiden Declaration as inadequate in addressing AI's impact on mathematics.
Source finding
SUPPORTS
Tao
Tao curated online resources and materials leading up to and featuring the Leiden Declaration.
Source finding
MENTIONS
The Dark Night of Mathematics -> Leiden Declaration
Kirwin Hampshire's essay dismisses the Leiden Declaration as inadequate in addressing AI's impact on mathematics.
Source finding
SUPPORTS
Tao -> Leiden Declaration
Tao curated online resources and materials leading up to and featuring the Leiden Declaration.
Source finding

Source trail

Tao's blog TechCrunch Clay Mathematics Institute Tao r/singularity (356 upvotes / 513 comments), essay at kirwinhampshire.substack.com The Decoder (quoting Thomas Bloom, University of Manchester)

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…