https://maweis.com/Ma Wei（Max）的个人博客，自 2007 年开始的随手记录 —— 软件、代码、摄影、生活，以及现在的 AI-Native Engineering。 2026-07-27T15:46:08+08:00 Max (Ma Wei) https://maweis.com/ Jekyll © 2026 Max (Ma Wei) /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png 2026-07-27T09:00:00+08:00 2026-07-27T09:00:00+08:00 https://maweis.com/posts/math-ai-weekly-06/ Max (Ma Wei)

第 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-07-25T20:00:00+08:00 2026-07-25T20:00:00+08:00 https://maweis.com/posts/higashino-keigo/ Max (Ma Wei)

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

2026-07-25T09:00:00+08:00 2026-07-25T09:00:00+08:00 https://maweis.com/posts/the-inverted-switch/ Max (Ma Wei)

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

2026-07-20T09:00:00+08:00 2026-07-20T09:00:00+08:00 https://maweis.com/posts/math-ai-weekly-05/ Max (Ma Wei)

第 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 个长期公开问题。

2026-07-17T14:00:00+08:00 2026-07-17T14:00:00+08:00 https://maweis.com/posts/gaokao-matching/ Max (Ma Wei)

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