openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Frontier

Frontier API →

New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.

Reported developments, attributed to their sources. Inclusion is not an OpenMath assessment; evidence slots show what each source reports. Updated Oct 13, 2026.

May 2026 26

Literature foundCombinatoricsErdős #1039

Erdős problem #1039

GPT-5.5 Pro (2026). Contribution type: Rewriting.

GPT-5.5 Thinking
LFCR
Partial resultCombinatoricsErdős #875

Erdős problem #875

Partial result (Lean). Contribution type: AI collaborating with humans.

Codex · GPT-5.5 Pro · Lech Mazur
LFCR
Partial resultCombinatoricsErdős #1039

Erdős problem #1039

Partial result. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
Partial resultCombinatoricsErdős #1032

Erdős problem #1032

Improved partial result (Lean). Contribution type: AI building on literature.

Codex · GPT-5.5 Pro
LFCR
FormalizationCombinatoricsErdős #351

Erdős problem #351

Formalization of an existing proof. Contribution type: Formalization.

Claude Opus 4.7 · GPT-5.5 Pro
LFCR
FormalizationCombinatoricsErdős #283

Erdős problem #283

Formalization of an existing proof. Contribution type: Formalization.

Claude Opus 4.7 · GPT-5.5 Pro
LFCR
FormalizationCombinatoricsErdős #1151

Erdős problem #1151

Formalization of an existing proof. Contribution type: Formalization.

Codex · GPT
LFCR
FormalizationCombinatoricsErdős #425

Erdős problem #425

Formalization of an existing proof. Contribution type: Formalization.

Aristotle · GPT
LFCR
FormalizationCombinatoricsErdős #330

Erdős problem #330

Formalization of an existing proof. Contribution type: Formalization.

Codex · GPT-5.5 Pro
LFCR
Partial resultCombinatoricsErdős #866

Erdős problem #866

Partial result (Lean). Contribution type: AI collaborating with humans.

Aristotle · GPT-5.3 Instant · Wouter van Doorn
LFCR
FormalizationCombinatoricsErdős #750

Erdős problem #750

Formalization of an existing proof. Contribution type: Formalization.

Claude Code · Claude Opus 4.7 · GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #456

Erdős problem #456

Candidate partial result (solutions to first part and second part; conditional solution to third part). Contribution type: AI collaborating with humans.

GPT-5.5 Pro · David Turturean
LFCR
FormalizationCombinatoricsErdős #164

Erdős problem #164

Formalization of an existing proof. Contribution type: Formalization.

Codex
LFCR
FormalizationCombinatoricsErdős #1138

Erdős problem #1138

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
New proofCombinatoricsErdős #750

Erdős problem #750

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
FormalizationCombinatoricsErdős #694

Erdős problem #694

Formalization of an existing proof. Contribution type: Formalization.

Aristotle · Claude Code · Claude Opus 4.7 · GPT-5.5 Pro
LFCR
FormalizationCombinatoricsErdős #639

Erdős problem #639

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Partial resultCombinatoricsErdős #393

Erdős problem #393

Conditional partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · David Turturean
LFCR
New proofCombinatoricsErdős #351

Erdős problem #351

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Kevin Barreto · Liam Price
LFCR
Candidate solutionCombinatoricsErdős #288

Erdős problem #288

Candidate partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Thinking · Ritvik Nayak
LFCR
New proofCombinatoricsErdős #283

Erdős problem #283

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Kevin Barreto · Liam Price
LFCR
Error foundCombinatoricsErdős #7

Erdős problem #7

Incorrect proof found. Contribution type: AI collaborating with humans.

Aristotle · Jinook Lee
LFCR
Candidate solutionCombinatoricsErdős #390

Erdős problem #390

Candidate partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Samuel Mausberg
LFCR
Partial resultCombinatoricsErdős #1194

Erdős problem #1194

Partial result (Lean). Contribution type: AI collaborating with humans.

Codex · GPT-5.5 Pro · Lech Mazur
LFCR
New proofCombinatoricsErdős #694

Erdős problem #694

Full solution. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
FormalizationCombinatoricsErdős #38

Erdős problem #38

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR

April 2026 14

Partial resultCombinatoricsErdős #983

Erdős problem #983

Partial result (solution to first part). Contribution type: AI alongside literature.

GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #873

Erdős problem #873

Candidate partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Thinking · Ingo Althöfer
LFCR
Candidate solutionCombinatoricsErdős #521

Erdős problem #521

Candidate full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Vjekoslav Kovač
LFCR
Candidate solutionCombinatoricsErdős #202

Erdős problem #202

Candidate full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
Candidate solutionCombinatoricsErdős #1201

Erdős problem #1201

Candidate full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
Candidate solutionCombinatoricsErdős #1190

Erdős problem #1190

Candidate full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #1151

Erdős problem #1151

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
Candidate solutionCombinatoricsErdős #873

Erdős problem #873

Candidate partial result. Contribution type: AI collaborating with humans.

GPT-5.4 Thinking · Ritvik Nayak
LFCR
Candidate solutionCombinatoricsErdős #872

Erdős problem #872

Candidate partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Jonas Silva
LFCR
Partial resultCombinatoricsErdős #1143

Erdős problem #1143

Partial result (implicit in literature). Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
Candidate solutionCombinatoricsErdős #1133

Erdős problem #1133

Candidate full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
Partial resultCombinatoricsErdős #1004

Erdős problem #1004

Partial result (implicit in literature). Contribution type: AI building on literature.

GPT-5.5 Pro
LFCR
Partial resultCombinatoricsErdős #514

Erdős problem #514

Partial result (Lean) (solution to third part). Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Yuta Oriike
LFCR
FormalizationCombinatoricsErdős #206

Erdős problem #206

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR