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 1

Candidate solutionCombinatoricsErdős #856

Erdős problem #856

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

GPT-5.4 Pro · Przemek Chojecki
LFCR

January 2026 1

Candidate solutionCombinatoricsErdős #1139

Erdős problem #1139

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

GPT-5.2 Pro · GPT-5.5 Pro · Przemek Chojecki, gavinsherry, Liam Price +1
LFCR

October 2025 1

Candidate solutionCombinatoricsErdős #689

Erdős problem #689

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

Codex · GPT-5.2 · GPT-5.5 Pro · Boris Alexeev, Przemek Chojecki, Dogmachine +4
LFCR