跳到正文
原文
AGI Hunt· littmath·· 3 小时前AI 评分60

First Proof 第三批结果：顶级数学家出题实测各 AI 证明系统

First Proof 第三批结果:顶级数学家出题实测各 AI 证明系统

AI 导读

First Proof 项目发布第三批评测报告，用 10 道研究级数学题评估 AI 系统解决真实科研数学问题的能力，评分涵盖数学正确性、表述质量与引用规范。

来源：AGI Hunt · agihunt.info

#评测/基准#推理#OpenAI#Anthropic