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.

January 2026 11

Literature foundCombinatoricsErdős #591

Erdős problem #591

Full solution found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #281

Erdős problem #281

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

Gemini 3 Pro · GPT-5.2 Pro
LFCR
Literature foundCombinatoricsErdős #1130

Erdős problem #1130

Full solution found. Contribution type: Literature search.

GPT-5.2 Pro
LFCR
Literature foundCombinatoricsErdős #1129

Erdős problem #1129

Full solution found. Contribution type: Literature search.

GPT-5.2 Pro
LFCR
Literature foundCombinatoricsErdős #575

Erdős problem #575

Paper identifying a misstatement to the problem found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #659

Erdős problem #659

Partial results, upgradeable to full solution, found. Contribution type: Literature search.

Gemini Deep Research
LFCR
Literature foundCombinatoricsErdős #729

Erdős problem #729

Related results found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #397

Erdős problem #397

Full solution found. Contribution type: Literature search.

ChatGPT Deep research
LFCR
Literature foundCombinatoricsErdős #672

Erdős problem #672

Partial results found. Contribution type: Literature search.

GPT
LFCR
Literature foundCombinatoricsErdős #728

Erdős problem #728

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

Aristotle · GPT-5.2 Thinking
LFCR
Literature foundCombinatoricsErdős #965

Erdős problem #965

Full solution found. Contribution type: Literature search.

GPT
LFCR