Development

Tao opens a ledger on AI's Erdős contributions

development2025-12-29

Claim

Terry Tao began cataloging AI contributions to Erdős problems, recording 48 full solutions, 32 partial results and 7 failures.

Reported metric: 48 solved / 32 partial / 7 failed

Reporting date: 2025-12-29 (not necessarily the event date)

Sources

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

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

A single proof is genius; a ledger of proofs is a production statistic.

Knowledge graphopen in browser →

Reported in

Welcome to December 29, 2025

Actor

Terence Tao

Evidence for

Supersedes

A math agent solves Erdős #897 with no human input

Referenced by

Cite or correct this record

Citation formatCitation text

Tao opens a ledger on AI's Erdős contributions
Innermost Loop KB — secondary record
Reporting date: 2025-12-29
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-29-tao-erdos-ledger
Claim: Terry Tao began cataloging AI contributions to Erdős problems, recording 48 full solutions, 32 partial results and 7 failures.
Attributed sources:
- Welcome to December 29, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-29-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.