OpenAI 公布其模型对 First Proof 数学挑战的首批证明尝试
Our First Proof submissions
评分 57
导读
OpenAI 分享其 AI 模型对 First Proof 数学挑战提交的证明尝试，用专家级问题来测试研究级的推理能力。
推荐理由
它公开模型对专家级数学猜想的证明尝试，把研究级推理放到一个可检验的题目集上，关注模型推理上限的读者能看到具体表现。
主体与标签
openai#评测/基准#推理#论文/研究
正文
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.