研究者晒一年前对 AI 攻克千禧年大奖难题的预测：基本应验
herbiebradley · x · 2026-09-09
AI 研究者 Herbie Bradley 晒出自己约 12 个月前对「千禧年大奖难题被 AI 解决」时间点的预测，称预测结果「aging pretty well」。他自我反思：当时对非形式化方法（non-formal approaches）的判断应该更乐观一些，暗示 AI 以非传统数学证明方式取得进展的速度超出其预期。
「漫话AGI」频道最新
- Erik Hoel：AI 让智力工作沦为黑暗森林，成果只见雕塑不见协作 — erikphoel · 2026-09-09
- 代码生成已被解决，软件工程还没有：代码从来不是瓶颈 — _jaydeepkarale · 2026-09-09
- GPT-6 Astra 系统卡引争议：自称“全球最对齐”遭对齐圈质疑 — TheZvi · 2026-09-09
- 澳大利亚拟允许用户退出算法推荐,博主呼吁同样控制 AI 个性化 — VraserX · 2026-09-09
- Nathan Lambert:AI 革命尚在早期,普通人为何还感受不到影响 — natolambert · 2026-09-09
- dhh 犀利点评：睁大眼睛看，AGI 其实已无处不在 — Dan_Jeffries1 · 2026-09-09