AI 行业资讯 - TCSExam

精选姚期智团队联合杨植麟发布TCSExam：大模型定理证明成功率最高70%

11月9日，姚期智团队联合杨植麟发表论文，推出TCSExam评测体系，对九个前沿大模型进行理论计算机科学测试。结果显示GPT-6 Astra在定理证明类成功率70%，Kimi K3在构造类超越人类记录，但开放猜想类仅6次提交被接受且均来自网络检索。