学者批 AI 公司数学竞赛式攻关：无人理解的证明不算真进展
anshulkundaje · x · 2026-09-13
斯坦福教授 Anshul Kundaje 表示，AI 理应用来加速人类对未解数学问题的理解，且有清晰路径可循——但不是当前 AI 公司的做法，尤其针对近期「千禧年大奖」事件的营销操作。
他的核心论点：即使 AI 一天内自主证明了数百万条定理，如果没有人能理解、人类丧失理解能力，这对智力探索毫无意义，许多智力事业皆然。
所属事件:斯坦福教授：AI 时代领域专业知识反而更稀缺更重要(2 条相关)→
「漫话AGI」频道最新
- 实验室该国有化吗？AI 圈激辩 IPO 替代方案 — MatthewBerman · 2026-09-13
- 英国 7 月 GDP 超预期增长 0.4%,编程与信息服务成主要推手 — krishnan · 2026-09-13
- AI 接管机械执行后，人类回归思考与欣赏定理之美 — deepakns · 2026-09-13
- 「数周到数月内」不懂编程也能像开车一样写应用 — deepakns · 2026-09-13
- 教授长文：AI 快速执行把时间还给大学的「脑力训练」 — deepakns · 2026-09-13
- Dario Amodei:AI 技术仍在指数增长,看不到墙 — kimmonismus · 2026-09-13