Development

Three more Erdős problems fall to an internal model

development2026-04-01

Claim

OpenAI researchers solved three further Erdős problems using an internal model, each proof short and elegant, confirming conjecture-busting as a routine deployment.

Reported metric: 3 problems

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

Sources

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

Welcome to April 1, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to April 1, 2026

Actor

OpenAI

Evidence for

Supersedes

A mathematics olympiad goes from 5% to 95% in twelve months

Referenced by

Cite or correct this record

Citation formatCitation text

Three more Erdős problems fall to an internal model
Innermost Loop KB — secondary record
Reporting date: 2026-04-01
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-04-01-three-more-erdos-problems
Claim: OpenAI researchers solved three further Erdős problems using an internal model, each proof short and elegant, confirming conjecture-busting as a routine deployment.
Attributed sources:
- Welcome to April 1, 2026 — https://theinnermostloop.substack.com/p/welcome-to-april-1-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.