第 06 期：Anthropic 数论学家 Levent Alpöge 用 Claude Fable 5 找到反例，推翻了悬置 87 年的雅可比猜想（n≥3 情形），当晚就被 Lean 形式化核验，OpenAI 内部模型据称也独立找到了同一个反例；IMO 2026 官方判卷结果揭晓，华为"Celia"与小红书 "dots-note-3.0"双双拿到 42/42 满分，是 AI 首次在官方评分流程下追平人类最高分；国际数学家大会（ICM 2026）在费城开幕，陶哲轩发表公开演讲 「AI 时代的数学」，呼吁把声望分配给核验与消化结果的人，而不只是生成结果的人。

2026 年 7 月 23 日，东野圭吾走了，享年 68。他是工程师出身，写过一个数学天才，一生都在用最精密的逻辑，讲同一件事：再严密的推理，最后都要在人心面前停下来。

买菜挑上半天，买股票却听一句消息就冲。这不是人人如此的铁律，而是未经训练的大脑的默认倾向。从数学、生理、进化到社会学，拆开这个装反了的开关，再看看怎么把它扳回来。

第 05 期：OpenAI 称 GPT-5.6 Sol Ultra 用 64 个子智能体一小时内"证明"了悬而未决 50 年的循环双覆盖猜想，十天过去仍无人正式核验；宾大统计学者 Edgar Dobriban 用 GPT-5.6 Sol Pro 90 分钟推翻 Benjamini-Hochberg 方法 30 年来的一个假设，并亲自核验、给出机器可验证证书；IMO 2026 上海笔试结束，AI 阵营的官方表态仍是悬念；中国科学院数学与系统科学研究院发布数学研究智能体 MMAT，攻克 8 个长期公开问题。

七月填志愿，一家人对着一张表，怕高分掉档，怕好学校擦肩。你以为这是你一个人的豪赌。其实这道"怎么把人公平地分到有限位置上"的题，有人早就解过，还拿了诺贝尔奖。文中所有机制与史实均附出处。

午后读木心，读着读着出了声。妻笑我像有阅读障碍。我想了很久：同一个出声，可以是能力的顶，也可以是能力的拐，从外面看一模一样。

过去两百多年，我们努力把人变成一种更高效的昆虫，还叫它进步。如今 AI 蚁群到来，它比任何人都更擅长做一只蚂蚁。当机器接管了所有的"怎么做"，一个人，还剩下什么。

眼前这个人，是不是对的那一个。再等等，会不会有更好的。此刻松手，是不是一生错过。你把它叫缘分，其实是不敢算。可这道题，早有人算过了，算得清清楚楚。

Transformer、CNN、GNN、LSTM，每个名词背后都是一篇难懂的论文，好像 AI 是一堆互不相干的黑魔法。可 MIT 这门《How to AI Almost Anything》的第三讲，用一个统一的框架把它们全讲成了同一件事。听懂了，你会发现它们其实没那么玄。

费马在一本书的页边写下一句话就走了，害得整个数学界找了 358 年。而真正终结这道题的人，早在 10 岁那年就发过誓。这是「算得出 ≠ 证得了」系列的第 4 篇。