qedbot

Systems

71 AI systems named in 627 claims, grouped by who makes them and by product line, each with the record computed from its claims. These are counts of recorded work, not a ranking of ability: which problems attract attention has little to do with how hard they are.

Every system

OpenAI

Codex

31 claims·25 Oct 2025 to 1 Sep 2026

Codex 30·GPT-5.2-Codex 1

14 full13 partial3 checked

Harmonic

Aristotle

198 claims·25 Oct 2025 to 23 Jun 2026

169 full24 partial3 incorrect9 checked

Google DeepMind

AlphaEvolve

79 claims·16 Jun 2025 to 17 Aug 2026

2 full20 records6 partial12 matched
Aletheia

14 claims·29 Jan 2026 to 2 Feb 2026

10 full4 partial
AlphaProof

5 claims·9 Aug 2025 to 7 Jan 2026

1 full4 partial
AlphaTensor

2 claims·5 Oct 2022 to 5 Oct 2022

1 records1 matched2 checked
FunSearch

1 claim·14 Dec 2023 to 14 Dec 2023

1 records1 checked

Anthropic

Claude Code

4 claims·4 May 2026 to 17 Jun 2026

3 full1 partial

Axiom Math

AxiomProver

6 claims·19 Jun 2026 to 3 Sep 2026

4 full1 partial3 checked

ByteDance Seed

Seed

1 claim·9 Aug 2025 to 9 Aug 2025

Seed 2.0 Pro 1

1 partial

Logical Intelligence

FrenzyMath

Rethlas

2 claims·13 May 2026 to 15 May 2026

Google

Antigravity

2 claims·14 Feb 2026 to 25 Feb 2026

2 full

Project Numina

UlamAI

Wes Pegden, Carnegie Mellon University

Trellis

2 claims·10 Jun 2026 to 10 Jun 2026

2 partial

Archivara

Archivara

1 claim·26 Dec 2025 to 26 Dec 2025

1 full

DeepSeek

ETH Zürich SRI Lab

ProofCouncil

1 claim·10 Jun 2026 to 10 Jun 2026

1 partial

Math Inc

Gauss

1 claim·16 Apr 2026 to 16 Apr 2026

1 full

Principia Math

Shouqiao Wang and Davide Crapis

xAI

Grok

1 claim·30 Jan 2026 to 30 Jan 2026

1 partial

Maker not recorded

Each maker is attributed from a source, linked on each system's page. Claims whose source names no system, or several without saying which, appear on their problems but are not counted here.