AICSO.AI汇总·· 7 小时前推荐指数66
姚期智与杨植麟团队提出 TCSExam，Kimi K3 刷新图论构造参考纪录
姚期智杨植麟首次联手给 AI 出博士级题目，Kimi K3 多画出一条边刷新图论参考纪录
AI 导读
姚期智与杨植麟等人联合提出 TCSExam，用 100 项理论计算机科学任务评测前沿 AI Agent 的科研能力，覆盖定理证明、Solver 工程、数学构造和开放猜想四条轨道。
来源：AICSO.AI汇总 · leiphone.com
姚期智与杨植麟团队提出 TCSExam，Kimi K3 刷新图论构造参考纪录