新闻OpenAI 宣布前沿模型与研究型 Agent 成功协助数学家攻克了高难度数学证明，在纯理论数学推理领域取得关键突破2026年9月26日1 分钟阅读来源：Telegram AI频道OpenAI 宣布前沿模型与研究型 Agent 成功协助数学家攻克了高难度数学证明，在纯理论数学推理领域取得关键突破。这标志着模型能力正在从代码与日常文本辅助，向更深层次的复杂科研探索延伸。