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.

June 2026 17

Candidate solutionCombinatoricsErdős #36

Erdős problem #36

Candidate partial result. Contribution type: AI standalone.

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

Erdős problem #400

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

GPT · Eric Li
LFCR
Candidate solutionCombinatoricsErdős #306

Erdős problem #306

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

Unspecified · Yuren Tang
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
Candidate solutionCombinatoricsErdős #623

Erdős problem #623

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

GPT-5.5 Pro · Sungchul Lee
LFCR
Candidate solutionCombinatoricsErdős #52

Erdős problem #52

Candidate solution to variant problem. Contribution type: AI collaborating with humans.

GPT-5.5 · Boris Alexeev
LFCR

May 2026 6

Candidate solutionCombinatoricsErdős #501

Erdős problem #501

Candidate conditional partial result (conditional solution to first part). Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Sungchul Lee
LFCR
Candidate solutionCombinatoricsErdős #819

Erdős problem #819

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

GPT-5.5 · Rethlas · Yu Leon Liu
LFCR
Candidate solutionCombinatoricsErdős #327

Erdős problem #327

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

GPT-5.5 · Rethlas · Yu Leon Liu
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
Candidate solutionCombinatoricsErdős #288

Erdős problem #288

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

GPT-5.5 Thinking · Ritvik Nayak
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

April 2026 17

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
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
Candidate solutionCombinatoricsErdős #1133

Erdős problem #1133

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

GPT-5.5 Pro · Przemek Chojecki
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
Candidate solutionCombinatoricsErdős #836

Erdős problem #836

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

GPT-5.5 Pro
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
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
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
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