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

OpenAI 分享 First Proof 数学挑战赛证明尝试

Our First Proof submissions

AI 导读

OpenAI 公布了其 AI 模型针对 First Proof 数学挑战赛的证明尝试。该挑战旨在专家级数学难题上测试模型的研究级推理能力。

来源：OpenAI · openai.com

#评测/基准 #推理 #OpenAI