Development

An AI-generated proof is adapted to crack a 60-year-old conjecture

development2026-05-03

Claim

Stanford's Jared Lichtman reported that a model's proof of Erdős Problem 1196 has been adapted to crack a separate sixty-year-old conjecture, which he calls perhaps the first AI-generated proof to have downstream impact on further mathematics.

Reported metric: 60-year-old conjecture

Reporting date: 2026-05-03 (not necessarily the event date)

Sources

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

Welcome to May 3, 2026 (theinnermostloop.substack.com)

Not a result but a method — the first machine proof other proofs are built on.

Knowledge graphopen in browser →

Reported in

Welcome to May 3, 2026

Actor

Evidence for

Supersedes

A fresh olympiad benchmark more than doubles in a single release

Referenced by

Cite or correct this record

Citation formatCitation text

An AI-generated proof is adapted to crack a 60-year-old conjecture
Innermost Loop KB — secondary record
Reporting date: 2026-05-03
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-05-03-the-first-ai-proof-with-downstream-impact
Claim: Stanford's Jared Lichtman reported that a model's proof of Erdős Problem 1196 has been adapted to crack a separate sixty-year-old conjecture, which he calls perhaps the first AI-generated proof to have downstream impact on further mathematics.
Attributed sources:
- Welcome to May 3, 2026 — https://theinnermostloop.substack.com/p/welcome-to-may-3-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.