Open Verification Tasks

These tasks should be completed before the final blog post is published.

Bibliographic Checks

  1. Locate the exact Scott Aaronson post listed in ../concepts/reference_inventory.md as “Dispatches (Possibly Last Days)”. Record URL, date, and the exact claim it supports.

  2. Verify the “Leiden Declaration on Mathematics and AI”. Check whether DOI 10.5281/zenodo.20302944 resolves, record title, date, authors or signatories, and whether it is distinct from or related to “Shaping the Future of Mathematics in the Age of AI”.

  3. Locate the Terence Tao EMS webinar on AI and mathematics. Record title, date, URL, and whether it supports the skill-atrophy/GPS analogy claim.

  4. Identify the 2026 AI-in-physics public lecture by the physicist joining Gemini. Record speaker, title, venue, date, URL, and the exact “guilty pleasure” claim if it is used.

  5. Verify MathOverflow question 511562, “Incentivizing Mathematics”. Record URL, date, and which answers are relevant.

  6. Locate the Max Welling Information Bottleneck interview. Record outlet, date, URL, and the exact feedback-cost claim.

Source Reading Checks

Before drafting the final post, reread the following sources enough to avoid accidental overclaims:

  • Avigad, “Mathematicians in the age of AI”.
  • Alon et al., “Remarks on the disproof of the unit distance conjecture”.
  • Commelin et al., “Shaping the Future of Mathematics in the Age of AI”.
  • Gwern, “Guardian Angels”.

Citation Infrastructure

If the final post becomes a .qmd, create or update:

  • ai_systems/ref.bib
  • bibliography field in the final .qmd
  • citation keys matching the local site style

Do not generate BibTeX from memory. Use verified identifiers or URLs.