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.

May 2026 1

Literature foundCombinatoricsErdős #1039

Erdős problem #1039

GPT-5.5 Pro (2026). Contribution type: Rewriting.

GPT-5.5 Thinking
LFCR

April 2026 5

Literature foundCombinatoricsErdős #602

Erdős problem #602

Related results found. Contribution type: Literature search.

GPT-5.4 Thinking
LFCR
Literature foundCombinatoricsErdős #1196

Erdős problem #1196

Tao (2026). Contribution type: Rewriting.

GPT-5.4 Thinking
LFCR
Literature foundCombinatoricsErdős #1198

Erdős problem #1198

Partial results found. Contribution type: Literature search.

GPT-5.4
LFCR
Literature foundCombinatoricsErdős #1216

Erdős problem #1216

Related results found. Contribution type: Literature search.

GPT-5.4 Thinking
LFCR
Literature foundCombinatoricsErdős #749

Erdős problem #749

Partial results found. Contribution type: Literature search.

GPT-5.4 Thinking
LFCR

March 2026 7

Literature foundCombinatoricsErdős #574

Erdős problem #574

Full solution found. Contribution type: Literature search.

GPT-5.4 Pro
LFCR
Literature foundCombinatoricsErdős #120

Erdős problem #120

Solution to variant problem found. Contribution type: Literature search.

GPT-5.4 Thinking
LFCR
Literature foundCombinatoricsErdős #1216

Erdős problem #1216

Solution stronger than problem found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #325

Erdős problem #325

Partial results found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #985

Erdős problem #985

Partial results found. Contribution type: Literature search.

GPT-5.4 Thinking
LFCR
Literature foundCombinatoricsErdős #650

Erdős problem #650

Full solution found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #457

Erdős problem #457

Tao (2026) (extension of problem). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR

February 2026 13

Literature foundCombinatoricsErdős #392

Erdős problem #392

Tao (2026). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #846

Erdős problem #846

DeepMind prover agent (2026). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #306

Erdős problem #306

Partial results found. Contribution type: Literature search.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #783

Erdős problem #783

Tao (2026). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #214

Erdős problem #214

Partial results found. Contribution type: Literature search.

ChatGPT Deep research · Gemini Deep Research
LFCR
Literature foundCombinatoricsErdős #851

Erdős problem #851

Confused with another problem; 🟡 Partial results found. Contribution type: Literature search.

ChatGPT Deep research · Claude · Gemini Deep Research
LFCR
Literature foundCombinatoricsErdős #1150

Erdős problem #1150

Claimed solution found (likely incorrect). Contribution type: Literature search.

Gemini Deep Research
LFCR
Literature foundCombinatoricsErdős #652

Erdős problem #652

Full solution by applying literature results. Contribution type: Literature search.

Aletheia
LFCR
Literature foundCombinatoricsErdős #992

Erdős problem #992

Full solution found. Contribution type: Literature search.

Aletheia
LFCR
Literature foundCombinatoricsErdős #705

Erdős problem #705

Full solution found. Contribution type: Literature search.

Aletheia
LFCR
Literature foundCombinatoricsErdős #591

Erdős problem #591

Full solution found. Contribution type: Literature search.

Aletheia
LFCR
Literature foundCombinatoricsErdős #333

Erdős problem #333

Full solution found. Contribution type: Literature search.

Aletheia
LFCR
Literature foundCombinatoricsErdős #1105

Erdős problem #1105

Full solution found; 🔴 Gave some wrong references. Contribution type: Literature search.

Aletheia
LFCR

January 2026 14

Literature foundCombinatoricsErdős #971

Erdős problem #971

Partial results found. Contribution type: Literature search.

Claude
LFCR
Literature foundCombinatoricsErdős #1123

Erdős problem #1123

Full solution found. Contribution type: Literature search.

Gemini Deep Research
LFCR
Literature foundCombinatoricsErdős #705

Erdős problem #705

Full solution found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #533

Erdős problem #533

Full solution found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #1147

Erdős problem #1147

Full solution found. Contribution type: Literature search.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #783

Erdős problem #783

GPT-5.2 (2026). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #1161

Erdős problem #1161

Full solution found. Contribution type: Literature search.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #1154

Erdős problem #1154

Partial results found. Contribution type: Literature search.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #543

Erdős problem #543

GPT-5.2 Pro (2026). Contribution type: Rewriting.

GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #1084

Erdős problem #1084

Partial results found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #1021

Erdős problem #1021

Full solution (which was previously noted) found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #847

Erdős problem #847

Full solution found. Contribution type: Literature search.

GPT-5.2 Pro
LFCR
Literature foundCombinatoricsErdős #1105

Erdős problem #1105

Partial results found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #652

Erdős problem #652

Full solution by applying literature results. Contribution type: Literature search.

GPT-5.2 Pro
LFCR