OpenAI News·· 2026-02-20AI 评分37
OpenAI 公布 First Proof 数学挑战赛的 AI 证明提交
Our First Proof submissions
AI 导读
OpenAI 公开了其 AI 模型在 First Proof 数学挑战赛中的证明尝试，用于测试模型在专家级问题上的研究级推理能力。
来源：OpenAI News · openai.com
OpenAI 公布 First Proof 数学挑战赛的 AI 证明提交
Our First Proof submissions
OpenAI 公开了其 AI 模型在 First Proof 数学挑战赛中的证明尝试，用于测试模型在专家级问题上的研究级推理能力。
来源：OpenAI News · openai.com