Development

Terence Tao solves Erdős #1026 with machine assistance

development2025-12-13

Claim

Terence Tao reported that he and collaborators solved Erdős problem #1026 using AlphaEvolve combined with deep literature search.

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

Sources

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

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

The issue’s framing — the lone genius becoming human-in-the-loop — is a claim about where mathematical credit now sits.

Knowledge graphopen in browser →

About

AlphaEvolve

Reported in

Welcome to December 13, 2025

Actor

Evidence for

Referenced by

Cite or correct this record

Citation formatCitation text

Terence Tao solves Erdős #1026 with machine assistance
Innermost Loop KB — secondary record
Reporting date: 2025-12-13
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-13-tao-erdos-1026
Claim: Terence Tao reported that he and collaborators solved Erdős problem #1026 using AlphaEvolve combined with deep literature search.
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.