|
|
背景：2026 年 5 月以来，AI 在数学开放问题上接连取得进展，最近一周（7 月 20 日起）进入密集爆发期。先把事实摆在这里。截至 2026-07-24，以下结果均未经正式同行评议，验证状态逐条标注。
5 月：开端
5 月 20 日：OpenAI 披露其内部通用推理模型证伪了 Erdős 单位距离猜想（悬置约 80 年），Timothy Gowers 盛赞其水准；人类数学家随后跟进改进。
5 月 21 日：Google DeepMind 的 AlphaProof Nexus 一次性解决 9 道 Erdős 公开问题，其中 2 道悬置 56 年。
7 月 10—22 日：第一波
7 月10—11日：OpenAI 研究员 Ethan Knight 宣称 GPT-5.6 Sol Ultra 以 64 个子代理、一小时内给出圈双覆盖猜想（悬置约 50 年）的证明。虽尚未经过正式期刊同行评议，但已有多位图论专家公开检查、重写和讲解。
7 月 20 日： 应 Akhil Mathew 的建议，Anthropic 数学家Levent Alpöge 使用 Claude Fable 5 寻找经典雅可比猜想的反例。，找到三维及以上的反例（Jacobian 行列式恒为 −2，且三点共像）。数小时内被多人用 SymPy/Wolfram Alpha 独立复核成立，OpenAI 的 Aaron Lou 亦用内部 Codex 独立推出同类构造。二维情形仍开放，Alpöge 本人强调未经同行评议。
7 月 19—20 日：宾大统计学家 Edgar Dobriban 用 GPT-5.6 Sol Pro 解决 Benjamini–Hochberg 程序 FDR 控制的遗留问题，90 分钟完成此前用 GPT-5.5 迭代 20 小时未竟的工作；OpenAI 总裁 Brockman 转发称"数学突破的水源时刻到来"。
7 月 22 日：独立研究者 Dmitry Rybin 用 GPT-5.6 Pro 经四轮对话构造出 Dinitz–Garg–Goemans 猜想（悬置约 30 年）的反例（7 节点图，分数最优 58 < 不可分流 60）。结构简单、可脚本验证，截至 7 月 24 日尚待领域专家正式确认。
7 月 23—24 日：第二波（量产与模仿）
Cognition 的 Jared Zoneraich 称 Devin 一天内破解三题：反驳 Graffiti 猜想 154（约 40 年）、证明 Graffiti 猜想 39 与 40（约 40 年）、反驳 West 开放问题列表中 Brandt 的正则超图问题（约 20 年）。其方法是"把此前的推文给 Devin 看，让它找类似问题并破解"，并宣称"闸门已开"。
https://x.com/imjaredz/status/2080088341262033273?s=20
Rivka Lipkovitz 用无任何领域引导的通用提示词（"找一个既无证明也无反例的著名猜想并给出新反例"），agent 运行 86 分钟找到 Graffiti 猜想 284 的反例（Hoffman–Singleton 图）。次日 xAI 宣布其基于 Grok 4.5 的 Capy agent 用不到 10 分钟找到同一个反例——同一猜想 24 小时内撞车，Musk 亲自转发。
https://x.com/rivkalipko/status/2080165719661015271?s=20
Matty Hempstead 自称"不关心图论"，让 ChatGPT 5.6 Pro 自选开放猜想找反例，睡了一觉后得到 WOWII 猜想 91 的反例（悬置约 22 年）。
https://x.com/mattyhempstead/status/2080249051799588979?s=20
Anirudh Chakravarthy（自述无数学背景）用 GPT-5.6 Sol Pro 解决两个组合问题：McKee 猜想为假、(9,6,1)-完美 Mendelsohn 设计不存在，并附技术报告。
https://x.com/anirudhchak/status/2080338128922108085?s=20
|
|
发表于 