OpenAI称模型证明ETH猜想不成立，密码学影响待验证
当前进展与背景
最新公开报道
最近报道 ·OpenAI 公布模型生成的三项基础科学研究成果，涉及 ETH 假设、量子场论与数学猜想
10 月 26 日，OpenAI 公布了内部模型生成的三项研究成果：称其系统证明了计算机科学中的指数时间假设（ETH）不成立并在 Lean 中得到验证；为纯 Yang–Mills 理论、量子色动力学（QCD）及一种大统一理论给出严格的“存在性”证明；并证明了所有维度下的局部光滑性猜想，由此解决所有维度下的挂谷猜想和施泰因限制猜想。OpenAI 将文稿称为“原始研究数据”，邀请学界验证，且不为内部模型产生的发现主张学术功劳。MIT 教授 Ryan Williams 转述称，OpenAI 已检查过对密码系统的影响，较有把握地认为该结果并不意味着现有密码系统被破解。目前仅 Yang–Mills 部分完成 Lean 验证，AI 生成的原始证明暂不公开，由诺贝尔奖得主 David Gross 领导的小组先研究。OpenAI 此前已宣布向 Simons 基金会捐赠 500 万美元，用于帮助研究人员理解 AI 产生的成果。
PANews · 查看报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述 · AI 整理
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
OpenAI于10月26日公布内部模型生成的三项基础研究成果，称其系统证明了计算机科学中的指数时间假设（ETH）不成立并在Lean中得到验证，另称就纯Yang–Mills理论等给出严格“存在性”证明，并证明所有维度下的局部光滑性猜想。OpenAI称文稿为“原始研究数据”，邀请学界验证，不为模型发现主张学术功劳。MIT教授Ryan Williams转述称，OpenAI已检查对密码系统的影响，较有把握认为该结果不意味着现有密码系统被破解。目前仅Yang–Mills部分完成Lean验证，原始证明暂不公开。
综述整理于
报道时间线
沿着报道，了解事件的不同侧面。
- PANewsOpenAI 公布模型生成的三项基础科学研究成果，涉及 ETH 假设、量子场论与数学猜想
10 月 26 日，OpenAI 公布了内部模型生成的三项研究成果：称其系统证明了计算机科学中的指数时间假设（ETH）不成立并在 Lean 中得到验证；为纯 Yang–Mills 理论、量子色动力学（QCD）及一种大统一理论给出严格的“存在性”证明；并证明了所有维度下的局部光滑性猜想，由此解决所有维度下的挂谷猜想和施泰因限制猜想。OpenAI 将文稿称为“原始研究数据”，邀请学界验证，且不为内部模型产生的发现主张学术功劳。MIT 教授 Ryan Williams 转述称，OpenAI 已检查过对密码系统的影响，较有把握地认为该结果并不意味着现有密码系统被破解。目前仅 Yang–Mills 部分完成 Lean 验证，AI 生成的原始证明暂不公开，由诺贝尔奖得主 David Gross 领导的小组先研究。OpenAI 此前已宣布向 Simons 基金会捐赠 500 万美元，用于帮助研究人员理解 AI 产生的成果。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。