论文研究普通
清华与 Moonshot AI 发布 TCSExam 基准:GPT-6 Astra 证明 70.0% 研究级定理但解不开任何公开猜想
原始标题:New Tsinghua and Moonshot AI paper finds that GPT-6 Astra proves 70.0% of research-level computer science theorems in Lean, yet the same ...
内容摘要
清华与 Moonshot AI 等机构发布 TCSExam 基准,用 100 道专家评审任务评估 LLM 在理论计算机研究全谱系的能力,涵盖 Lean 定理证明、求解器工程、构造纪录和 30 个公开猜想,所有提交由 Lean 内核或任务检查器验证。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:Rohan Paul (@rohanpaul_ai)
站内情报编号intel-c07f9fb9bce3a2c21818116a