OpenAI称前沿模型协助数学家攻克高难度证明

OpenAI宣布，其前沿模型与研究型Agent成功协助数学家攻克高难度数学证明，并在纯理论数学推理领域取得突破。此举显示，模型应用正从代码和日常文本辅助延伸至复杂科研探索。