Citation Plan

Use this file when drafting ../ai_views_blog.qmd. The public draft should cite only sources present in ../ref.bib.

Bibliography

Use:

bibliography: ref.bib

Available citation keys:

  • @Avigad2026: “Mathematicians in the age of AI”.
  • @Avigad2025: “Is Mathematics Obsolete?”
  • @Klowden2026: “Mathematical methods and human thought in the age of AI”.
  • @Commelin2026: “Shaping the Future of Mathematics in the Age of AI”.
  • @Alon2026: “Remarks on the disproof of the unit distance conjecture”.
  • @Schwer2026: “The meaning of doing mathematics”.
  • @Gwern2025: “Guardian Angels: LLM Personalization for Productivity and Security”.

Section Citations

Opening

Default: No citation.

If mentioning current AI-for-math discussion: Use @Avigad2026 or @Klowden2026.

Cheap Feedback

Use: @Avigad2026

Optional: @Alon2026 if the unit-distance example is already introduced.

Proof Is Three Tasks

Use: @Alon2026 for the unit-distance example. Use @Avigad2026 for understanding, explanation, and mathematical practice.

The Importance Oracle

Use: @Avigad2026 @Schwer2026

Do not cite unverified MathOverflow or Aaronson here.

Synthesis Debt

Use: @Alon2026 @Avigad2026

This section also rests on internal synthesis; present the “synthesis debt” term as the author’s framing unless a later verified source is added.

The Community Layer

Use: @Commelin2026 @Schwer2026

Acquisition Asymmetry

Use: @Commelin2026 @Klowden2026

Do not cite the Tao EMS webinar unless verified later.

Measurability Distortion

Use: @Commelin2026

Do not cite the Leiden Declaration unless verified later.

The Conjecture Economy

Use: @Avigad2026 @Alon2026

Do not cite MathOverflow unless verified later.

Feedback Cost Map Of Science

Use: @Alon2026 for the formal-math anchor.

This section is partly internal synthesis. Avoid citing Max Welling until the interview is verified.

Plateau, AGI, And Labor

Use: @Avigad2026 @Klowden2026 @Gwern2025

Use @Gwern2025 only for the Amdahl’s-law / assistant-to-autonomy pressure, not for mathematics-specific claims.

Sources To Keep Out Of Draft 1

  • Scott Aaronson, “Dispatches (Possibly Last Days)”.
  • Leiden Declaration on Mathematics and AI.
  • Terence Tao EMS webinar.
  • Anonymous 2026 AI-in-physics public lecture.
  • MathOverflow question 511562.
  • Max Welling Information Bottleneck interview.