陶哲轩评 OpenAI 证明：问题其实存在小规模有限反例
tak3sh8 · x · 2026-09-09
陶哲轩转推评论该数学问题：实际上存在一个相对小的有限反例。但他指出，如果这个反例先被发现，人们可能就不会找到更有趣的证明方法。这是对 OpenAI 千禧年难题证明事件的权威第一手回应。
「研究」频道最新
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09
- Astra 自研国际象棋战术引擎文档曝光，可强制或阻止特定结果 — MikePFrank · 2026-09-09
- Anshul Kundaje：基因组学正处于技术突破的黄金期 — anshulkundaje · 2026-09-09
- 斯坦福 Kundaje:ML for Bio 领域该改革同行评议评价体系了 — anshulkundaje · 2026-09-09
- JASPAR 2026 发布大幅扩充,将与 DeepMind 合作统一 DNA motif 库 — anshulkundaje · 2026-09-09