2000 年数学家断言七大难题「计算机完全无法企及」,如今看耐人寻味
minilek · x · 2026-09-09
作者翻出 2000 年 Nature 报道中的引语:数学家 Alain Connes 谈千禧年大奖难题的设立动机时称,这些由顶尖专家遴选的七大问题「对计算机完全 inaccessible」,旨在重塑公众与学生对数学的兴趣,而非决定数学方向。作者以「Computers have come a long way.」收尾,暗指 25 年后 AI 在数学证明上的进展让这段断言颇具反差意味。
「漫话AGI」频道最新
- Gary Marcus 批前沿实验室:九成暴富对赌全员覆灭风险 — GaryMarcus · 2026-09-09
- Jasmine Sun 剖析:坚信 10% 灭绝风险,为何仍留在 AI 实验室 — sebkrier · 2026-09-09
- Dwarkesh 建言:现在创办的机构可能成为 AI 时代的社会默认制度 — luke_drago_ · 2026-09-09
- 博主预言:2026 年百万智能体将攻克癌症与衰老 — Dr_Singularity · 2026-09-09
- AI 可能先于人类攻克癌症,网友哀叹「人类失去夺回荣誉的机会」 — flowersslop · 2026-09-09
- Anthropic 研究员 Evan Hubinger：十年内 AI 灭绝人类概率超 10% — AaronBergman18 · 2026-09-09