OpenAI Blog精选65我们的 First Proof 提交Our First Proof submissions2026/02/20 22:30· 235天前精选理由展示AI在高难数学证明上的研究级推理能力AI 摘要我们分享我们的 AI 模型针对 First Proof 数学挑战的证明尝试,以测试在专家级问题上的研究级推理能力。模型发布模型发布查看原文(OpenAI Blog)分享海报(1080px)导出 Markdown