姚期智与杨植麟联合提出 TCSExam，Kimi K3 将图论参考纪录从 629 条边推进到 630 条

姚期智与月之暗面创始人杨植麟等联合提出 TCSExam，用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录，并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导，避免把局部进展误判为完整成果。