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.

October 2026 1

July 2026 1

June 2026 11

Partial resultCombinatoricsErdős #1070

Erdős problem #1070

Partial result. Contribution type: AI collaborating with humans.

Codex · GPT-5.5 · Ákos Dúcz · Dániel Varga
LFCR
Partial resultCombinatoricsErdős #21

Erdős problem #21

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

Aristotle · GPT-5.5 Pro · Varun Sivashankar
LFCR
Partial resultCombinatoricsErdős #536

Erdős problem #536

Partial result (Lean). Contribution type: AI standalone.

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

Erdős problem #1054

Partial result (Lean). Contribution type: AI standalone.

Claude Opus 4.8 · GPT-5.5 Pro · Principia Math
LFCR
Partial resultCombinatoricsErdős #176

Erdős problem #176

Partial result (Lean). Contribution type: AI alongside literature.

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

Erdős problem #81

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

Aristotle · GPT-5.5 Pro · Wouter van Doorn
LFCR
Partial resultCombinatoricsErdős #346

Erdős problem #346

Solution to variant problem (Lean). Contribution type: AI alongside literature.

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

Erdős problem #306

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

Claude · Claude Code · Shisheng Li
LFCR
Partial resultCombinatoricsErdős #942

Erdős problem #942

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

Aristotle · Claude Opus 4.8 · Codex · GPT-5.5 · Scott Hughes
LFCR
Partial resultCombinatoricsErdős #539

Erdős problem #539

Partial result (Lean). Contribution type: AI standalone.

Codex · GPT-5.5 · ProofCouncil
LFCR
Partial resultCombinatoricsErdős #52

Erdős problem #52

Solution to variant problem. Contribution type: AI standalone.

Claude Mythos
LFCR

May 2026 14

Partial resultCombinatoricsErdős #352

Erdős problem #352

Partial result of variant problem. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · GPT-5.5 Pro · Aleksandar Bulj · Vjekoslav Kovač
LFCR
Partial resultCombinatoricsErdős #52

Erdős problem #52

Solution to variant problem. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Thomas Bloom, Will Sawin, Carl Schildkraut +1
LFCR
Partial resultCombinatoricsErdős #52

Erdős problem #52

Improved bound to variant problem. Contribution type: AI collaborating with humans.

GPT-5.5 · Ingo Althöfer
LFCR
Partial resultCombinatoricsErdős #503

Erdős problem #503

Partial result. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki · Junnosuke Koizumi · RealBelgian
LFCR
Partial resultCombinatoricsErdős #1148

Erdős problem #1148

Solution to stronger problem. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Ingo Althöfer · Przemek Chojecki
LFCR
Partial resultCombinatoricsErdős #345

Erdős problem #345

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

Aristotle · GPT · Wouter van Doorn
LFCR
Partial resultCombinatoricsErdős #263

Erdős problem #263

Partial result (Lean) (solution to second part). Contribution type: AI standalone.

Aristotle · Claude Opus 4.7 · GPT-5.5 Pro
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
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
Partial resultCombinatoricsErdős #393

Erdős problem #393

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

GPT-5.5 Pro · David Turturean
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

April 2026 13

Partial resultCombinatoricsErdős #983

Erdős problem #983

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

GPT-5.5 Pro
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
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
Partial resultCombinatoricsErdős #535

Erdős problem #535

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

GPT-5.5 Thinking · Kireet Cheri · Sourish Kumrawat · Hrishi Sunder
LFCR
Partial resultCombinatoricsErdős #451

Erdős problem #451

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

Aristotle · GPT-5.5 Pro · Wouter van Doorn · Quanyu Tang
LFCR
Partial resultCombinatoricsErdős #521

Erdős problem #521

Solution to variant problem. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Vjekoslav Kovač
LFCR
Partial resultCombinatoricsErdős #1194

Erdős problem #1194

Partial result. Contribution type: AI standalone.

GPT-5.4 Pro
LFCR
Partial resultCombinatoricsErdős #995

Erdős problem #995

Partial result. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Boon Suan Ho
LFCR
Partial resultCombinatoricsErdős #524

Erdős problem #524

Partial result. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Brayden Letwin · Mehtaab Sawhney
LFCR
Partial resultCombinatoricsErdős #514

Erdős problem #514

Partial result (solutions to first part and second part). Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Przemek Chojecki
LFCR
Partial resultCombinatoricsErdős #415

Erdős problem #415

Partial result. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Przemek Chojecki
LFCR
Partial resultCombinatoricsErdős #1062

Erdős problem #1062

Partial result. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Damek Davis
LFCR