第 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 篇。

孪生素数猜想困扰了数学界一百多年，谁也证不出来。一个北大毕业却漂泊半生、送过外卖、当过三明治店会计的数学博士张益唐，58 岁那年用一篇论文，第一次把这扇门推开了一条缝。

ICM 2026 官网前端疑似泄露了菲尔兹奖名单，王虹、邓煜在列，官方要到 7 月 23 日才公布。一根针难倒数学界 108 年，破解它的桂林姑娘王虹是谁，为什么这一次对中国数学格外重要。

第 04 期：陶哲轩让 AI 编程智能体把自己 1999 年写的 Java 小程序搬到网页，顺手挑出两个他没发现的 bug，并亲口划出"视觉辅助"与"数学论证核心"的边界；第三届 AI for Math 工作坊在首尔 ICML 举行，投稿量较去年翻倍；IMO 2026 上海本周开幕，7 月 15—16 日笔试，AI 阵营的表态成为悬念。

质数看起来杂乱无章，却守护着你每天的网上支付。有人在这片混乱里，用一个叫黎曼 ζ 的函数，听出了藏得极深的秩序，也留下了一道悬了一百多年、悬赏一百万美元的难题。