姚期智与杨植麟联合提出 TCSExam，Kimi K3 将图论参考纪录从 629 条边推进到 630 条
姚期智与月之暗面创始人杨植麟等联合提出 TCSExam，用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录，并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导，避免把局部进展误判为完整成果。
#评测基准
雷峰网AI 评分6060
量子位精选AI 评分6262 实测字节Seedream 5.5：100轮连续图像编辑与多图合成表现
量子位在豆包中实测字节 Seedream 5.5，用100轮连续编辑任务对比 GPT-Image 2.6，后者约第10轮起出现明显畸变，Seedream 5.5 后期虽有畸变但保真度更高。
推荐理由：作者用100轮连续编辑、多图合成、图层拆分等实测，对比Seedream 5.5与GPT-Image 2.6的稳定性差异。