OpenAI 称模型证伪 ETH 假设，并证明所有维度的局部光滑化猜想
OpenAI 称内部模型证伪了沿用近 30 年的 ETH 假设；若审查通过，这将是 AI 直接改写理论计算机科学基础的首个案例。
OpenAI 宣布其内部模型在三个领域取得成果：证伪理论计算机科学沿用近 30 年的指数时间假设（ETH，即认为不存在能解决所有 3-SAT 问题的亚指数时间算法），并借助一个新引入的辅助偏微分方程，把局部光滑化猜想的证明从二维推广到所有维度。ETH 的两位原始提出者将参与外部审查。
正文摘录
.jpg) 编辑｜Neo 722 篇数学手稿引发的讨论还没结束，OpenAI 又把一个更让人意外的结果摆到了科学家面前。 这一次，它声称推翻了理论计算机科学中一个被广泛相信近 30 年的假设。而当年提出这一假设的两位研究者，如今正准备组织同行，一起检查 AI 给出的反证。  10 月 26 日，OpenAI 宣布在 数学、计算机科学 和 物理学 三个领域取得新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。OpenAI 总裁 Greg Brockman 在 X 上将其称为 三项重大科学发现，并感叹 AI 开始帮助人类增进对宇宙的理解。