研究人员,包括图灵奖得主姚期智和“月之暗面”创始人杨植麟,开发了一个名为TCSExam的新评估系统,以评估AI在真正数学研究中的能力。该系统测试AI在100个理论计算机科学任务上的表现,例如证明定理和构建数学对象,超越了简单的解决问题。早期结果显示,GPT-6 Astra完成了20个研究级定理中的14个,并将一个有限域矩阵猜想从8维推进到9维,展示了AI在科学发现中的潜力。 AI
影响 这一新的评估系统有望加速AI在理论计算机科学和高等数学研究中做出贡献的能力。
排序理由 该集群描述了一个用于AI在数学研究中的新评估系统,并展示了AI在理论计算机科学任务上的基准测试结果。[lever_c_demoted from research: ic=1 ai=1.0]
- Andrew Yao
- arXiv
- Chinese Academy of Sciences
- GPT -6 Astra
- Institute for Interdisciplinary Information Sciences
- Kimi k3
- TCSExam
- Tsinghua University
- Turing Award
- Yang Zhilin
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →