GPT-5.5 Pro 解决七年数学难题
OpenAI 的 GPT-5.5 Pro 在数学推理能力上再进一步——它生成了一个数学证明，成功解决了计算几何领域一个困扰学界七年的核心难题。
陈立杰的七年
这个问题的提出者是著名计算机科学家 陈立杰（AtCoder Legendary Grandmaster）。他花了七年时间苦思冥想这个计算几何问题，但一直未能找到完整的证明方案。
钥匙竟是自己参与的工作
最具戏剧性的是，GPT-5.5 Pro 解决问题的关键技术来自 OpenAI 上个月的另一项突破。而陈立杰发现，最初推进这个方向的关键工作，竟是他自己参与的研究。
这意味着 AI 在数学推理上展现出了超越人类记忆和联想能力的潜力——它能在大规模知识库中找到人类自己都没想到的交叉关联。
意义深远
计算机科学界认为，这是 LLM 在数学研究领域从”辅助工具”迈向”合作者”的重要里程碑。AI 不再仅仅是验证人类已有思路的工具，而是可以独立提出创新性证明方案的伙伴。
来源：AITNT News