Minhyong Kim 认为 AI 或将扩展计算能力并催生新数学理论
burny_tech · x · 2026-07-25
Minhyong Kim 在 2026 年 Abel Prize Lecture 里提出,AI 可能不只是帮忙做常规计算,而是增强人类的计算能力,并进一步帮助发现新的数学理论。
帖子用 Paul Erdős 过去那句“数学还没准备好面对这类问题”作对照,强调数学研究可能正在进入一个新阶段:借助“增强计算”,人类有机会触及更深层、非线性、甚至非阿贝尔结构的新数学。
「漫话AGI」频道最新
- Mark Cuban 认为人形机器人 5 到 10 年内会失败 — rohanpaul_ai · 2026-07-25
- AI形式化证明的盲区:自然语言与Lean的语义对齐 — AlexKontorovich · 2026-07-25
- AI 证明争议猜想,反而让更多人关注数学 — burny_tech · 2026-07-25
- YC 称更便宜传感器与基础模型将解锁物理世界数据 — Y Combinator · 2026-07-25
- OpenAI 被认为有望靠三条 AI 主线冲击万亿估值 — signulll · 2026-07-25
- AI 可能像安息日电梯一样,把责任悄悄从人类身上移走 — lpachter · 2026-07-25