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

Error foundCombinatoricsErdős #7

Erdős problem #7

Incorrect proof found. Contribution type: AI collaborating with humans.

Aristotle · Jinook Lee
LFCR

April 2026 3

Error foundCombinatoricsErdős #503

Erdős problem #503

Argument with major gaps made. Contribution type: AI collaborating with humans.

Aristotle · GPT-5.4 Pro · Przemek Chojecki
LFCR
Error foundCombinatoricsErdős #1041

Erdős problem #1041

Argument with major gaps made. Contribution type: AI standalone.

GPT-5.4 Thinking
LFCR
Error foundCombinatoricsErdős #411

Erdős problem #411

Incorrect proof found. Contribution type: AI collaborating with humans.

Claude · hoodieuser
LFCR

March 2026 3

Error foundCombinatoricsErdős #1041

Erdős problem #1041

Argument with major gaps made. Contribution type: AI collaborating with humans.

Claude Opus 4.6 · Gemini 3.1 Pro · GPT-5.4 · shtuka
LFCR
Error foundCombinatoricsErdős #848

Erdős problem #848

Incorrect proof found. Contribution type: AI collaborating with humans.

Claude Opus 4.6 · GPT-5.4 · Malek Zribi
LFCR
Error foundCombinatoricsErdős #388

Erdős problem #388

Incorrect proof found. Contribution type: AI collaborating with humans.

Claude · Gemini · GPT-5.4 · Malek Zribi
LFCR

February 2026 2

Error foundCombinatoricsErdős #358

Erdős problem #358

Argument with major gaps made. Contribution type: AI collaborating with humans.

GPT-5.2 Thinking · Nat Sothanaphan
LFCR
Error foundCombinatoricsErdős #358

Erdős problem #358

Argument with major gaps made. Contribution type: AI standalone.

GPT-5.2 Pro
LFCR

January 2026 8

Error foundCombinatoricsErdős #647

Erdős problem #647

Incorrect proof found. Contribution type: AI standalone.

ChatGPT Deep research · DeepSeek DeepThink · Gemini
LFCR
Error foundCombinatoricsErdős #11

Erdős problem #11

Incorrect claim made. Contribution type: AI standalone.

Aristotle · GPT
LFCR
Error foundCombinatoricsErdős #963

Erdős problem #963

Argument with major gaps made. Contribution type: AI standalone.

Gemini 3 Pro
LFCR
Error foundCombinatoricsErdős #888

Erdős problem #888

Incorrect proof found. Contribution type: AI standalone.

Claude Opus 4.5 · Gemini 3 Pro · GPT-5.2 Thinking
LFCR
Error foundCombinatoricsErdős #616

Erdős problem #616

Incorrect proof found. Contribution type: AI standalone.

Claude Sonnet 4.5 · Gemini 3 Pro · GPT-5.2 Pro
LFCR
Error foundCombinatoricsErdős #233

Erdős problem #233

Incorrect (conditional) proof found. Contribution type: AI standalone.

GPT-5.2 Pro
LFCR
Error foundCombinatoricsErdős #51

Erdős problem #51

Incorrect proof found. Contribution type: AI standalone.

ChatGPT free version
LFCR
Error foundCombinatoricsErdős #1044

Erdős problem #1044

Incorrect claim made. Contribution type: AI standalone.

GPT-5.2 Pro
LFCR