OpenAI公布数学、计算机和物理学3项新发现
OpenAI宣布利用模型在调和分析、计算复杂性理论和量子场论领域取得三项新发现,并已完成Lean形式化验证。成果涉及给出局部光滑猜想在所有维度下的证明、证伪指数时间假设(ETH),以及完成纯杨–米尔斯理论存在性等推演。数学和计算机成果已在GitHub公开并交由外部专家团队核查,物理学成果依专家建议暂缓公开,所有主张均等待学界独立审查。
推荐理由:OpenAI公开了借助模型与形式化工具推演理论科学猜想的尝试,读者可以据此了解前沿模型参与基础科学研究的具体方式与专家协作机制。