OpenAI 宣布三项科学突破,MIT 教授 Williams 受邀验证复杂度成果

tak3sh8 · x · 2026-10-27

Greg Brockman 官宣三项重大科学发现,分别位于数学(调和分析)、计算机科学(复杂度理论)与物理(量子场论)三个领域,称 AI 开始帮助人类增进对宇宙的理解。其中复杂度理论成果由 OpenAI 选定 MIT 教授 Ryan Williams 进行验证,Williams 在访谈中科普了强指数时间假说(SETH):它是 P vs NP 的严重强化版本——SAT 作为典型 NP 完全问题,SETH 断言不存在 1.999^n 甚至 1.9999^n 这类明显快于 2^n 的算法;SAT 在实践中被大量求解,对形式验证等用途极为重要。