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.

February 2026 7

Partial resultCombinatoricsErdős #776

Erdős problem #776

Partial result. Contribution type: AI collaborating with humans.

GPT-5.2 Thinking · Yixin He · Quanyu Tang
LFCR
Partial resultCombinatoricsErdős #943

Erdős problem #943

Partial result. Contribution type: AI collaborating with humans.

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

Erdős problem #1132

Partial result. Contribution type: AI collaborating with humans.

AlphaEvolve · Claude · Gemini Pro · GPT-5.4 Pro · Terence Tao
LFCR
Partial resultCombinatoricsErdős #935

Erdős problem #935

Solution to one part of problem. Contribution type: AI alongside literature.

Aletheia
LFCR
Partial resultCombinatoricsErdős #75

Erdős problem #75

Solution to variant problem (implicit in literature). Contribution type: AI standalone.

Aletheia
LFCR
Partial resultCombinatoricsErdős #654

Erdős problem #654

Partial result. Contribution type: AI standalone.

Aletheia
LFCR
Partial resultCombinatoricsErdős #1040

Erdős problem #1040

Solution to one part of problem; 🔴 incorrect solution to other part. Contribution type: AI standalone.

Aletheia
LFCR

January 2026 19

Partial resultCombinatoricsErdős #635

Erdős problem #635

Solution to one part of problem (Lean). Contribution type: AI alongside literature.

Aristotle · GPT-5.2 Pro
LFCR
Partial resultCombinatoricsErdős #524

Erdős problem #524

Improved partial result. Contribution type: AI building on literature.

Gemini · GPT-5.2 · Grok
LFCR
Partial resultCombinatoricsErdős #951

Erdős problem #951

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

GPT-5.2 Thinking · Nat Sothanaphan
LFCR
Partial resultCombinatoricsErdős #951

Erdős problem #951

New solution to variant problem. Contribution type: AI building on literature.

AlphaEvolve
LFCR
Partial resultCombinatoricsErdős #218

Erdős problem #218

Conditional solution. Contribution type: AI alongside literature.

GPT
LFCR
Partial resultCombinatoricsErdős #1048

Erdős problem #1048

Proof found (Lean), which is a specific case of Pommerenke. Contribution type: AI building on literature.

Aristotle
LFCR
Partial resultCombinatoricsErdős #951

Erdős problem #951

Solution to variant problem. Contribution type: AI standalone.

GPT-5.2 Pro
LFCR
Partial resultCombinatoricsErdős #1141

Erdős problem #1141

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

GPT-5.2 Pro · GPT-5.2 Thinking · Quanyu Tang
LFCR
Partial resultCombinatoricsErdős #783

Erdős problem #783

Partial result. Contribution type: AI standalone.

GPT-5.2
LFCR
Partial resultCombinatoricsErdős #788

Erdős problem #788

New partial result. Contribution type: AI building on literature.

GPT-5.2 Pro
LFCR
Partial resultCombinatoricsErdős #342

Erdős problem #342

Partial result. Contribution type: AI collaborating with humans.

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

Erdős problem #684

Partial result. Contribution type: AI collaborating with humans.

GPT-5.2 Thinking · Quanyu Tang
LFCR
Partial resultCombinatoricsErdős #42

Erdős problem #42

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

Codex · GPT-5.2 · GPT-5.2 Pro
LFCR
Partial resultCombinatoricsErdős #868

Erdős problem #868

New partial result. Contribution type: AI building on literature.

GPT-5.2 multi-agent system
LFCR
Partial resultCombinatoricsErdős #460

Erdős problem #460

Reduction to a simpler problem. Contribution type: AI collaborating with humans.

GPT-5.2 · Przemek Chojecki
LFCR
Partial resultCombinatoricsErdős #679

Erdős problem #679

Improved proof by reducing dependence on prime number theorem. Contribution type: AI building on literature.

Aristotle
LFCR
Partial resultCombinatoricsErdős #949

Erdős problem #949

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

AlphaProof
LFCR
Partial resultCombinatoricsErdős #477

Erdős problem #477

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

AlphaProof
LFCR
Partial resultCombinatoricsErdős #871

Erdős problem #871

Existing partial result upgraded to full solution (Lean). Contribution type: AI building on literature.

Claude Opus 4.5 · Gemini 3 Pro
LFCR

December 2025 1

Partial resultCombinatoricsErdős #1038

Erdős problem #1038

Partial result. Contribution type: AI collaborating with humans.

AlphaEvolve · Claude Fable 5 · Codex · GPT-5.2 Thinking · GPT-5.4 Thinking · GPT-5.5 · catsflowers5544, jspier, Junnosuke Koizumi +4
LFCR

August 2025 1

Partial resultCombinatoricsErdős #686

Erdős problem #686

Various partial results. Contribution type: AI collaborating with humans.

AlphaProof · Claude · Gemini Deep Think · GPT-5.2 Thinking · GPT-5.4 Thinking · Seed 2.0 Pro · Adenwalla, Stijn Cambie, Wouter van Doorn +7
LFCR