VibeMathed - A tracker for math problems solved by AI models

# VibeMathed Source: [https://vibemathed.com/](https://vibemathed.com/) 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](https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems)\. 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\. Tracked68Erdős problems66Lean\-verified40## References vs\. age at resolution - Disproved - Proved 020406080100Years open when resolved0200400600800Reference countJacobian Conjecture: 759 references, 87 years openJacobian ConjectureErdős's Planar Unit Distance Conjecture: 201 references, 80 years openUnit Distance Conj\.Erdős Problem \#125: 10 references, 30 years openErdős \#125Erdős Problem \#205: 49 references, 46 years openErdős \#205Erdős Problem \#258: 371 references, 46 years openErdős \#258Erdős Problem \#281: 371 references, 46 years openErdős \#281Erdős Problem \#283: 371 references, 46 years openErdős \#283Erdős Problem \#330: 49 references, 46 years openErdős \#330Erdős Problem \#333: 371 references, 45 years openErdős \#333Erdős Problem \#347: 371 references, 46 years openErdős \#347Erdős Problem \#351: 371 references, 46 years openErdős \#351Erdős Problem \#369: 371 references, 46 years openErdős \#369Erdős Problem \#380: 371 references, 46 years openErdős \#380Erdős Problem \#397: 371 references, 46 years openErdős \#397Erdős Problem \#401: 371 references, 46 years openErdős \#401Erdős Problem \#457: 40 references, 47 years openErdős \#457Erdős Problem \#543: 52 references, 53 years openErdős \#543Erdős Problem \#603: 9 references, 39 years openErdős \#603Erdős Problem \#610: 67 references, 34 years openErdős \#610Erdős Problem \#619: 25 references, 28 years openErdős \#619Erdős Problem \#690: 40 references, 47 years openErdős \#690Erdős Problem \#694: 40 references, 47 years openErdős \#694Erdős Problem \#696: 40 references, 47 years openErdős \#696Erdős Problem \#851: 9 references, 41 years openErdős \#851Erdős Problem \#863: 3 references, 34 years openErdős \#863Erdős Problem \#1051: 371 references, 46 years openErdős \#1051Erdős Problem \#1190: 49 references, 46 years openErdős \#1190Erdős Problem \#1195: 49 references, 46 years openErdős \#1195Erdős Problem \#1197: 49 references, 46 years openErdős \#1197Erdős Problem \#1202: 49 references, 46 years openErdős \#1202 38of68entries have no reference count looked up yet, so aren't plotted \- see the table below\. ## All entries 68of68 Verification[Jacobian Conjecture](https://officechai.com/ai/an-anthropic-researcher-says-fable-just-helped-him-disprove-the-85-year-old-jacobian-conjecture/)Algebraic GeometryDisprovedOtt\-Heinrich KellerClaude Fable 52026\-07\-2087y759Pending peer review[Cycle Double Cover Conjecture](https://www.scientificamerican.com/article/chatgpt-just-proved-another-50-year-old-math-conjecture/)Graph TheoryProvedMultiple mathematicians independently \(e\.g\. Szekeres, Seymour\)GPT\-5\.6 Sol2026\-07\-1153y—Pending peer review[Erdős Problem \#865](https://www.erdosproblems.com/865)Number Theory, Additive CombinatoricsProvedPaul ErdősGPT\-5\.5 Pro2026\-06\-2254y—Lean\-verified[Erdős Problem \#948](https://www.erdosproblems.com/948)Number Theory, Ramsey TheoryResolvedPaul ErdősAristotle, GPT\-5\.5 Pro2026\-06\-2149y—Site\-confirmed[Erdős Problem \#1197](https://www.erdosproblems.com/1197)AnalysisDisprovedPaul ErdősAristotle, Claude Opus 4\.7, GPT\-5\.4 Pro2026\-06\-2146y49Lean\-verified[Erdős Problem \#986](https://www.erdosproblems.com/986)Graph Theory, Ramsey TheoryProvedPaul ErdősClaude, OpenAI internal model2026\-06\-1636y—Site\-confirmed[Erdős Problem \#619](https://www.erdosproblems.com/619)Graph TheoryDisprovedPaul Erdős, András andRuszinkó, Miklós GyárfásClaude Fable 5, Codex, GPT\-5\.52026\-06\-0928y25Lean\-verified[Erdős Problem \#696](https://www.erdosproblems.com/696)Number Theory, DivisorsResolvedPaul ErdősAristotle, Claude Code, Claude Opus 4\.7, GPT\-5\.5 Pro2026\-06\-0547y40Lean\-verified[Erdős Problem \#690](https://www.erdosproblems.com/690)Number TheoryResolvedPaul ErdősMultiscalar Fields System2026\-05\-0847y40Site\-confirmed[Erdős Problem \#283](https://www.erdosproblems.com/283)Number Theory, Unit FractionsProvedP\. Erdős, R\. GrahamGPT\-5\.5 Pro2026\-05\-0346y371Lean\-verified[Erdős Problem \#351](https://www.erdosproblems.com/351)Number Theory, Complete SequencesProvedP\. Erdős, R\. GrahamGPT\-5\.5 Pro2026\-05\-0346y371Lean\-verified[Erdős Problem \#750](https://www.erdosproblems.com/750)Graph Theory, Chromatic NumberProvedPaul ErdősGPT\-5\.5 Pro2026\-05\-0332y—Lean\-verified[Erdős Problem \#694](https://www.erdosproblems.com/694)Number TheoryResolvedPaul ErdősGPT\-5\.5 Pro2026\-05\-0147y40Lean\-verified[Erdős's Planar Unit Distance Conjecture](https://asiliconvalleyinsider.com/2026/05/27/how-openai-models-helped-solve-erdos-problem-1196-and-disprove-erdoss-planar-unit-distance-conjecture/)Combinatorial GeometryDisprovedPaul ErdősOpenAI frontier model \(specific version not disclosed\)2026\-0580y201Expert\-verified[Erdős Problem \#1092](https://www.erdosproblems.com/1092)Graph Theory, Chromatic NumberDisprovedPaul ErdősGPT\-5\.5 Pro2026\-04\-2850y—Site\-confirmed[Erdős Problem \#42](https://www.erdosproblems.com/42)Number Theory, Sidon Sets, Additive CombinatoricsResolvedPaul ErdősGPT\-5\.5 Pro2026\-04\-2731y—Lean\-verified[Erdős Problem \#896](https://www.erdosproblems.com/896)Number TheoryResolvedPaul ErdősGPT\-5\.5 Pro2026\-04\-2654y—Site\-confirmed[Erdős Problem \#38](https://www.erdosproblems.com/38)Number TheoryProvedPaul ErdősGPT\-5\.5 Pro2026\-04\-2570y—Lean\-verified[Erdős Problem \#888](https://www.erdosproblems.com/888)Number Theory, SquaresResolvedPaul ErdősAristotle, GPT\-5\.5 Pro2026\-04\-2528y—Site\-confirmed[Erdős Problem \#1138](https://www.erdosproblems.com/1138)Number Theory, PrimesDisprovedVariousGPT\-5\.5 Pro, GPT\-5\.5 Thinking2026\-04\-2527y—Lean\-verified[Erdős Problem \#330](https://www.erdosproblems.com/330)Number Theory, Additive BasisProvedPaul ErdősGPT\-5\.5 Pro2026\-04\-2446y49Lean\-verified[Erdős Problem \#202](https://www.erdosproblems.com/202)Covering SystemsResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-2365y—Lean\-verified[Erdős Problem \#1014](https://www.erdosproblems.com/1014)Graph Theory, Ramsey TheoryProvedPaul ErdősOpenAI internal model2026\-04\-2355y—Lean\-verified[Erdős Problem \#1190](https://www.erdosproblems.com/1190)Number Theory, Covering SystemsResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-2346y49Lean\-verified[Erdős Problem \#863](https://www.erdosproblems.com/863)Number Theory, Sidon Sets, Additive CombinatoricsProvedPaul ErdősGPT\-5\.4 Pro2026\-04\-2234y3Site\-confirmed[Erdős Problem \#603](https://www.erdosproblems.com/603)Combinatorics, Set TheoryResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-2139y9Site\-confirmed[Erdős Problem \#610](https://www.erdosproblems.com/610)Graph TheoryProvedPaul Erdős, Tibor Gallai, Zsolt TuzaAristotle, GPT\-5\.4 Pro2026\-04\-2134y67Lean\-verified[Erdős Problem \#1195](https://www.erdosproblems.com/1195)Analysis, Number TheoryResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-1946y49Site\-confirmed[Erdős Problem \#741](https://www.erdosproblems.com/741)Additive CombinatoricsResolvedPaul ErdősDeepMind prover agent2026\-04\-1632y—Lean\-verified[Erdős Problem \#1217](https://www.erdosproblems.com/1217)Number Theory, Divisors, Primitive SetsProvedP\. Erd\\H os, A\. Sárk\\"ozi, E\. Szemer\\'ediGPT\-5\.4 Pro2026\-04\-1660y—Site\-confirmed[Erdős Problem \#858](https://www.erdosproblems.com/858)Number Theory, Primitive SetsResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-1556y—Site\-confirmed[Erdős Problem \#258](https://www.erdosproblems.com/258)IrrationalityProvedP\. Erdős, R\. GrahamGPT\-5\.4 Pro2026\-04\-1446y371Lean\-verified[Erdős Problem \#960](https://www.erdosproblems.com/960)GeometryDisprovedPaul ErdősOpenAI internal model2026\-04\-0942y—Site\-confirmed[Erdős Problem \#987](https://www.erdosproblems.com/987)Analysis, DiscrepancyProvedPaul ErdősOpenAI internal model2026\-04\-0962y—Site\-confirmed[Erdős Problem \#990](https://www.erdosproblems.com/990)AnalysisDisprovedPaul ErdősOpenAI internal model2026\-04\-0962y—Lean\-verified[Erdős Problem \#1091](https://www.erdosproblems.com/1091)Graph Theory, Chromatic NumberProvedPaul ErdősOpenAI internal model2026\-04\-0950y—Site\-confirmed[Erdős Problem \#1141](https://www.erdosproblems.com/1141)Number Theory, PrimesDisprovedVariousOpenAI internal model2026\-04\-0927y—Lean\-verified[Erdős Problem \#26](https://www.erdosproblems.com/26)Number Theory, DivisorsDisprovedPaul ErdősDeepMind prover agent2026\-04\-0631y—Lean\-verified[Erdős Problem \#152](https://www.erdosproblems.com/152)Sidon SetsProvedP\. Erdős, A\. Sárközy, T\. SósDeepMind prover agent2026\-04\-0332y—Site\-confirmed[Erdős Problem \#1202](https://www.erdosproblems.com/1202)Number Theory, PrimesResolvedPaul ErdősGPT\-5\.4 Pro2026\-04\-0146y49Site\-confirmed[Erdős Problem \#1196 — Primitive Sets](https://www.erdosproblems.com/1196)Number TheoryProvedPaul Erdős, András Sárközy, Endre SzemerédiGPT\-5\.4 Pro2026\-0458y—Expert\-verified[Erdős Problem \#380](https://www.erdosproblems.com/380)Number TheoryProvedP\. Erdős, R\. GrahamGPT\-5\.4 Pro2026\-03\-3146y371Site\-confirmed[Erdős Problem \#997](https://www.erdosproblems.com/997)Analysis, Discrepancy, PrimesProvedPaul ErdősOpenAI internal model2026\-03\-3162y—Lean\-verified[Erdős Problem \#125](https://www.erdosproblems.com/125)Number Theory, Base RepresentationsDisprovedS\. A\. Burr, P\. Erdős, R\. L\. Graham, W\. Wen\-Ching LiDeepMind prover agent2026\-03\-3030y10Lean\-verified[Erdős Problem \#369](https://www.erdosproblems.com/369)Number TheoryProvedP\. Erdős, R\. GrahamGPT2026\-03\-2646y371Lean\-verified[Erdős Problem \#1153](https://www.erdosproblems.com/1153)Analysis, PolynomialsProvedP\. Erdős, P\. TuránAlphaEvolve, Claude, Gemini Pro, GPT\-5\.2 Thinking, GPT\-5\.4 Pro2026\-03\-2465y—Site\-confirmed[Erdős Problem \#1148](https://www.erdosproblems.com/1148)Number TheoryProvedVariousGemini 3 Pro, Gemini 3\.1 Pro, GPT\-5\.2 Pro, GPT\-5\.2 Thinking, GPT\-5\.4 Pro, GPT\-5\.5 Pro2026\-03\-1627y—Lean\-verified[Erdős Problem \#650](https://www.erdosproblems.com/650)Number TheoryResolvedPaul ErdősGPT\-5\.4 Pro2026\-03\-0731y—Lean\-verified[Erdős Problem \#457](https://www.erdosproblems.com/457)Number TheoryProvedPaul ErdősAristotle, GPT\-5\.2 Pro2026\-03\-0247y40Lean\-verified[Erdős Problem \#846](https://www.erdosproblems.com/846)GeometryDisprovedPaul ErdősDeepMind prover agent; OpenAI internal model \(independently\)2026\-02\-2534y—Lean\-verified[Erdős Problem \#966](https://www.erdosproblems.com/966)Number Theory, Additive Combinatorics, Ramsey TheoryProvedPaul ErdősAristotle2026\-02\-2551y—Lean\-verified[Erdős Problem \#851](https://www.erdosproblems.com/851)Number TheoryProvedPaul ErdősGPT\-5\.2 Pro2026\-02\-0541y9Site\-confirmed[Erdős Problem \#347](https://www.erdosproblems.com/347)Number Theory, Complete SequencesProvedP\. Erdős, R\. GrahamAristotle, Claude Opus, Codex, GPT2026\-02\-0446y371Lean\-verified[Erdős Problem \#1089](https://www.erdosproblems.com/1089)Geometry, DistancesResolvedPaul ErdősAletheia2026\-02\-0151y—Site\-confirmed[Erdős Problem \#1051](https://www.erdosproblems.com/1051)IrrationalityProvedP\. Erdős, R\. GrahamAletheia2026\-01\-2946y371Lean\-verified[Erdős Problem \#543](https://www.erdosproblems.com/543)Number Theory, Group TheoryDisprovedPaul ErdősGPT\-5\.2 Pro2026\-01\-2153y52Site\-confirmed[Erdős Problem \#281](https://www.erdosproblems.com/281)Number Theory, Covering SystemsProvedP\. Erdős, R\. GrahamGPT\-5\.2 Pro2026\-01\-1746y371Lean\-verified[Erdős Problem \#659](https://www.erdosproblems.com/659)Geometry, DistancesProvedPaul ErdősGemini 3, Aletheia2026\-01\-1329y—Lean\-verified[Erdős Problem \#401](https://www.erdosproblems.com/401)Number Theory, FactorialsProvedP\. Erdős, R\. GrahamAristotle, GPT\-5\.2 Pro2026\-01\-1146y371Lean\-verified[Erdős Problem \#205](https://www.erdosproblems.com/205)Number TheoryDisprovedPaul ErdősAristotle, GPT\-5\.2 Thinking2026\-01\-1046y49Lean\-verified[Erdős Problem \#397](https://www.erdosproblems.com/397)Number Theory, Binomial CoefficientsDisprovedP\. Erdős, R\. GrahamAristotle, GPT\-5\.2 Pro, Aletheia2026\-01\-1046y371Lean\-verified[Erdős Problem \#729](https://www.erdosproblems.com/729)Number Theory, FactorialsProvedP\. Erdős, R\. L\. Graham, I\. Z\. Ruzsa, E\. G\. StrausAristotle, GPT\-5\.2 Pro2026\-01\-1051y—Lean\-verified[Erdős Problem \#728 — Factorial Divisibility](https://www.erdosproblems.com/728)Number TheoryProvedPaul Erdős, Ronald Graham, Imre Ruzsa, Ernst StrausAristotle \(Harmonic\) \+ GPT\-5\.2 Pro2026\-01\-0651y—Expert\-verified[Erdős Problem \#871](https://www.erdosproblems.com/871)Number Theory, Additive BasisDisprovedPaul Erdős, Melvyn B\. NathansonClaude Opus 4\.5, Gemini 3 Pro2026\-01\-0538y—Lean\-verified[Erdős Problem \#897](https://www.erdosproblems.com/897)Number TheoryDisprovedPaul ErdősArchivara, Aristotle2025\-12\-2653y—Lean\-verified[Erdős Problem \#333](https://www.erdosproblems.com/333)Number Theory, Additive BasisDisprovedP\. Erdős, R\. GrahamClaude Opus 4\.5, GPT\-5\.2 Pro2025\-12\-2545y371Lean\-verified[Erdős Problem \#1026 — Monotonic Subsequence Sums](https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/)CombinatoricsProvedPaul ErdősAristotle, with GPT, Gemini and AlphaEvolve also contributing2025\-12\-0854y—Expert\-verified[Erdős Problem \#848](https://www.erdosproblems.com/848)Number TheoryResolvedPaul ErdősGPT\-52025\-11\-2033y—Site\-confirmed