{"id":"0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","title":"Francesco Maggi: AI’s mathematical proofs could usher in a golden age—or weaken human science","argument":"In a guest post on Terence Tao’s blog, Francesco Maggi argues that AI systems are already producing mathematical proofs worth serious scrutiny, but their results do not automatically amount to human understanding or lasting scientific progress. Some proofs written in Lean—a system that lets computers check formal arguments—are so long that mathematicians may struggle to interpret them. Maggi sees a major opportunity in using AI to help develop mathematical frameworks for studying natural and social phenomena, while warning that proof-solving alone is not the whole of mathematical progress.\n\nThe outcome, he argues, depends on choices about how these tools enter research. He calls for clear credit and review practices, protection for unpublished research, training that helps students retain independent abilities, and broader access to powerful systems. His proposed response is coordinated, publicly accountable scientific infrastructure—not necessarily independence from companies, but enough shared capability for researchers to test claims and pursue their own questions. How AI affects creativity and learning remains uncertain; Maggi presents a “golden age” as achievable, not inevitable.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The post is explicitly identified as a guest post by Francesco Maggi; Terence Tao’s note says it was converted from a different file format using AI. The post offers arguments and proposals, not evidence that its predicted benefits or risks will occur. It says the effects of intensive LLM use on creativity are largely unknown. The post describes certain generated proofs as notable examples but does not establish their correctness or broader real-world reliability in the supplied evidence.","speaker":{"name":"Terence Tao","roleAtSource":"Publisher"},"source":{"title":"Will it be a golden age or a dark age for mathematics (and science)?","publisher":"Terence Tao","format":"Article","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","publishedAt":"2026-10-18T14:59:49+00:00","dateBasis":"Date stated by the publisher."},"evidence":[{"text":"Guest author Francesco Maggi argues that AI-generated mathematical proofs merit serious independent examination, while their quality and limits are not yet fully understood.","excerpt":"While the quality and limits of these tools remain incompletely understood, their potential for accelerating discovery","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi says some AI-produced Lean proofs are extremely long and difficult to translate into natural language, making human interpretation necessary before they can contribute to understanding.","excerpt":"LLMs can give us correct Lean proofs that we cannot directly read, and messy natural language translations","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi argues that mathematical progress includes creating new mathematical languages and frameworks, not just proving listed conjectures.","excerpt":"The act of inventing the very mathematical language through which reality (including mathematical structures themselves) becomes quantitatively and rationally intelligible.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi warns that unclear attribution, responsibility, and confidentiality could discourage researchers from sharing ideas or using AI tools.","excerpt":"Which mathematical ideas contributed to a specific proof? Who is responsible for asserting the proof’s correctness","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi says researchers lack satisfactory standards for assessing individuals’ mathematical contributions in the age of LLMs, and that effects on creativity are largely unknown.","excerpt":"we have yet to develop satisfactory standards for assessing individual intellectual contributions to mathematical research in the age of LLMs.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi argues that unequal access to frontier systems could concentrate influence over research questions, tools, and the release of discoveries.","excerpt":"Allowing private interests to determine which questions receive the best tools, who can use them, how capabilities are evaluated, and when discoveries are released would concentrate scientific influence to an unprecedented degree.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi proposes coordinated scientific infrastructure and concrete steps such as access, reproducibility standards, education research, and public investment to make a human-centered outcome more likely.","excerpt":"Access to frontier LLMs for researchers, reproducibility and disclosure standards for LLM-generated scholarship","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"}],"sourceMedia":{"status":"found","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","checkedAt":"2026-10-19T04:01:24.200Z","items":[],"note":"Media was declared by the source, but no asset passed the supported availability checks. Open the original source to view it."},"assumptions":[],"whatWouldChangeView":{"attribution":"Open question","text":"What standards can show that AI-assisted mathematical work reflects a researcher’s understanding and contribution, rather than only a machine-checked result?"},"editorialComparisons":[],"live":{"title":"Francesco Maggi: AI’s mathematical proofs could usher in a golden age—or weaken human science","summary":"In a guest post on Terence Tao’s blog, Francesco Maggi argues that AI systems are already producing mathematical proofs worth serious scrutiny, but their results do not automatically amount to human understanding or lasting scientific progress. Some proofs written in Lean—a system that lets computers check formal arguments—are so long that mathematicians may struggle to interpret them. Maggi sees a major opportunity in using AI to help develop mathematical frameworks for studying natural and social phenomena, while warning that proof-solving alone is not the whole of mathematical progress.\n\nThe outcome, he argues, depends on choices about how these tools enter research. He calls for clear credit and review practices, protection for unpublished research, training that helps students retain independent abilities, and broader access to powerful systems. His proposed response is coordinated, publicly accountable scientific infrastructure—not necessarily independence from companies, but enough shared capability for researchers to test claims and pursue their own questions. How AI affects creativity and learning remains uncertain; Maggi presents a “golden age” as achievable, not inevitable.","question":"What standards can show that AI-assisted mathematical work reflects a researcher’s understanding and contribution, rather than only a machine-checked result?","claims":[{"text":"Guest author Francesco Maggi argues that AI-generated mathematical proofs merit serious independent examination, while their quality and limits are not yet fully understood.","excerpt":"While the quality and limits of these tools remain incompletely understood, their potential for accelerating discovery","support":"source-stated"},{"text":"Maggi says some AI-produced Lean proofs are extremely long and difficult to translate into natural language, making human interpretation necessary before they can contribute to understanding.","excerpt":"LLMs can give us correct Lean proofs that we cannot directly read, and messy natural language translations","support":"source-stated"},{"text":"Maggi argues that mathematical progress includes creating new mathematical languages and frameworks, not just proving listed conjectures.","excerpt":"The act of inventing the very mathematical language through which reality (including mathematical structures themselves) becomes quantitatively and rationally intelligible.","support":"source-stated"},{"text":"Maggi warns that unclear attribution, responsibility, and confidentiality could discourage researchers from sharing ideas or using AI tools.","excerpt":"Which mathematical ideas contributed to a specific proof? Who is responsible for asserting the proof’s correctness","support":"source-stated"},{"text":"Maggi says researchers lack satisfactory standards for assessing individuals’ mathematical contributions in the age of LLMs, and that effects on creativity are largely unknown.","excerpt":"we have yet to develop satisfactory standards for assessing individual intellectual contributions to mathematical research in the age of LLMs.","support":"source-stated"},{"text":"Maggi argues that unequal access to frontier systems could concentrate influence over research questions, tools, and the release of discoveries.","excerpt":"Allowing private interests to determine which questions receive the best tools, who can use them, how capabilities are evaluated, and when discoveries are released would concentrate scientific influence to an unprecedented degree.","support":"source-stated"},{"text":"Maggi proposes coordinated scientific infrastructure and concrete steps such as access, reproducibility standards, education research, and public investment to make a human-centered outcome more likely.","excerpt":"Access to frontier LLMs for researchers, reproducibility and disclosure standards for LLM-generated scholarship","support":"source-stated"}],"limitations":["The post is explicitly identified as a guest post by Francesco Maggi; Terence Tao’s note says it was converted from a different file format using AI.","The post offers arguments and proposals, not evidence that its predicted benefits or risks will occur. It says the effects of intensive LLM use on creativity are largely unknown.","The post describes certain generated proofs as notable examples but does not establish their correctness or broader real-world reliability in the supplied evidence."],"mediaId":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","correctionReason":null,"id":"0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","publicationId":"7469dfa9-3f21-4569-871b-a4e266000b88","version":1,"sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","sourceTitle":"Will it be a golden age or a dark age for mathematics (and science)?","publisher":"Terence Tao","publishedAt":"2026-10-18T14:59:49+00:00","originalPublished":{"value":"2026-10-18T14:59:49+00:00","precision":"instant","basis":"publisher_page"},"firstObservedAt":"2026-10-18T15:01:25.820Z","createdAt":"2026-10-19T04:02:06.636Z","historical":false,"entityIds":["terence-tao"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","kind":"article","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-19T04:01:25.093Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"found","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","checkedAt":"2026-10-19T04:01:24.200Z","items":[],"note":"Media was declared by the source, but no asset passed the supported availability checks. Open the original source to view it."},"editorialDecision":{"outcome":"accept","reasonCodes":["useful_perspective"],"rubricVersion":"stream-admission-v5","mediaId":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","confidence":0.99,"provider":"vercel","model":"typesafe-ai/jev","inputHash":"a58c2c4ec9864802a302e0b8c20aa3eb7739036e6660d2230924b83934b58939","decidedAt":"2026-10-19T04:01:28.080Z"},"provenance":{"textHash":"300aa92ec13dc85a03e30d5de4e70a727f2205d9c4b68dbb0fbff909b2c4dd4d","observationId":"607e00a6f17c406321eaf4c5ae7ab2abcdc16ce8aaa68ee90013994c9c3fe8f8","retrievedAt":"2026-10-19T04:01:24.200Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"2ef840e1-b16f-44df-8e05-2ca217a841ff"},"reviewer":{"model":"gpt-6-luna","runId":"32937107-cfb9-4dd7-8acd-101ec5b1ec55"}},"audit":{"status":"passed","reviewedAt":"2026-10-19T04:02:06.636Z","model":"anthropic/claude-opus-5.5"}},"canonicalUrl":"https://escapemeridian.com/readings/0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","formats":{"html":"/readings/0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","markdown":"/readings/0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0.md","json":"/readings/0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[{"id":"term-llm","name":"Large language model","explanation":"A language model with many learned numerical settings, used to process and generate language.","referenceUrl":"https://developers.google.com/machine-learning/glossary#large-language-model"}],"entities":[{"id":"terence-tao","name":"Terence Tao","kind":"person","context":"Direct accounts of mathematical practice, formalization and human/AI collaboration.","referenceUrls":["https://www.dwarkesh.com/p/terence-tao","https://lexfridman.com/terence-tao","https://www.dwarkesh.com/p/michael-nielsen","https://terrytao.wordpress.com/2026/10/16/sair-open-math-os-released/","https://terrytao.wordpress.com/"],"path":"/entities/terence-tao","json":"/entities/terence-tao.json","markdown":"/entities/terence-tao.md"},{"id":"lean","name":"Lean","kind":"concept","context":"Lean is a programming language and proof assistant used to express mathematical statements and check formal proofs.","referenceUrls":["https://lean-lang.org/","https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Computation/"],"path":"/entities/lean","json":"/entities/lean.json","markdown":"/entities/lean.md"}]},"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","revision":"7469dfa9-3f21-4569-871b-a4e266000b88","revisionKind":"publication-id","title":"Francesco Maggi: AI’s mathematical proofs could usher in a golden age—or weaken human science","url":"https://escapemeridian.com/readings/0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0"},"source":{"type":"source","id":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","revision":"300aa92ec13dc85a03e30d5de4e70a727f2205d9c4b68dbb0fbff909b2c4dd4d","revisionKind":"sha256-source-text","title":"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/"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","title":"Francesco Maggi: AI’s mathematical proofs could usher in a golden age—or weaken human science","argument":"In a guest post on Terence Tao’s blog, Francesco Maggi argues that AI systems are already producing mathematical proofs worth serious scrutiny, but their results do not automatically amount to human understanding or lasting scientific progress. Some proofs written in Lean—a system that lets computers check formal arguments—are so long that mathematicians may struggle to interpret them. Maggi sees a major opportunity in using AI to help develop mathematical frameworks for studying natural and social phenomena, while warning that proof-solving alone is not the whole of mathematical progress.\n\nThe outcome, he argues, depends on choices about how these tools enter research. He calls for clear credit and review practices, protection for unpublished research, training that helps students retain independent abilities, and broader access to powerful systems. His proposed response is coordinated, publicly accountable scientific infrastructure—not necessarily independence from companies, but enough shared capability for researchers to test claims and pursue their own questions. How AI affects creativity and learning remains uncertain; Maggi presents a “golden age” as achievable, not inevitable.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The post is explicitly identified as a guest post by Francesco Maggi; Terence Tao’s note says it was converted from a different file format using AI. The post offers arguments and proposals, not evidence that its predicted benefits or risks will occur. It says the effects of intensive LLM use on creativity are largely unknown. The post describes certain generated proofs as notable examples but does not establish their correctness or broader real-world reliability in the supplied evidence.","speaker":{"name":"Terence Tao","roleAtSource":"Publisher"},"source":{"title":"Will it be a golden age or a dark age for mathematics (and science)?","publisher":"Terence Tao","format":"Article","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","publishedAt":"2026-10-18T14:59:49+00:00","dateBasis":"Date stated by the publisher."},"evidence":[{"text":"Guest author Francesco Maggi argues that AI-generated mathematical proofs merit serious independent examination, while their quality and limits are not yet fully understood.","excerpt":"While the quality and limits of these tools remain incompletely understood, their potential for accelerating discovery","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi says some AI-produced Lean proofs are extremely long and difficult to translate into natural language, making human interpretation necessary before they can contribute to understanding.","excerpt":"LLMs can give us correct Lean proofs that we cannot directly read, and messy natural language translations","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi argues that mathematical progress includes creating new mathematical languages and frameworks, not just proving listed conjectures.","excerpt":"The act of inventing the very mathematical language through which reality (including mathematical structures themselves) becomes quantitatively and rationally intelligible.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi warns that unclear attribution, responsibility, and confidentiality could discourage researchers from sharing ideas or using AI tools.","excerpt":"Which mathematical ideas contributed to a specific proof? Who is responsible for asserting the proof’s correctness","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi says researchers lack satisfactory standards for assessing individuals’ mathematical contributions in the age of LLMs, and that effects on creativity are largely unknown.","excerpt":"we have yet to develop satisfactory standards for assessing individual intellectual contributions to mathematical research in the age of LLMs.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi argues that unequal access to frontier systems could concentrate influence over research questions, tools, and the release of discoveries.","excerpt":"Allowing private interests to determine which questions receive the best tools, who can use them, how capabilities are evaluated, and when discoveries are released would concentrate scientific influence to an unprecedented degree.","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"},{"text":"Maggi proposes coordinated scientific infrastructure and concrete steps such as access, reproducibility standards, education research, and public investment to make a human-centered outcome more likely.","excerpt":"Access to frontier LLMs for researchers, reproducibility and disclosure standards for LLM-generated scholarship","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","relationship":"Source-stated"}],"sourceMedia":{"status":"found","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","checkedAt":"2026-10-19T04:01:24.200Z","items":[],"note":"Media was declared by the source, but no asset passed the supported availability checks. Open the original source to view it."},"assumptions":[],"whatWouldChangeView":{"attribution":"Open question","text":"What standards can show that AI-assisted mathematical work reflects a researcher’s understanding and contribution, rather than only a machine-checked result?"},"editorialComparisons":[],"live":{"title":"Francesco Maggi: AI’s mathematical proofs could usher in a golden age—or weaken human science","summary":"In a guest post on Terence Tao’s blog, Francesco Maggi argues that AI systems are already producing mathematical proofs worth serious scrutiny, but their results do not automatically amount to human understanding or lasting scientific progress. Some proofs written in Lean—a system that lets computers check formal arguments—are so long that mathematicians may struggle to interpret them. Maggi sees a major opportunity in using AI to help develop mathematical frameworks for studying natural and social phenomena, while warning that proof-solving alone is not the whole of mathematical progress.\n\nThe outcome, he argues, depends on choices about how these tools enter research. He calls for clear credit and review practices, protection for unpublished research, training that helps students retain independent abilities, and broader access to powerful systems. His proposed response is coordinated, publicly accountable scientific infrastructure—not necessarily independence from companies, but enough shared capability for researchers to test claims and pursue their own questions. How AI affects creativity and learning remains uncertain; Maggi presents a “golden age” as achievable, not inevitable.","question":"What standards can show that AI-assisted mathematical work reflects a researcher’s understanding and contribution, rather than only a machine-checked result?","claims":[{"text":"Guest author Francesco Maggi argues that AI-generated mathematical proofs merit serious independent examination, while their quality and limits are not yet fully understood.","excerpt":"While the quality and limits of these tools remain incompletely understood, their potential for accelerating discovery","support":"source-stated"},{"text":"Maggi says some AI-produced Lean proofs are extremely long and difficult to translate into natural language, making human interpretation necessary before they can contribute to understanding.","excerpt":"LLMs can give us correct Lean proofs that we cannot directly read, and messy natural language translations","support":"source-stated"},{"text":"Maggi argues that mathematical progress includes creating new mathematical languages and frameworks, not just proving listed conjectures.","excerpt":"The act of inventing the very mathematical language through which reality (including mathematical structures themselves) becomes quantitatively and rationally intelligible.","support":"source-stated"},{"text":"Maggi warns that unclear attribution, responsibility, and confidentiality could discourage researchers from sharing ideas or using AI tools.","excerpt":"Which mathematical ideas contributed to a specific proof? Who is responsible for asserting the proof’s correctness","support":"source-stated"},{"text":"Maggi says researchers lack satisfactory standards for assessing individuals’ mathematical contributions in the age of LLMs, and that effects on creativity are largely unknown.","excerpt":"we have yet to develop satisfactory standards for assessing individual intellectual contributions to mathematical research in the age of LLMs.","support":"source-stated"},{"text":"Maggi argues that unequal access to frontier systems could concentrate influence over research questions, tools, and the release of discoveries.","excerpt":"Allowing private interests to determine which questions receive the best tools, who can use them, how capabilities are evaluated, and when discoveries are released would concentrate scientific influence to an unprecedented degree.","support":"source-stated"},{"text":"Maggi proposes coordinated scientific infrastructure and concrete steps such as access, reproducibility standards, education research, and public investment to make a human-centered outcome more likely.","excerpt":"Access to frontier LLMs for researchers, reproducibility and disclosure standards for LLM-generated scholarship","support":"source-stated"}],"limitations":["The post is explicitly identified as a guest post by Francesco Maggi; Terence Tao’s note says it was converted from a different file format using AI.","The post offers arguments and proposals, not evidence that its predicted benefits or risks will occur. It says the effects of intensive LLM use on creativity are largely unknown.","The post describes certain generated proofs as notable examples but does not establish their correctness or broader real-world reliability in the supplied evidence."],"mediaId":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","correctionReason":null,"id":"0ec61a545c9887715ea89bb29f8fee81e1f2cbba1e801911a06f4ca8f24453c0","publicationId":"7469dfa9-3f21-4569-871b-a4e266000b88","version":1,"sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","sourceTitle":"Will it be a golden age or a dark age for mathematics (and science)?","publisher":"Terence Tao","publishedAt":"2026-10-18T14:59:49+00:00","originalPublished":{"value":"2026-10-18T14:59:49+00:00","precision":"instant","basis":"publisher_page"},"firstObservedAt":"2026-10-18T15:01:25.820Z","createdAt":"2026-10-19T04:02:06.636Z","historical":false,"entityIds":["terence-tao"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","kind":"article","url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-10-19T04:01:25.093Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"found","sourceUrl":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","checkedAt":"2026-10-19T04:01:24.200Z","items":[],"note":"Media was declared by the source, but no asset passed the supported availability checks. Open the original source to view it."},"editorialDecision":{"outcome":"accept","reasonCodes":["useful_perspective"],"rubricVersion":"stream-admission-v5","mediaId":"d1dae5e3601ed77f4eb078a598fc6bf5f4f1e8a9827e642f9245625106e40410","confidence":0.99,"provider":"vercel","model":"typesafe-ai/jev","inputHash":"a58c2c4ec9864802a302e0b8c20aa3eb7739036e6660d2230924b83934b58939","decidedAt":"2026-10-19T04:01:28.080Z"},"provenance":{"textHash":"300aa92ec13dc85a03e30d5de4e70a727f2205d9c4b68dbb0fbff909b2c4dd4d","observationId":"607e00a6f17c406321eaf4c5ae7ab2abcdc16ce8aaa68ee90013994c9c3fe8f8","retrievedAt":"2026-10-19T04:01:24.200Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"2ef840e1-b16f-44df-8e05-2ca217a841ff"},"reviewer":{"model":"gpt-6-luna","runId":"32937107-cfb9-4dd7-8acd-101ec5b1ec55"}},"audit":{"status":"passed","reviewedAt":"2026-10-19T04:02:06.636Z","model":"anthropic/claude-opus-5.5"}}}],"audits":[{"publicationId":"7469dfa9-3f21-4569-871b-a4e266000b88","verdict":"passed","findings":[{"dimension":"attribution","status":"pass","explanation":"The draft correctly identifies the piece as a guest post by Francesco Maggi on Terence Tao's blog, attributes the arguments to Maggi, and notes Tao's statement that the post was converted using AI.","excerpt":"[This is a guest post by Francesco Maggi. This blog post was initially written in a different file format and converted using AI. — T.]"},{"dimension":"summary","status":"pass","explanation":"The title, summary and question match the post's central argument about golden-age and dark-age scenarios. The draft explains Lean in plain language and covers the post's main points: human understanding, mathematization, credit and peer review, training, unequal access, and public infrastructure. The question follows from the post's concern about how to assess individual contributions.","excerpt":"The golden age scenario is achievable."},{"dimension":"date","status":"pass","explanation":"The originalPublished value, 2026-10-18T14:59:49Z, comes from the publisher page. It matches the feed entry and the date in the URL, and there is no sign of an earlier first publication.","excerpt":null},{"dimension":"support","status":"pass","explanation":"Each claim is an attributed argument with an exact supporting excerpt. The warning that researchers may become reluctant to share ideas or use AI tools is supported by the post's discussion of guarded sharing and reduced LLM use. The limitations do not overstate the evidence: they treat the post as argument rather than proof.","excerpt":"So, another side of obscurity and uncertainty is that people may end up using LLMs much less than they would like to do."},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct link to the original article, which is the most direct and relevant way to access the source.","excerpt":null}],"createdAt":"2026-10-19T04:02:06.636Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}