Person

Terence Tao

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to December 13, 2025 (theinnermostloop.substack.com)

Mathematician. His account of solving an Erdős problem with machine assistance is the issue’s sharpest evidence that the unit of discovery is shifting from the individual to the loop.

Visit resource ↗

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

2026-10-12: Tao and Curran debate whether users must understand discoveries

2026-10-09: Tao proposes prioritizing mathematical exposition

2026-04-27: A 23-year-old with no advanced training solves an Erdős problem in one prompt

2026-03-22: An agent generates 665 novel research problems in differential geometry

2026-03-16: The first open-source agentic AI physicist launches

2026-01-26: Tao wonders whether humans are also predicting the next word

2026-01-13: Tao says he learned something from the machine

2026-01-09: Tao calls the Erdős #728 solution a milestone

2026-01-08: Math, Inc. autoformalizes a web of Tao's estimates

2025-12-31: Tao says the definition of a mathematician will broaden

2025-12-29: Tao opens a ledger on AI's Erdős contributions

2025-12-17: Tao compares AI-driven proof to a magic trick explained

2025-12-13: Terence Tao solves Erdős #1026 with machine assistance

Knowledge graphopen in browser →

Cite or correct this record

Citation formatCitation text

Terence Tao
Innermost Loop KB — secondary record
Reporting date: unknown
KB permalink: https://nicholsn.github.io/innermost-loop-kb/people/terry-tao
Attributed sources:
- Welcome to December 13, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-13-2025
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.