两年苦研对撞 88 小时:西班牙数学家称没有他们的想法 AI 解不开猜想
stevenstrogatz · x · 2026-09-10
西班牙《国家报》长文报道:数学家 Diego Córdoba 与 Luis Martínez-Zoroa 研究多年的猜想被 OpenAI 模型在约 88 小时内解决,当事人处于震撼之中,周日清晨接连收到邮件提醒才得知消息。
- 核心争议:两位数学家强调「没有我们的想法,AI 不会解决它」——AI 是在其方法基础上完成关键构造,是他们数年「点滴积累」工作的延伸。
- Córdoba 承认无法确定没有 AI 还需多久,「可能永远到不了那一步」。
- Buckmaster 团队公开表示自己「没有做出任何数学贡献」,只是用 AI 实现了 Córdoba 与 Martínez-Zoroa 的方法,并呼吁将菲尔兹奖级别的荣誉授予 Martínez-Zoroa。
- 报道还提及 OpenAI 相关投入(€1500 万)引发关注;Córdoba 对数学界认可其工作表示「高兴」。
这是「人类数学直觉 + AI 算力」协作与荣誉归属争议的标志性案例。
所属事件:AI 数月内从产出垃圾到 88 小时破解数年猜想(2 条相关)→
「研究」频道最新
- Ego-Exo 4D 数据集被点名为 4D 理解的关键缺口方案 — ducha_aiki · 2026-09-10
- Lean 推出外部验证器 con-leche,在 Lean 内证明自身一致性 — AlexKontorovich · 2026-09-10
- Kristen Grauman 登 ECCV 2026,谈机器感知到人类专长的演进 — ducha_aiki · 2026-09-10
- 深度估计项目 ZipDepth 现身 ECCV 2026 海报 386，现场实时生成深度图 — AntonObukhov1 · 2026-09-10
- EgoPHI 技术细节:图注意力融合 3D 几何,逐顶点预测接触与力方向 — cholz · 2026-09-10
- 新论文：利用群作用与对称性让 Ising 模型马尔可夫链混合提速 — michaelchchoi · 2026-09-10