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.

July 2026 15

New proofGeometry and topology

Mod-4 Kawauchi conjecture

A proof of the modulo-four assertion is reported.

Claude Fable 5
LFCR
New proofAlgebra

Kourovka Notebook 3.46

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 21.8

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 21.24

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 21.150

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 21.147

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 20.125

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 19.25

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofAlgebra

Kourovka Notebook 18.50

A solution to this specific notebook question is reported.

Aristotle · Harmonic · Wouter van Doorn, Elias Judin, Pietro Monticone +1
LFCR
New proofProbability2026-07-20-gaussian-product-inequality

Gaussian product inequality conjecture proved

A proof of the strong Gaussian product inequality conjecture

ChatGPT 5.6 Sol · Frédéric Ouimet · Dylan Greaves
LFCR
New proofOther2026-07-14-sabidussi-compatibility

Sabidussi's compatibility conjecture proved

arXiv: Graph Puzzles III.1: A Proof of Sabidussi's Compatibility Conjecture

GPT-5.6 Pro, GPT-5.6 Sol · Nikolay Ulyanov
LFCR

June 2026 4

New proofCombinatoricsErdős #948

Erdős problem #948

Full solution (Lean). Contribution type: AI building on literature.

Aristotle · GPT-5.5 Pro
LFCR
New proofCombinatoricsErdős #865

Erdős problem #865

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Ricky Cipollini
LFCR
New proofCombinatoricsErdős #346

Erdős problem #346

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

Codex · GPT · Kenta Kitamura
LFCR
New proofCombinatoricsErdős #619

Erdős problem #619

Full solution (Lean). Contribution type: AI standalone.

Claude Fable 5 · Codex · GPT-5.5
LFCR

May 2026 11

New proofCombinatoricsErdős #986

Erdős problem #986

Full solution. Contribution type: AI collaborating with humans.

Claude · OpenAI internal model · Domagoj Bradač
LFCR
New proofCombinatoricsErdős #326

Erdős problem #326

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

Aristotle · Codex · GPT-5.5 · Aron Bhalla
LFCR
New proofCombinatoricsErdős #690

Erdős problem #690

Full solution. Contribution type: AI collaborating with humans.

Multiscalar Fields System · Davide Crapis · Shouqiao Wang
LFCR
New proofCombinatoricsErdős #750

Erdős problem #750

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #351

Erdős problem #351

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Kevin Barreto · Liam Price
LFCR
New proofCombinatoricsErdős #283

Erdős problem #283

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Kevin Barreto · Liam Price
LFCR
New proofCombinatoricsErdős #694

Erdős problem #694

Full solution. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR

April 2026 10

New proofCombinatoricsErdős #1151

Erdős problem #1151

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #1092

Erdős problem #1092

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #953

Erdős problem #953

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #42

Erdős problem #42

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Harjas Sandhu
LFCR
New proofCombinatoricsErdős #896

Erdős problem #896

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #696

Erdős problem #696

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

Aristotle · Claude Code · Claude Opus 4.7 · GPT-5.5 Pro · Jake Mallen · David Turturean
LFCR
New proofCombinatoricsErdős #888

Erdős problem #888

Full solution. Contribution type: AI collaborating with humans.

Aristotle · GPT-5.5 Pro · Przemek Chojecki
LFCR
New proofCombinatoricsErdős #38

Erdős problem #38

Full solution. Contribution type: AI standalone.

GPT-5.5 Pro
LFCR
New proofCombinatoricsErdős #1138

Erdős problem #1138

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · GPT-5.5 Thinking · Kireet Cheri · Sourish Kumrawat · Hrishi Sunder
LFCR
New proofCombinatoricsErdős #330

Erdős problem #330

Full solution. Contribution type: AI collaborating with humans.

GPT-5.5 Pro · David Turturean
LFCR