标签 > 姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？

图灵奖得主姚期智与月之暗面创始人杨植麟联合署名论文正式发布，论文推出全新评测基准 TCSExam，一次性对 9 个前沿大模型开展理论计算机