Reference Inventory

This inventory records the sources named in ../ai_views.md. The concept files cite the most relevant items locally, but this file keeps the full source list in one place.

Verified Public Sources

  • Jeremy Avigad. “Mathematicians in the age of AI.” arXiv:2603.03684, submitted March 4, 2026. URL: https://arxiv.org/abs/2603.03684.

  • Jeremy Avigad. “Is Mathematics Obsolete?” arXiv:2502.14874, submitted February 3, 2025. URL: https://arxiv.org/abs/2502.14874. Mentioned in ../ai_views.md as a related Avigad essay.

  • Tanya Klowden and Terence Tao. “Mathematical methods and human thought in the age of AI.” arXiv:2603.26524, submitted March 27, 2026. URL: https://arxiv.org/abs/2603.26524.

  • Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, and Akshay Venkatesh. “Shaping the Future of Mathematics in the Age of AI.” arXiv:2603.24914, submitted March 26, 2026. URL: https://arxiv.org/abs/2603.24914.

  • Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, and Melanie Matchett Wood. “Remarks on the disproof of the unit distance conjecture.” arXiv:2605.20695, submitted May 20, 2026. URL: https://arxiv.org/abs/2605.20695.

  • Petra Schwer. “The meaning of doing mathematics.” arXiv:2509.15998, submitted September 19, 2025. URL: https://arxiv.org/abs/2509.15998.

  • Gwern Branwen. “Guardian Angels: LLM Personalization for Productivity and Security.” https://gwern.net/guardian-angel. The page gives the working date range as December 1, 2025 to June 5, 2026.

Source-Note References Needing Verification

These are named in ../ai_views.md. They should not be used in a published post until the exact page, DOI, transcript, or bibliographic record is checked.

  • Scott Aaronson. “Dispatches (Possibly Last Days).” Listed in the source note as a Scott Aaronson blog post from May 29, 2026. Not independently located in this pass.

  • “Leiden Declaration on Mathematics and AI.” Listed in the source note with DOI 10.5281/zenodo.20302944, date June 2, 2026, and 567 signatories. Not independently located in this pass.

  • Terence Tao. EMS webinar on AI and mathematics. The source note associates it with skill atrophy, rational disuse, and a GPS analogy. Exact title, date, and URL are missing.

  • Anonymous physicist joining the Gemini team. AI-in-physics public lecture, 2026. The source note associates it with the “guilty pleasure” framing of individual artifact production. Exact title, speaker, date, and URL are missing.

  • MathOverflow question 511562. “Incentivizing Mathematics.” The source note associates it with the conjecture economy and Avigad’s account of understanding. Exact URL should be verified before use.

  • Max Welling. Information Bottleneck interview. The source note associates it with feedback cost as the bottleneck for AI-for-science progress. Exact outlet, title, date, and URL are missing.

Internal Vault Cards Named in the Source Note

These are not external citations, but they are part of the provenance of the extracted concepts.

  • ai-capability-asymmetry-combinatorial-vs-structural
  • ai-advantage-is-tireless-breadth-not-insight
  • ai-amplification-is-local-optimum-replacement-is-global
  • closed-objective-prerequisite-for-self-play
  • conjecture-economy-value-shifts-from-proving-to-asking
  • epistemic-standards-are-contingent
  • intelligibility-required-accretive-knowledge
  • knowledge-lives-in-community
  • means-reshape-ends
  • measurability-distorts-research-priorities
  • open-objective-functions-resist-substitution
  • posttraining-specialization-has-limited-transfer
  • proof-has-three-stages-only-digestion-is-human
  • red-team-blue-team-division-of-ai-labor
  • scientific-feedback-cost-governs-ai-progress
  • substitution-drives-invisible-skill-atrophy
  • surface-automation-elevates-strategic-layer
  • synthesis-debt-knowledge-overhang
  • taste-migrates-upward-and-orthogonal-under-commoditization
  • understanding-is-a-constellation-of-abilities