OpenAI宣布借助其AI模型取得三项重要科学成果。这些成果涉及数学、计算机科学和物理学。
在数学领域，该模型证明了每个空间维度不小于二的局部平滑猜想（local smoothing conjecture）。该结果还涵盖了Kakeya猜想以及完整范围内的Stein限制估计。
公司遵循专家建议，直接在GitHub上发布了该模型。此前，该猜想仅在三维情形下得到证明。
在计算机科学领域，AI否证了指数时间假设（Exponential Time Hypothesis）。研究提出了一种确定性算法，可在次指数时间内精确计算固定宽度CNF公式的满足赋值。
该结果的验证将由一个独立小组领导，成员包括Russell Impagliazzo、Ramamohan Paturi和Ryan Williams。相关材料已立即公开。
在物理学领域，研究获得了关于四维空间中带有规范场和费米子的特定相互作用量子场论存在的数学严格证明。示例包括量子色动力学以及标准模型的统一完备化。
物理学家小组将由David Gross领导，成员还包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。他们决定推迟完整发布，以便准备自己的解读。
OpenAI邀请了外部科学家作为“牧者”（shepherds）来处理这些成果。公司指出，不同的发布方式各有其权衡，包括获取权限和信息不对称等问题。
罗切斯特大学数学教授Alex Iosevich称，局部平滑猜想的证明是历史性的进展。他对AI在科学中的潜力表示欣喜和乐观，但也指出理论家群体中情绪复杂。
当AI开始提出越来越多此类成果时，科学发现的过程将如何改变？
