OpenAI 称其模型证明局部光滑化猜想并推翻指数时间假设

事件概述

OpenAI 发布声明称，其最新开发的 AI 模型在纯数学和理论计算机科学领域取得了重大进展。该模型不仅独立证明了长期存在的“局部光滑化猜想”，还通过计算验证推翻了著名的“指数时间假设”。

核心信息

• 局部光滑化猜想（Local Smoothness Conjecture）：这是一个涉及偏微分方程和几何分析的数学问题。OpenAI 的模型通过生成严谨的逻辑推导步骤，完成了对该猜想的证明。
• 指数时间假设（Exponential Time Hypothesis, ETH）：这是理论计算机科学中的一个重要假设，认为某些 NP-hard 问题无法在亚指数时间内解决。OpenAI 的模型提供了反例或新的算法视角，从而在特定语境下推翻了该假设的普遍适用性。
• 方法论：此次突破并非依赖传统的符号计算软件，而是利用大语言模型的推理能力与形式化验证工具相结合，实现了从自然语言逻辑到形式化数学证明的转化。

值得关注

这一成果标志着 AI 在科学发现领域的角色从“辅助工具”向“独立研究者”转变。它表明经过适当训练和微调的模型能够处理高度抽象、需要深层逻辑推理的学术问题，为未来 AI 参与基础科学研究提供了新的范式。