搜索
OpenAI宣布其内部多智能体系统完成千禧年大奖难题之一纳维尔斯托克斯方程存在性与光滑性问题的解答并公开论文及Lean形式化证明，研究员陈立杰称这是"不可思议的时代"，但成果引发与纽约大学流体力学专家Tristan Buckmaster之间关于研究优先权与过程透明度的争议。
GPT-5.5 Pro 生成了一个数学证明，解决了计算几何中一个 陈立杰苦思 7 年未解的核心难题。关键技术来自 OpenAI 上月的另一项突破，而最初推进这个问题的陈立杰发现，钥匙竟是自己参与的工作。
继清华姚班陈立杰之后，OpenAI又迎来一位重量级华人学者：北大数院「黄金二代」苏炜杰。今年，他刚刚摘下有「统计学诺奖」之称的COPSS Presidents' Award。
OpenAI宣布AI首次自主攻克顶级数学开放问题，连证明思路都让数学家意想不到！这个问题叫做平面单位距离问题，由匈牙利数学家保罗·Erdős在1946年首次提出。看视频（视频有亮点，曾经的清华本科特将获得者陈立杰是这个突破的的研究人员）
最新消息：姚班大神陈立杰，加盟OpenAI了。
姚班大神陈立杰最新去向现已明朗：2025年秋季起，任加州大学伯克利分校EECS助理教授。