OpenAI News·2026-02-20 22:30· 2026-02-20AI 评分36

OpenAI 公布 First Proof 数学挑战赛的 AI 证明提交

Our First Proof submissions

AI 导读

OpenAI 分享了其 AI 模型在 First Proof 数学挑战赛中的证明尝试，该挑战用于测试模型在专家级问题上的研究级推理能力。

来源：OpenAI News · openai.com

#论文/研究 #推理 #OpenAI