姚期智杨植麟联合发布论文,测试显示 30 道数学世界难题没有 AI 能够独立攻破

姚期智与杨植麟首次合作发表论文,搭建了 TCSExam 评测基准,用来检验当下前沿大模型在理论计算机科研场景下的真实能力,测试结果很明确