OpenAI 分享 AI 模型在 First Proof 数学挑战赛中的证明尝试，测试研究级推理能力

OpenAI 公布 AI 模型参加 First Proof 数学挑战赛的证明提交结果，测试其在专家级数学难题上的研究级推理表现。该批提交是 OpenAI 首次对外展示其模型在该挑战赛中的证明尝试，旨在评估模型在高端推理任务中的能力边界。