Development

An Erdős problem is solved before any human solves it

development2026-01-07

Claim

GPT-5.2 and Harmonic's Aristotle autonomously resolved Erdős problem #728 ahead of any human, making mathematical discovery a background process.

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

Sources

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

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

Priority, not just capability. The arc runs 12-13 Tao in the loop, 12-16 autoformalization, 12-27 unaided solution, 12-29 a ledger, 01-07 first.

Knowledge graphopen in browser →

About

Aristotle

Reported in

Welcome to January 7, 2026

Actor

Evidence for

Supersedes

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

Referenced by

Cite or correct this record

Citation formatCitation text

An Erdős problem is solved before any human solves it
Innermost Loop KB — secondary record
Reporting date: 2026-01-07
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-01-07-erdos-728-before-any-human
Claim: GPT-5.2 and Harmonic's Aristotle autonomously resolved Erdős problem #728 ahead of any human, making mathematical discovery a background process.
Attributed sources:
- Welcome to January 7, 2026 — https://theinnermostloop.substack.com/p/welcome-to-january-7-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.