Development

Tao calls the Erdős #728 solution a milestone

development2026-01-09

Claim

Terry Tao called the AI solution to Erdős problem #728 a milestone, noting the model rapidly rewrote its own mathematical expositions.

Reporting date: 2026-01-09 (not necessarily the event date)

Sources

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

Welcome to January 9, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to January 9, 2026

Actor

Terence Tao

Evidence for

Supersedes

Math, Inc. autoformalizes a web of Tao's estimates

Referenced by

Cite or correct this record

Citation formatCitation text

Tao calls the Erdős #728 solution a milestone
Innermost Loop KB — secondary record
Reporting date: 2026-01-09
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-01-09-tao-calls-erdos-728-a-milestone
Claim: Terry Tao called the AI solution to Erdős problem #728 a milestone, noting the model rapidly rewrote its own mathematical expositions.
Attributed sources:
- Welcome to January 9, 2026 — https://theinnermostloop.substack.com/p/welcome-to-january-9-2026
This citation does not imply independent verification of linked-source claims.

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