刚刚,姚班传奇陈立杰苦思7年的计算几何核心难题,被ChatGPT推翻了
刚刚,姚班传奇陈立杰苦思7年的计算几何核心难题,被ChatGPT推翻了GPT-5.5 Pro 生成了一个数学证明,解决了计算几何中一个 陈立杰苦思 7 年未解的核心难题。关键技术来自 OpenAI 上月的另一项突破,而最初推进这个问题的陈立杰发现,钥匙竟是自己参与的工作。
来自主题: AI资讯
5573 点击 2026-06-29 15:57
搜索
GPT-5.5 Pro 生成了一个数学证明,解决了计算几何中一个 陈立杰苦思 7 年未解的核心难题。关键技术来自 OpenAI 上月的另一项突破,而最初推进这个问题的陈立杰发现,钥匙竟是自己参与的工作。
继清华姚班陈立杰之后,OpenAI又迎来一位重量级华人学者:北大数院「黄金二代」苏炜杰。今年,他刚刚摘下有「统计学诺奖」之称的COPSS Presidents' Award。
OpenAI宣布AI首次自主攻克顶级数学开放问题,连证明思路都让数学家意想不到!这个问题叫做平面单位距离问题,由匈牙利数学家保罗·Erdős在1946年首次提出。看视频(视频有亮点,曾经的清华本科特将获得者陈立杰是这个突破的的研究人员)
最新消息:姚班大神陈立杰,加盟OpenAI了。
姚班大神陈立杰最新去向现已明朗:2025年秋季起,任加州大学伯克利分校EECS助理教授。