OpenAI 公布 AI 模型在 First Proof 数学挑战中的证明尝试

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