在 Podli 应用中收听 🎧
关注你喜爱的播客，离线收听，在车内通过 CarPlay 和 Android Auto 播放，并始终从上次停下的地方继续。免费试用。
探讨了 人工智能在数学研究领域引发的剧烈变革。文中指出，AI 仅在数周内便攻克了多项困扰人类数十年的数学难题与著名猜想，其中包括雅可比猜想和黎曼猜想的重大进展。这种前所未有的突破速度令顶尖数学家感到不安，甚至引发了对学科传统价值体系的深刻危机感。从资深学者到业余爱好者，越来越多的人开始利用大语言模型推翻旧有结论或构建复杂的形式化证明。通过记录这些里程碑式的事件，作者向观众展示了 AI 如何从辅助工具演变为重塑基础科学的核心力量
