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.

July 2026 3

New proofOther2026-07-14-sabidussi-compatibility

Sabidussi's compatibility conjecture proved

arXiv: Graph Puzzles III.1: A Proof of Sabidussi's Compatibility Conjecture

GPT-5.6 Pro, GPT-5.6 Sol · Nikolay Ulyanov
LFCR

June 2026 37

Candidate solutionCombinatoricsErdős #36

Erdős problem #36

Candidate partial result. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
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
Candidate solutionCombinatoricsErdős #731

Erdős problem #731

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #1033

Erdős problem #1033

Candidate partial result. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #730

Erdős problem #730

Candidate full solution. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #1061

Erdős problem #1061

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #593

Erdős problem #593

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #432

Erdős problem #432

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

GPT-5.5 Pro · Sungchul Lee
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
Candidate solutionCombinatoricsErdős #176

Erdős problem #176

Candidate partial result (Lean). Contribution type: AI standalone.

Codex · GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #1177

Erdős problem #1177

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #768

Erdős problem #768

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #671

Erdős problem #671

Candidate full solution (Lean). Contribution type: AI standalone.

Codex · GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #550

Erdős problem #550

Candidate full solution. Contribution type: AI standalone.

GPT
LFCR
Partial resultCombinatoricsErdős #536

Erdős problem #536

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

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

Erdős problem #512

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Candidate solutionCombinatoricsErdős #400

Erdős problem #400

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

GPT · Eric Li
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
New proofCombinatoricsErdős #948

Erdős problem #948

Full solution (Lean). Contribution type: AI building on literature.

Aristotle · GPT-5.5 Pro
LFCR
New proofCombinatoricsErdős #865

Erdős problem #865

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Ricky Cipollini
LFCR
FormalizationCombinatoricsErdős #464

Erdős problem #464

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
New proofCombinatoricsErdős #346

Erdős problem #346

Full solution (Lean). Contribution type: AI collaborating with humans.

Codex · GPT · Kenta Kitamura
LFCR
Partial resultCombinatoricsErdős #176

Erdős problem #176

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

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

Erdős problem #716

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
FormalizationCombinatoricsErdős #1095

Erdős problem #1095

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
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
FormalizationCombinatoricsErdős #441

Erdős problem #441

Formalization of an existing proof. Contribution type: Formalization.

AxiomProver
LFCR
FormalizationCombinatoricsErdős #403

Erdős problem #403

Formalization of an existing proof. Contribution type: Formalization.

AxiomProver
LFCR
FormalizationCombinatoricsErdős #353

Erdős problem #353

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
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
FormalizationCombinatoricsErdős #328

Erdős problem #328

Formalization of an existing proof. Contribution type: Formalization.

AxiomProver
LFCR
Candidate solutionCombinatoricsErdős #306

Erdős problem #306

Candidate full solution (Lean). Contribution type: AI collaborating with humans.

Unspecified · Yuren Tang
LFCR
FormalizationCombinatoricsErdős #209

Erdős problem #209

Formalization of an existing proof. Contribution type: Formalization.

AxiomProver
LFCR
FormalizationCombinatoricsErdős #1134

Erdős problem #1134

Formalization of an existing proof. Contribution type: Formalization.

AxiomProver
LFCR
Partial resultCombinatoricsErdős #306

Erdős problem #306

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

Claude · Claude Code · Shisheng Li
LFCR
Candidate solutionCombinatoricsErdős #1208

Erdős problem #1208

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

GPT-5.5 Pro · Sungchul Lee
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