VibeMathed - 一个追踪AI模型解决数学问题的工具

# VibeMathed 来源：https://vibemathed.com/ 记录在AI参与下解决的数学问题。少数重要成果附带来源，由人工撰写；大部分为来自Terence Tao的AI贡献维基（https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems）导入的Erdős问题。每个Erdős条目均对照其erdosproblems.com页面核对实时解决状态、提出年份和所属领域；维基声称已解决但网站仍列为开放状态的条目已被剔除。每条记录均标注验证强度——Lean验证、专家审核或网站官方状态确认。 追踪 68 个Erdős问题 66 项Lean验证 40 ## 引用数 vs. 解决时已开放年数 - 被反驳 - 被证明 0 20 40 60 80 100 解决时已开放年数 0 200 400 600 800 引用数 雅可比猜想：759篇引用，87年未解决 雅可比猜想 Erdős平面单位距离猜想：201篇引用，80年未解决 单位距离猜想 Erdős问题 #125：10篇引用，30年未解决 Erdős #125 Erdős问题 #205：49篇引用，46年未解决 Erdős #205 Erdős问题 #258：371篇引用，46年未解决 Erdős #258 Erdős问题 #281：371篇引用，46年未解决 Erdős #281 Erdős问题 #283：371篇引用，46年未解决 Erdős #283 Erdős问题 #330：49篇引用，46年未解决 Erdős #330 Erdős问题 #333：371篇引用，45年未解决 Erdős #333 Erdős问题 #347：371篇引用，46年未解决 Erdős #347 Erdős问题 #351：371篇引用，46年未解决 Erdős #351 Erdős问题 #369：371篇引用，46年未解决 Erdős #369 Erdős问题 #380：371篇引用，46年未解决 Erdős #380 Erdős问题 #397：371篇引用，46年未解决 Erdős #397 Erdős问题 #401：371篇引用，46年未解决 Erdős #401 Erdős问题 #457：40篇引用，47年未解决 Erdős #457 Erdős问题 #543：52篇引用，53年未解决 Erdős #543 Erdős问题 #603：9篇引用，39年未解决 Erdős #603 Erdős问题 #610：67篇引用，34年未解决 Erdős #610 Erdős问题 #619：25篇引用，28年未解决 Erdős #619 Erdős问题 #690：40篇引用，47年未解决 Erdős #690 Erdős问题 #694：40篇引用，47年未解决 Erdős #694 Erdős问题 #696：40篇引用，47年未解决 Erdős #696 Erdős问题 #851：9篇引用，41年未解决 Erdős #851 Erdős问题 #863：3篇引用，34年未解决 Erdős #863 Erdős问题 #1051：371篇引用，46年未解决 Erdős #1051 Erdős问题 #1190：49篇引用，46年未解决 Erdős #1190 Erdős问题 #1195：49篇引用，46年未解决 Erdős #1195 Erdős问题 #1197：49篇引用，46年未解决 Erdős #1197 Erdős问题 #1202：49篇引用，46年未解决 Erdős #1202 68个条目中有38个尚未查询引用数，因此未在图中显示——请见下方表格。 ## 全部条目 共68条 验证状态 雅可比猜想（https://officechai.com/ai/an-anthropic-researcher-says-fable-just-helped-him-disprove-the-85-year-old-jacobian-conjecture/） 代数几何 被反驳 Ott-Heinrich Keller Claude Fable 5 2026-07-20 87年 759 待同行评审 环双覆盖猜想（https://www.scientificamerican.com/article/chatgpt-just-proved-another-50-year-old-math-conjecture/） 图论 被证明 多位数学家独立提出（如Szekeres, Seymour） GPT-5.6 Sol 2026-07-11 53年 — 待同行评审 Erdős问题 #865（https://www.erdosproblems.com/865） 数论，加法组合 被证明 Paul Erdős GPT-5.5 Pro 2026-06-22 54年 — Lean验证 Erdős问题 #948（https://www.erdosproblems.com/948） 数论，拉姆齐理论 已解决 Paul Erdős Aristotle, GPT-5.5 Pro 2026-06-21 49年 — 网站确认 Erdős问题 #1197（https://www.erdosproblems.com/1197） 分析 被反驳 Paul Erdős Aristotle, Claude Opus 4.7, GPT-5.4 Pro 2026-06-21 46年 49 Lean验证 Erdős问题 #986（https://www.erdosproblems.com/986） 图论，拉姆齐理论 被证明 Paul Erdős Claude, OpenAI内部模型 2026-06-16 36年 — 网站确认 Erdős问题 #619（https://www.erdosproblems.com/619） 图论 被反驳 Paul Erdős, András 和Ruszinkó, Miklós Gyárfás Claude Fable 5, Codex, GPT-5.5 2026-06-09 28年 25 Lean验证 Erdős问题 #696（https://www.erdosproblems.com/696） 数论，除数 已解决 Paul Erdős Aristotle, Claude Code, Claude Opus 4.7, GPT-5.5 Pro 2026-06-05 47年 40 Lean验证 Erdős问题 #690（https://www.erdosproblems.com/690） 数论 已解决 Paul Erdős 多标量场系统 2026-05-08 47年 40 网站确认 Erdős问题 #283（https://www.erdosproblems.com/283） 数论，单位分数 被证明 P. Erdős, R. Graham GPT-5.5 Pro 2026-05-03 46年 371 Lean验证 Erdős问题 #351（https://www.erdosproblems.com/351） 数论，完备序列 被证明 P. Erdős, R. Graham GPT-5.5 Pro 2026-05-03 46年 371 Lean验证 Erdős问题 #750（https://www.erdosproblems.com/750） 图论，色数 被证明 Paul Erdős GPT-5.5 Pro 2026-05-03 32年 — Lean验证 Erdős问题 #694（https://www.erdosproblems.com/694） 数论 已解决 Paul Erdős GPT-5.5 Pro 2026-05-01 47年 40 Lean验证 Erdős平面单位距离猜想（https://asiliconvalleyinsider.com/2026/05/27/how-openai-models-helped-solve-erdos-problem-1196-and-disprove-erdoss-planar-unit-distance-conjecture/） 组合几何 被反驳 Paul Erdős OpenAI前沿模型（具体版本未公开） 2026-05 80年 201 专家验证 Erdős问题 #1092（https://www.erdosproblems.com/1092） 图论，色数 被反驳 Paul Erdős GPT-5.5 Pro 2026-04-28 50年 — 网站确认 Erdős问题 #42（https://www.erdosproblems.com/42） 数论，Sidon集，加法组合 已解决 Paul Erdős GPT-5.5 Pro 2026-04-27 31年 — Lean验证 Erdős问题 #896（https://www.erdosproblems.com/896） 数论 已解决 Paul Erdős GPT-5.5 Pro 2026-04-26 54年 — 网站确认 Erdős问题 #38（https://www.erdosproblems.com/38） 数论 被证明 Paul Erdős GPT-5.5 Pro 2026-04-25 70年 — Lean验证 Erdős问题 #888（https://www.erdosproblems.com/888） 数论，平方数 已解决 Paul Erdős Aristotle, GPT-5.5 Pro 2026-04-25 28年 — 网站确认 Erdős问题 #1138（https://www.erdosproblems.com/1138） 数论，素数 被反驳 多位 GPT-5.5 Pro, GPT-5.5 Thinking 2026-04-25 27年 — Lean验证 Erdős问题 #330（https://www.erdosproblems.com/330） 数论，加法基 被证明 Paul Erdős GPT-5.5 Pro 2026-04-24 46年 49 Lean验证 Erdős问题 #202（https://www.erdosproblems.com/202） 覆盖系统 已解决 Paul Erdős GPT-5.4 Pro 2026-04-23 65年 — Lean验证 Erdős问题 #1014（https://www.erdosproblems.com/1014） 图论，拉姆齐理论 被证明 Paul Erdős OpenAI内部模型 2026-04-23 55年 — Lean验证 Erdős问题 #1190（https://www.erdosproblems.com/1190） 数论，覆盖系统 已解决 Paul Erdős GPT-5.4 Pro 2026-04-23 46年 49 Lean验证 Erdős问题 #863（https://www.erdosproblems.com/863） 数论，Sidon集，加法组合 被证明 Paul Erdős GPT-5.4 Pro 2026-04-22 34年 3 网站确认 Erdős问题 #603（https://www.erdosproblems.com/603） 组合学，集合论 已解决 Paul Erdős GPT-5.4 Pro 2026-04-21 39年 9 网站确认 Erdős问题 #610（https://www.erdosproblems.com/610） 图论 被证明 Paul Erdős, Tibor Gallai, Zsolt Tuza Aristotle, GPT-5.4 Pro 2026-04-21 34年 67 Lean验证 Erdős问题 #1195（https://www.erdosproblems.com/1195） 分析，数论 已解决 Paul Erdős GPT-5.4 Pro 2026-04-19 46年 49 网站确认 Erdős问题 #741（https://www.erdosproblems.com/741） 加法组合 已解决 Paul Erdős DeepMind证明代理 2026-04-16 32年 — Lean验证 Erdős问题 #1217（https://www.erdosproblems.com/1217） 数论，除数，本原集 被证明 P. Erdős, A. Sárközy, E. Szemerédi GPT-5.4 Pro 2026-04-16 60年 — 网站确认 Erdős问题 #858（https://www.erdosproblems.com/858） 数论，本原集 已解决 Paul Erdős GPT-5.4 Pro 2026-04-15 56年 — 网站确认 Erdős问题 #258（https://www.erdosproblems.com/258） 无理性 被证明 P. Erdős, R. Graham GPT-5.4 Pro 2026-04-14 46年 371 Lean验证 Erdős问题 #960（https://www.erdosproblems.com/960） 几何 被反驳 Paul Erdős OpenAI内部模型 2026-04-09 42年 — 网站确认 Erdős问题 #987（https://www.erdosproblems.com/987） 分析，差异 被证明 Paul Erdős OpenAI内部模型 2026-04-09 62年 — 网站确认 Erdős问题 #990（https://www.erdosproblems.com/990） 分析 被反驳 Paul Erdős OpenAI内部模型 2026-04-09 62年 — Lean验证 Erdős问题 #1091（https://www.erdosproblems.com/1091） 图论，色数 被证明 Paul Erdős OpenAI内部模型 2026-04-09 50年 — 网站确认 Erdős问题 #1141（https://www.erdosproblems.com/1141） 数论，素数 被反驳 多位 OpenAI内部模型 2026-04-09 27年 — Lean验证 Erdős问题 #26（https://www.erdosproblems.com/26） 数论，除数 被反驳 Paul Erdős DeepMind证明代理 2026-04-06 31年 — Lean验证 Erdős问题 #152（https://www.erdosproblems.com/152） Sidon集 被证明 P. Erdős, A. Sárközy, T. Sós DeepMind证明代理 2026-04-03 32年 — 网站确认 Erdős问题 #1202（https://www.erdosproblems.com/1202） 数论，素数 已解决 Paul Erdős GPT-5.4 Pro 2026-04-01 46年 49 网站确认 Erdős问题 #1196——本原集（https://www.erdosproblems.com/1196） 数论 被证明 Paul Erdős, András Sárközy, Endre Szemerédi GPT-5.4 Pro 2026-04 58年 — 专家验证 Erdős问题 #380（https://www.erdosproblems.com/380） 数论 被证明 P. Erdős, R. Graham GPT-5.4 Pro 2026-03-31 46年 371 网站确认 Erdős问题 #997（https://www.erdosproblems.com/997） 分析，差异，素数 被证明 Paul Erdős OpenAI内部模型 2026-03-31 62年 — Lean验证 Erdős问题 #125（https://www.erdosproblems.com/125） 数论，进制表示 被反驳 S. A. Burr, P. Erdős, R. L. Graham, W. Wen-Ching Li DeepMind证明代理 2026-03-30 30年 10 Lean验证 Erdős问题 #369（https://www.erdosproblems.com/369） 数论 被证明 P. Erdős, R. Graham GPT 2026-03-26 46年 371 Lean验证 Erdős问题 #1153（https://www.erdosproblems.com/1153） 分析，多项式 被证明 P. Erdős, P. Turán AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro 2026-03-24 65年 — 网站确认 Erdős问题 #1148（https://www.erdosproblems.com/1148） 数论 被证明 多位 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 27年 — Lean验证 Erdős问题 #650（https://www.erdosproblems.com/650） 数论 已解决 Paul Erdős GPT-5.4 Pro 2026-03-07 31年 — Lean验证 Erdős问题 #457（https://www.erdosproblems.com/457） 数论 被证明 Paul Erdős Aristotle, GPT-5.2 Pro 2026-03-02 47年 40 Lean验证 Erdős问题 #846（https://www.erdosproblems.com/846） 几何 被反驳 Paul Erdős DeepMind证明代理；OpenAI内部模型（独立） 2026-02-25 34年 — Lean验证 Erdős问题 #966（https://www.erdosproblems.com/966） 数论，加法组合，拉姆齐理论 被证明 Paul Erdős Aristotle 2026-02-25 51年 — Lean验证 Erdős问题 #851（https://www.erdosproblems.com/851） 数论 被证明 Paul Erdős GPT-5.2 Pro 2026-02-05 41年 9 网站确认 Erdős问题 #347（https://www.erdosproblems.com/347） 数论，完备序列 被证明 P. Erdős, R. Graham Aristotle, Claude Opus, Codex, GPT 2026-02-04 46年 371 Lean验证 Erdős问题 #1089（https://www.erdosproblems.com/1089） 几何，距离 已解决 Paul Erdős Aletheia 2026-02-01 51年 — 网站确认 Erdős问题 #1051（https://www.erdosproblems.com/1051） 无理性 被证明 P. Erdős, R. Graham Aletheia 2026-01-29 46年 371 Lean验证 Erdős问题 #543（https://www.erdosproblems.com/543） 数论，群论 被反驳 Paul Erdős GPT-5.2 Pro 2026-01-21 53年 52 网站确认 Erdős问题 #281（https://www.erdosproblems.com/281） 数论，覆盖系统 被证明 P. Erdős, R. Graham GPT-5.2 Pro 2026-01-17 46年 371 Lean验证 Erdős问题 #659（https://www.erdosproblems.com/659） 几何，距离 被证明 Paul Erdős Gemini 3, Aletheia 2026-01-13 29年 — Lean验证 Erdős问题 #401（https://www.erdosproblems.com/401） 数论，阶乘 被证明 P. Erdős, R. Graham Aristotle, GPT-5.2 Pro 2026-01-11 46年 371 Lean验证 Erdős问题 #205（https://www.erdosproblems.com/205） 数论 被反驳 Paul Erdős Aristotle, GPT-5.2 Thinking 2026-01-10 46年 49 Lean验证 Erdős问题 #397（https://www.erdosproblems.com/397） 数论，二项式系数 被反驳 P. Erdős, R. Graham Aristotle, GPT-5.2 Pro, Aletheia 2026-01-10 46年 371 Lean验证 Erdős问题 #729（https://www.erdosproblems.com/729） 数论，阶乘 被证明 P. Erdős, R. L. Graham, I. Z. Ruzsa, E. G. Straus Aristotle, GPT-5.2 Pro 2026-01-10 51年 — Lean验证 Erdős问题 #728——阶乘整除性（https://www.erdosproblems.com/728） 数论 被证明 Paul Erdős, Ronald Graham, Imre Ruzsa, Ernst Straus Aristotle（Harmonic）+ GPT-5.2 Pro 2026-01-06 51年 — 专家验证 Erdős问题 #871（https://www.erdosproblems.com/871） 数论，加法基 被反驳 Paul Erdős, Melvyn B. Nathanson Claude Opus 4.5, Gemini 3 Pro 2026-01-05 38年 — Lean验证 Erdős问题 #897（https://www.erdosproblems.com/897） 数论 被反驳 Paul Erdős Archivara, Aristotle 2025-12-26 53年 — Lean验证 Erdős问题 #333（https://www.erdosproblems.com/333） 数论，加法基 被反驳 P. Erdős, R. Graham Claude Opus 4.5, GPT-5.2 Pro 2025-12-25 45年 371 Lean验证 Erdős问题 #1026——单调子序列和（https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/） 组合学 被证明 Paul Erdős Aristotle，GPT、Gemini和AlphaEvolve也参与贡献 2025-12-08 54年 — 专家验证 Erdős问题 #848（https://www.erdosproblems.com/848） 数论 已解决 Paul Erdős GPT-5 2025-11-20 33年 — 网站确认