理所当然也能错，数学界震动：「上下铺猜想」被证伪
💡
原文中文，约4400字，阅读约需11分钟。
📝
内容提要
数学家们推翻了双层床猜想，证明在某些图中，从下铺到上铺的路径概率并不总是更高。这一结果挑战了数学直觉，强调了质疑假设的重要性，并引发了对数学证明本质的讨论。
🎯
关键要点
- 数学家们推翻了双层床猜想，证明从下铺到上铺的路径概率并不总是更高。
- 这一结果挑战了数学直觉，强调了质疑假设的重要性。
- 双层床猜想是关于在图中导航的概率假设，最初由物理学家 Pieter Kasteleyn 提出。
- 数学家们长期以来认为双层床猜想是正确的，但缺乏证明。
- 加州大学洛杉矶分校的 Igor Pak 对该猜想持怀疑态度，并鼓励质疑传统假设。
- 研究团队使用计算机和人工智能方法寻找反例，但最终转向理论证明。
- 剑桥大学的 Lawrence Hollom 找到了一个相关猜想的反例，帮助团队推翻了双层床猜想。
- 研究结果显示，数学家需要保持怀疑态度，不应将任何事情视为理所当然。
- 随着计算机和 AI 方法在数学研究中的使用，数学证明的本质需要重新讨论。
- Pak 建议创建专门的期刊来发表概率证明，以引发数学界的讨论。
➡️
