OpenAI 通用推理模型证明数学难题，AI 数学能力里程碑

OpenAI 宣布其通用推理模型成功证明了一个数学难题，该模型并非专门为数学问题设计，而是具备广泛推理能力。这一成果被视为数学和 AI 社区的重要里程碑，展示了通用 AI 在复杂推理任务上的潜力。该证明由通用模型完成，而非针对特定问题优化的系统，凸显了 AI 推理能力的泛化性。