NewsOpenAI 宣布前沿模型与研究型 Agent 成功协助数学家攻克了高难度数学证明，在纯理论数学推理领域取得关键突破September 26, 20261 min readSource: Telegram AI频道OpenAI 宣布前沿模型与研究型 Agent 成功协助数学家攻克了高难度数学证明，在纯理论数学推理领域取得关键突破。这标志着模型能力正在从代码与日常文本辅助，向更深层次的复杂科研探索延伸。