姚期智、杨植麟首次联合提出TCSExam评测，Kimi K3以630边超图论构造纪录1条
据雷锋网 11 月 12 日报道，图灵奖得主、清华大学交叉信息研究院院长姚期智与月之暗面创始人杨植麟等人首次联合研究，提出名为 TCSExam 的评测系统，用 100 项理论计算机科学科研任务测试前沿 AI Agent 能否证明定理、开发求解器、构造数学对象，文章附有 arXiv 论文链接（arxiv.org/pdf/2611.07962v1）。报道中最受关注的结果是：在一项给 124 个点连线、不允许出现三角形和四边形的图论构造任务上，此前参考纪录为 629 条边，Kimi K3 构造出 630 条边并通过程序验证，即比纪录多 1 条。文中还称 GPT-6 Astra 完成了 20 项研究级定理中的 14 项，并将一个有限域矩阵猜想在特定条件下的已知证明范围从 8 维推进到 9 维。需要说明的是，这些说法目前仅来自该媒体的转述，标题带有「数学界等了这么多年」等宣传性修辞，结果的实际分量仍需对照论文原文与独立验证。
rss · 雷锋网 · 11月12日 09:09
「为何现在值得关注」 姚期智与杨植麟首次联合署名，以及这套以「AI 能否做数学研究而不只是做题」为目标的评测框架本身，是当下新鲜、可追踪的信息点。至于报道所称的「629 到 630 条边」，即便属实也只是增量改进，目前尚未见到独立复核。
「可做角度」 可做角度：把这条新闻当作「如何读 AI 数学报道」的样本，逐项拆开可核验的细节——124 个点、629 到 630 条边的构造、「程序验证」到底验证了什么——再对照文中给出的 arXiv 论文原文，区分宣传修辞与已证实结果，而不是直接复述「AI 攻克数学」的叙事。
做AI项目，先看AI雷达 - AiRadar.com.cn · 全部AI快讯 →