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

第 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 年，破解它的桂林姑娘王虹是谁，为什么这一次对中国数学格外重要。