OpenAI Blog精选65

我们的 First Proof 提交

Our First Proof submissions

· 235天前

精选理由

展示AI在高难数学证明上的研究级推理能力

AI 摘要

我们分享我们的 AI 模型针对 First Proof 数学挑战的证明尝试,以测试在专家级问题上的研究级推理能力。

查看原文(OpenAI Blog)