Rohan Paul

OpenAI 声称新的人工智能证明涵盖了半个千年奖问题、挂谷猜想和核心复杂性假设。 > 这些问题属于数学、计算机科学和物理领域，顶级专家已经研究了几十年。 > 最大的：大约 25 年来，指数时间假说认为，某些逻辑谜题需要的时间会随着它们的增长而爆炸。 OpenAI 的人工智能表示，它证明了这个假设是错误的，数百篇研究论文都以此为基础。 > 在数学方面，人工智能声称已经破解了局域平滑猜想，这是一个关于波如何聚焦的 35 年前的难题，这也解决了著名的挂谷猜想。人类只解决了较小的版本。 > 在物理学方面，人工智能声称它以完全数学严谨性证明了量子色动力学，即将原子核心结合在一起的力的理论，是有坚实数学基础的。它的杨-米尔斯证明涵盖了价值 100 万美元的“杨-米尔斯存在与质量差距”千年奖问题的一半。