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.

April 2026 40

New proofCombinatoricsErdős #1092

Erdős problem #1092

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #1044

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
FormalizationCombinatoricsErdős #974

Erdős problem #974

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Candidate solutionCombinatoricsErdős #956

Erdős problem #956

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

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

Erdős problem #953

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #836

Candidate partial result (solution to second part). Contribution type: AI standalone.

GPT-5.5 Pro
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
New proofCombinatoricsErdős #42

Erdős problem #42

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Harjas Sandhu
LFCR
Candidate solutionCombinatoricsErdős #1101

Erdős problem #1101

Candidate partial result (solution to second part). Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
New proofCombinatoricsErdős #896

Erdős problem #896

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #844

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
New proofCombinatoricsErdős #696

Erdős problem #696

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

Aristotle · Claude Code · Claude Opus 4.7 · GPT-5.5 Pro · Jake Mallen · David Turturean
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
FormalizationCombinatoricsErdős #427

Erdős problem #427

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Candidate solutionCombinatoricsErdős #1131

Erdős problem #1131

Candidate partial result. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
Candidate solutionCombinatoricsErdős #906

Erdős problem #906

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

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

Erdős problem #906

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

Unspecified · Adriano Almeida
LFCR
New proofCombinatoricsErdős #888

Erdős problem #888

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #818

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
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
New proofCombinatoricsErdős #38

Erdős problem #38

Full solution. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
New proofCombinatoricsErdős #1138

Erdős problem #1138

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · GPT-5.5 Thinking · Kireet Cheri · Sourish Kumrawat · Hrishi Sunder
LFCR
FormalizationCombinatoricsErdős #1098

Erdős problem #1098

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Candidate solutionCombinatoricsErdős #870

Erdős problem #870

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

GPT-5.4 Pro · GPT-5.5 Pro · David Turturean
LFCR
Candidate solutionCombinatoricsErdős #852

Erdős problem #852

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

GPT-5.5 Pro · Przemek Chojecki · David Turturean
LFCR
New proofCombinatoricsErdős #330

Erdős problem #330

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #760

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
FormalizationCombinatoricsErdős #24

Erdős problem #24

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
New proofCombinatoricsErdős #202

Erdős problem #202

Full solution. Contribution type: AI collaborating with humans.

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

Erdős problem #1194

Partial result. Contribution type: AI standalone.

GPT-5.4 Pro
LFCR
New proofCombinatoricsErdős #1190

Erdős problem #1190

Full solution. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Boon Suan Ho
LFCR
New proofCombinatoricsErdős #1014

Erdős problem #1014

Full solution. Contribution type: AI standalone.

OpenAI internal model
LFCR
New proofCombinatoricsErdős #863

Erdős problem #863

Full solution. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Boon Suan Ho
LFCR
Candidate solutionCombinatoricsErdős #598

Erdős problem #598

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

Aristotle · GPT-5.4 Pro · Przemek Chojecki
LFCR
Error foundCombinatoricsErdős #503

Erdős problem #503

Argument with major gaps made. Contribution type: AI collaborating with humans.

Aristotle · GPT-5.4 Pro · Przemek Chojecki
LFCR
FormalizationCombinatoricsErdős #296

Erdős problem #296

Formalization of an existing proof. Contribution type: Formalization.

Aristotle
LFCR
Error foundCombinatoricsErdős #1041

Erdős problem #1041

Argument with major gaps made. Contribution type: AI standalone.

GPT-5.4 Thinking
LFCR
New proofCombinatoricsErdős #996

Erdős problem #996

Full solution. Contribution type: AI collaborating with humans.

GPT-5.4 Pro · Boon Suan Ho
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
New proofCombinatoricsErdős #610

Erdős problem #610

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

Aristotle · GPT-5.4 Pro · Przemek Chojecki
LFCR