苦研 Barnette 猜想 24 年,他听闻 AI 解出后百感交集
Simon Willison · rss · 2026-10-07
Jake Boggan 在 HN 上回忆:年轻时为研究图论搬到布达佩斯,此后 24 年断续投入 Barnette 猜想,去年夏天还一度以为自己解出来了。得知 OpenAI 发布的论文中问题 180 已「被证明」,他写下复杂心情——「就像听说前女友突然车祸去世」,并推测今晚很多人都有同样的异样感受。这是 AI 数学成果对个体数学家情感冲击的鲜活注脚。
「漫话AGI」频道最新
- AGI 不等于『很聪明的 AI』:数学超人但替代不了会计就算不上 AGI — burny_tech · 2026-10-07
- LLM 五年内从算错乘法到改进乘法算法本身,突破 n log n 下界 — CatAstro_Piyush · 2026-10-07
- Chollet 被追问:智能只能在特定任务域内可操作化定义 — burny_tech · 2026-10-07
- 回归旧 AGI 定义？网友主张开发者应为 AI 行为担责 — Eissa_Cozorav · 2026-10-07
- 普林斯顿研究员：OpenAI 对数学的冲击将在 6-18 个月内降临编程领域 — brianryhuang · 2026-10-07
- 理性主义圈 P(Doom) 集体思维正塑造其反常行为方式 — teortaxesTex · 2026-10-07