VibeMathed
A record of math problems resolved with an AI model in the loop. A few marquee results are written up by hand with sources; the bulk are Erdős problems imported from Terence Tao's AI-contributions wiki. Each Erdős entry was checked against its erdosproblems.com page for live solved-status, posed year, and field; entries the wiki claimed but the site still lists as open were dropped. Every entry is labeled by how strongly it's verified - Lean-checked, expert-reviewed, or confirmed by the site's official status.
- Tracked
- 68
- Erdős problems
- 66
- Lean-verified
- 40
References vs. age at resolution
- Disproved
- Proved
38 of 68entries have no reference count looked up yet, so aren't plotted - see the table below.
All entries
68 of 68
| Verification | ||||||||
|---|---|---|---|---|---|---|---|---|
| Jacobian Conjecture | Algebraic Geometry | Disproved | Ott-Heinrich Keller | Claude Fable 5 | 2026-07-20 | 87y | 759 | Pending peer review |
| Cycle Double Cover Conjecture | Graph Theory | Proved | Multiple mathematicians independently (e.g. Szekeres, Seymour) | GPT-5.6 Sol | 2026-07-11 | 53y | — | Pending peer review |
| Erdős Problem #865 | Number Theory, Additive Combinatorics | Proved | Paul Erdős | GPT-5.5 Pro | 2026-06-22 | 54y | — | Lean-verified |
| Erdős Problem #948 | Number Theory, Ramsey Theory | Resolved | Paul Erdős | Aristotle, GPT-5.5 Pro | 2026-06-21 | 49y | — | Site-confirmed |
| Erdős Problem #1197 | Analysis | Disproved | Paul Erdős | Aristotle, Claude Opus 4.7, GPT-5.4 Pro | 2026-06-21 | 46y | 49 | Lean-verified |
| Erdős Problem #986 | Graph Theory, Ramsey Theory | Proved | Paul Erdős | Claude, OpenAI internal model | 2026-06-16 | 36y | — | Site-confirmed |
| Erdős Problem #619 | Graph Theory | Disproved | Paul Erdős, András andRuszinkó, Miklós Gyárfás | Claude Fable 5, Codex, GPT-5.5 | 2026-06-09 | 28y | 25 | Lean-verified |
| Erdős Problem #696 | Number Theory, Divisors | Resolved | Paul Erdős | Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro | 2026-06-05 | 47y | 40 | Lean-verified |
| Erdős Problem #690 | Number Theory | Resolved | Paul Erdős | Multiscalar Fields System | 2026-05-08 | 47y | 40 | Site-confirmed |
| Erdős Problem #283 | Number Theory, Unit Fractions | Proved | P. Erdős, R. Graham | GPT-5.5 Pro | 2026-05-03 | 46y | 371 | Lean-verified |
| Erdős Problem #351 | Number Theory, Complete Sequences | Proved | P. Erdős, R. Graham | GPT-5.5 Pro | 2026-05-03 | 46y | 371 | Lean-verified |
| Erdős Problem #750 | Graph Theory, Chromatic Number | Proved | Paul Erdős | GPT-5.5 Pro | 2026-05-03 | 32y | — | Lean-verified |
| Erdős Problem #694 | Number Theory | Resolved | Paul Erdős | GPT-5.5 Pro | 2026-05-01 | 47y | 40 | Lean-verified |
| Erdős's Planar Unit Distance Conjecture | Combinatorial Geometry | Disproved | Paul Erdős | OpenAI frontier model (specific version not disclosed) | 2026-05 | 80y | 201 | Expert-verified |
| Erdős Problem #1092 | Graph Theory, Chromatic Number | Disproved | Paul Erdős | GPT-5.5 Pro | 2026-04-28 | 50y | — | Site-confirmed |
| Erdős Problem #42 | Number Theory, Sidon Sets, Additive Combinatorics | Resolved | Paul Erdős | GPT-5.5 Pro | 2026-04-27 | 31y | — | Lean-verified |
| Erdős Problem #896 | Number Theory | Resolved | Paul Erdős | GPT-5.5 Pro | 2026-04-26 | 54y | — | Site-confirmed |
| Erdős Problem #38 | Number Theory | Proved | Paul Erdős | GPT-5.5 Pro | 2026-04-25 | 70y | — | Lean-verified |
| Erdős Problem #888 | Number Theory, Squares | Resolved | Paul Erdős | Aristotle, GPT-5.5 Pro | 2026-04-25 | 28y | — | Site-confirmed |
| Erdős Problem #1138 | Number Theory, Primes | Disproved | Various | GPT-5.5 Pro, GPT-5.5 Thinking | 2026-04-25 | 27y | — | Lean-verified |
| Erdős Problem #330 | Number Theory, Additive Basis | Proved | Paul Erdős | GPT-5.5 Pro | 2026-04-24 | 46y | 49 | Lean-verified |
| Erdős Problem #202 | Covering Systems | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-23 | 65y | — | Lean-verified |
| Erdős Problem #1014 | Graph Theory, Ramsey Theory | Proved | Paul Erdős | OpenAI internal model | 2026-04-23 | 55y | — | Lean-verified |
| Erdős Problem #1190 | Number Theory, Covering Systems | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-23 | 46y | 49 | Lean-verified |
| Erdős Problem #863 | Number Theory, Sidon Sets, Additive Combinatorics | Proved | Paul Erdős | GPT-5.4 Pro | 2026-04-22 | 34y | 3 | Site-confirmed |
| Erdős Problem #603 | Combinatorics, Set Theory | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-21 | 39y | 9 | Site-confirmed |
| Erdős Problem #610 | Graph Theory | Proved | Paul Erdős, Tibor Gallai, Zsolt Tuza | Aristotle, GPT-5.4 Pro | 2026-04-21 | 34y | 67 | Lean-verified |
| Erdős Problem #1195 | Analysis, Number Theory | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-19 | 46y | 49 | Site-confirmed |
| Erdős Problem #741 | Additive Combinatorics | Resolved | Paul Erdős | DeepMind prover agent | 2026-04-16 | 32y | — | Lean-verified |
| Erdős Problem #1217 | Number Theory, Divisors, Primitive Sets | Proved | P. Erd\H os, A. Sárk\"ozi, E. Szemer\'edi | GPT-5.4 Pro | 2026-04-16 | 60y | — | Site-confirmed |
| Erdős Problem #858 | Number Theory, Primitive Sets | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-15 | 56y | — | Site-confirmed |
| Erdős Problem #258 | Irrationality | Proved | P. Erdős, R. Graham | GPT-5.4 Pro | 2026-04-14 | 46y | 371 | Lean-verified |
| Erdős Problem #960 | Geometry | Disproved | Paul Erdős | OpenAI internal model | 2026-04-09 | 42y | — | Site-confirmed |
| Erdős Problem #987 | Analysis, Discrepancy | Proved | Paul Erdős | OpenAI internal model | 2026-04-09 | 62y | — | Site-confirmed |
| Erdős Problem #990 | Analysis | Disproved | Paul Erdős | OpenAI internal model | 2026-04-09 | 62y | — | Lean-verified |
| Erdős Problem #1091 | Graph Theory, Chromatic Number | Proved | Paul Erdős | OpenAI internal model | 2026-04-09 | 50y | — | Site-confirmed |
| Erdős Problem #1141 | Number Theory, Primes | Disproved | Various | OpenAI internal model | 2026-04-09 | 27y | — | Lean-verified |
| Erdős Problem #26 | Number Theory, Divisors | Disproved | Paul Erdős | DeepMind prover agent | 2026-04-06 | 31y | — | Lean-verified |
| Erdős Problem #152 | Sidon Sets | Proved | P. Erdős, A. Sárközy, T. Sós | DeepMind prover agent | 2026-04-03 | 32y | — | Site-confirmed |
| Erdős Problem #1202 | Number Theory, Primes | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-04-01 | 46y | 49 | Site-confirmed |
| Erdős Problem #1196 — Primitive Sets | Number Theory | Proved | Paul Erdős, András Sárközy, Endre Szemerédi | GPT-5.4 Pro | 2026-04 | 58y | — | Expert-verified |
| Erdős Problem #380 | Number Theory | Proved | P. Erdős, R. Graham | GPT-5.4 Pro | 2026-03-31 | 46y | 371 | Site-confirmed |
| Erdős Problem #997 | Analysis, Discrepancy, Primes | Proved | Paul Erdős | OpenAI internal model | 2026-03-31 | 62y | — | Lean-verified |
| Erdős Problem #125 | Number Theory, Base Representations | Disproved | S. A. Burr, P. Erdős, R. L. Graham, W. Wen-Ching Li | DeepMind prover agent | 2026-03-30 | 30y | 10 | Lean-verified |
| Erdős Problem #369 | Number Theory | Proved | P. Erdős, R. Graham | GPT | 2026-03-26 | 46y | 371 | Lean-verified |
| Erdős Problem #1153 | Analysis, Polynomials | Proved | P. Erdős, P. Turán | AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro | 2026-03-24 | 65y | — | Site-confirmed |
| Erdős Problem #1148 | Number Theory | Proved | Various | Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro, GPT-5.5 Pro | 2026-03-16 | 27y | — | Lean-verified |
| Erdős Problem #650 | Number Theory | Resolved | Paul Erdős | GPT-5.4 Pro | 2026-03-07 | 31y | — | Lean-verified |
| Erdős Problem #457 | Number Theory | Proved | Paul Erdős | Aristotle, GPT-5.2 Pro | 2026-03-02 | 47y | 40 | Lean-verified |
| Erdős Problem #846 | Geometry | Disproved | Paul Erdős | DeepMind prover agent; OpenAI internal model (independently) | 2026-02-25 | 34y | — | Lean-verified |
| Erdős Problem #966 | Number Theory, Additive Combinatorics, Ramsey Theory | Proved | Paul Erdős | Aristotle | 2026-02-25 | 51y | — | Lean-verified |
| Erdős Problem #851 | Number Theory | Proved | Paul Erdős | GPT-5.2 Pro | 2026-02-05 | 41y | 9 | Site-confirmed |
| Erdős Problem #347 | Number Theory, Complete Sequences | Proved | P. Erdős, R. Graham | Aristotle, Claude Opus, Codex, GPT | 2026-02-04 | 46y | 371 | Lean-verified |
| Erdős Problem #1089 | Geometry, Distances | Resolved | Paul Erdős | Aletheia | 2026-02-01 | 51y | — | Site-confirmed |
| Erdős Problem #1051 | Irrationality | Proved | P. Erdős, R. Graham | Aletheia | 2026-01-29 | 46y | 371 | Lean-verified |
| Erdős Problem #543 | Number Theory, Group Theory | Disproved | Paul Erdős | GPT-5.2 Pro | 2026-01-21 | 53y | 52 | Site-confirmed |
| Erdős Problem #281 | Number Theory, Covering Systems | Proved | P. Erdős, R. Graham | GPT-5.2 Pro | 2026-01-17 | 46y | 371 | Lean-verified |
| Erdős Problem #659 | Geometry, Distances | Proved | Paul Erdős | Gemini 3, Aletheia | 2026-01-13 | 29y | — | Lean-verified |
| Erdős Problem #401 | Number Theory, Factorials | Proved | P. Erdős, R. Graham | Aristotle, GPT-5.2 Pro | 2026-01-11 | 46y | 371 | Lean-verified |
| Erdős Problem #205 | Number Theory | Disproved | Paul Erdős | Aristotle, GPT-5.2 Thinking | 2026-01-10 | 46y | 49 | Lean-verified |
| Erdős Problem #397 | Number Theory, Binomial Coefficients | Disproved | P. Erdős, R. Graham | Aristotle, GPT-5.2 Pro, Aletheia | 2026-01-10 | 46y | 371 | Lean-verified |
| Erdős Problem #729 | Number Theory, Factorials | Proved | P. Erdős, R. L. Graham, I. Z. Ruzsa, E. G. Straus | Aristotle, GPT-5.2 Pro | 2026-01-10 | 51y | — | Lean-verified |
| Erdős Problem #728 — Factorial Divisibility | Number Theory | Proved | Paul Erdős, Ronald Graham, Imre Ruzsa, Ernst Straus | Aristotle (Harmonic) + GPT-5.2 Pro | 2026-01-06 | 51y | — | Expert-verified |
| Erdős Problem #871 | Number Theory, Additive Basis | Disproved | Paul Erdős, Melvyn B. Nathanson | Claude Opus 4.5, Gemini 3 Pro | 2026-01-05 | 38y | — | Lean-verified |
| Erdős Problem #897 | Number Theory | Disproved | Paul Erdős | Archivara, Aristotle | 2025-12-26 | 53y | — | Lean-verified |
| Erdős Problem #333 | Number Theory, Additive Basis | Disproved | P. Erdős, R. Graham | Claude Opus 4.5, GPT-5.2 Pro | 2025-12-25 | 45y | 371 | Lean-verified |
| Erdős Problem #1026 — Monotonic Subsequence Sums | Combinatorics | Proved | Paul Erdős | Aristotle, with GPT, Gemini and AlphaEvolve also contributing | 2025-12-08 | 54y | — | Expert-verified |
| Erdős Problem #848 | Number Theory | Resolved | Paul Erdős | GPT-5 | 2025-11-20 | 33y | — | Site-confirmed |