跳到正文
原文
OpenAI News·· 2026-02-20AI 评分30

OpenAI 提交首个 Proof 数学挑战证明尝试

Our First Proof submissions

AI 导读

OpenAI 分享了其 AI 模型在 First Proof 数学挑战中的证明尝试,旨在测试研究级推理能力以解决专家级问题。

来源:OpenAI News · openai.com