ICM 2026 Public Lectures - Terence Tao

Value of the Information & Strength of the Argument

The talk provides valuable insights into the philosophical and practical implications of AI for mathematics. Tao’s argument is logically structured, using a pseudo-mathematical framework to dissect the community response question. He effectively distinguishes between the capability conjecture and the more fundamental question of goals and values. The historical parallel to the foundational crisis adds depth, and the introduction of Goodhart’s law is a compelling lens. The discussion of the FIRST proof challenge grounds the speculation in concrete data. Tao’s reasoning is balanced, acknowledging both potential benefits and risks, and he avoids overclaiming. The talk is persuasive in its call for a community-wide dialogue, though it remains an opinion piece rather than a systematic study.

Scientific Rigor, Source Quality, Title Accuracy

Tao demonstrates scientific rigor by clearly stating his assumptions and distinguishing between conjecture and working hypothesis. He references the FIRST proof challenge as a systematic assessment, but does not provide specific citations or URLs. The talk is based on his expertise and observations, and he is transparent about the speculative nature of the working hypothesis. The title accurately reflects the content, and the lecture is well-organized. No external sources are cited beyond the FIRST proof challenge mention, which is appropriate for a public lecture.

The title accurately reflects the content: a public lecture by Terence Tao at ICM 2026, focusing on the theme 'Mathematics in the Age of AI'.

8/10

Terence Tao, Fields Medalist, provides a thoughtful, well-structured analysis of AI's impact on mathematical practice. He grounds his arguments in historical precedent (foundational crisis) and references concrete initiatives like the FIRST proof challenge. The talk is opinion-based but reasoned, with clear caveats about the speculative nature of the working hypothesis.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 02:00Introduction and historical parallel to the foundational crisis.
• 05:00Introduction of the community response question and the AI capability conjecture.
• 10:00Discussion of the FIRST proof challenge and its results.
• 15:00Introduction of the working hypothesis and the goals and values question.
• 20:00List of goals in mathematics and the issue of implicit goals.
• 25:00Goodhart's law and the risk of over-optimization.
• 30:00Focus on problem solving as a goal and the flow from problems to solutions.
• 35:00AI and proof assistants accelerating proof generation and verification.
• 40:00Challenge of proofs that are correct but not understood.
• 45:00Call for community debate on values and practices.

• FIRST proof challenge — Mentioned as a grassroots effort to systematically assess AI capabilities in mathematics.

• AI for Mathematics — Discusses AI's potential in mathematics, aligning with Tao's optimistic but cautious view.

• AI and the Future of Mathematics — Some researchers argue that AI will have limited impact on core mathematical research, contrasting with Tao's working hypothesis.