UCLA、MIT数学家推翻39年经典数学猜想！AI证明卡在99.99%，人类最终证伪

主要观点总结

本文报道了关于数学界一项重大突破的新闻，UCLA和MIT的研究者证伪了概率论中众所周知的假设「上下铺猜想」。这个猜想自1985年提出以来，一直作为多年未解的难题存在。研究者们在使用AI工具多次折戟后，采用了全新的方法，发现了其反例，最终推翻了这一猜想。文章还介绍了研究团队的成员背景以及研究过程。

关键观点总结

关键观点1: 上下铺猜想的证伪

UCLA和MIT的研究者通过采用全新方法，发现了上下铺猜想的反例，成功证伪了这个猜想。这一成果在数学界引起了广泛关注，因为上下铺猜想是概率论中一个重要的假设，其证伪将对相关领域产生深远影响。

关键观点2: 研究团队和过程介绍

本文介绍了研究团队的成员背景以及研究过程。研究团队包括加州大学洛杉矶分校的数学系教授Igor Pak、博士生Nikita Gladkov以及麻省理工学院数学系博士三年级学生Aleksandr Zimin。他们在研究过程中遇到了很多困难，包括使用神经网络方法的失败、构建反例的复杂性等。最终，他们通过结合理论论证和构建大型图的方法，成功找到了证明上下铺猜想错误的证据。

关键观点3: 数学界的反应和展望

数学界对这项研究的反应不一，一些人欢迎这一突破性的成果，认为这将有助于推动相关领域的发展。而另一些人则担心这种概率性证明可能会削弱对问题本质的理解和直觉。此外，随着AI等技术持续渗透和改变数学领域，这个问题只会愈发紧迫。一些专家建议，应该为这类研究创建专门的学术期刊，以免其价值被数学界忽视。

文章预览

   新智元报道   编辑：Aeneas 好困 【新智元导读】 39年来一个看似理所当然的数学理论，刚刚被数学家证伪！UCLA和MIT的研究者证实：概率论中众所周知的假设「上下铺猜想」是错的。有趣的是，他们用AI已经证明到了99.99%的程度，但最终，靠的还是理论论证。 又一个看似坚固无比的数学理论，被证伪了！ 最近，UCLA和MIT的研究者证伪了概率论中众所周知的假设——「上下铺猜想」。 上下铺猜想（Bunkbed Conjecture）也称为双层床猜想，是渗透理论中的一个陈述，该领域处理的是在图的边随机删除后存在的路径和簇。 猜想指出，在生成的随机子图中，上（下）铺的顶点连接到上（下）铺的某个顶点的概率，大于或等于它连接到下（上）铺顶点——即对应同构顶点的概率。 用白话说就是，在同一层的两个顶点之间的连接概率不可能小于连接不同层顶点 ………………………………