姚期智与杨植麟联合提出 TCSExam 评测 AI 科研能力

姚期智与杨植麟等人联合研究提出 TCSExam，用 100 项理论计算机科学科研任务测试前沿 AI Agent 能否证明定理、开发 Solver、构造数学对象乃至挑战长期未解决的猜想，论文地址为 arxiv.org/pdf/2611.07962v1。