OpenAI公布人工智能多项科学发现

Source

品玩10月28日讯,OpenAI官方于10月26日宣布,其人工智能模型在数学、计算机科学和物理学领域取得三项重要成果。

在数学方面,AI模型给出了局部光滑性猜想的完整证明,解决了所有维度下的Kakeya猜想和Stein限制猜想。在计算机科学领域,AI系统证明了指数时间假设不成立,结果已在Lean形式化验证中确认。在物理学方面,AI为量子色动力学及标准模型完备理论给出了严格存在性证明。

OpenAI已公开相关AI输出文稿及形式化证明,并邀请外部专家组建合作小组进行独立验证。公司承诺资助学术会议,支持学术界深入探讨人工智能生成成果的科学价值,目前相关合作正在推进中。