刚刚，姚班传奇陈立杰苦思7年的计算几何核心难题，被ChatGPT推翻了

新智元报道 GPT-5.5 Pro 生成了一个数学证明，解决了计算几何中一个陈立杰苦思 7 年未解的核心难题。关键技术来自 OpenAI 上月的另一项突破，而最初推进这个问题的陈立杰发现，钥匙竟是自己参与的工作。 6 月 24 日，arXiv 上出现了一篇论文：UCSD 三位研究者 Barna Sa

本文链接