OpenAI公布三项AI科学发现并引入外部核验

OpenAI公布了三项由AI产出的“重大”发现，分别涉及数学、计算机科学和物理，并首次安排外部专家牵头核验。 数学方面，模型给出了欧氏波动方程局部光滑猜想的证明，并由此推出Kakeya猜想与Stein球面限制估计。计算机科学方面，论文称指数时间假设（ETH）为假，给出在次指数时间、多项式空间内精确计数固定宽度CNF公式满足赋值的确定性算法，3-SAT情形即可反驳ETH。 物理方面的发现仅披露了部分信息，OpenAI称是四维含规范场与费米子的相互作用量子场论的严格存在性证明，涵盖QCD与标准模型的统一完成。 OpenAI表示，与10月6日发布时一样直接公布模型输出，并于当天在GitHub发布AI输出的说明文档和Lean证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。