GPT-5.5 Pro 生成数学证明，推翻陈立杰苦思七年计算几何难题
GPT-5.5 Pro 协助数学家完成为期七年的难题证明，并揭示代数数论技巧可跨领域应用。
UCSD 研究者使用 GPT-5.5 Pro 生成了一篇数学证明，解决了一个陈立杰七年未决的计算几何核心难题。该证明显示，在超常数维度下，“最远点对”问题需要近平方时间，其关键技术源于 OpenAI 上个月在另一个猜想中的突破。
正文摘录
 新智元报道  【新智元导读】 GPT-5.5 Pro 生成了一个数学证明，解决了计算几何中一个 陈立杰苦思 7 年未解的核心难题。关键技术来自 OpenAI 上月的另一项突破，而最初推进这个问题的陈立杰发现，钥匙竟是自己参与的工作。 6 月 24 日，arXiv 上出现了一篇论文：UCSD 三位研究者 Barna Saha、Yinzhan Xu 和 Christopher Ye 证明，「最远点对」等经典计算几何问题，在任意超常数维度下需要近平方时间。  https://arxiv.org/pdf/2606.25887 论文声明，初始证明由 GPT-5.5 Pro 生成。 给 AI 的 Prompt 只有两句话，大意就是「试试用这个证明思路去改进那个已知结果」，附上两篇论文链接。 这个问题 7 年前由陈立杰首次推进到接近极限，而补上最后一块拼图的关键技术，恰好来自他自己上个月在 OpenAI 参与的另一项工作。