10月28日讯,openai官方于10月26日发布消息,其人工智能模型在数学、计算机科学与物理学三大基础学科中实现了三项突破性进展。
在数学领域,该AI模型完成了局部光滑性猜想的完整证明,并一举攻克了适用于所有维度的Kakeya猜想与Stein限制猜想。在计算机科学方向,AI系统成功证伪了指数时间假设(ETH),相关结论已通过Lean形式化验证系统完成严格确认。在物理学方面,AI首次为量子色动力学(QCD)以及标准模型的完备性理论提供了严格的数学存在性证明。
OpenAI已将全部AI生成的论文文本及形式化证明代码公开,并正联合外部权威专家组建独立验证合作小组。公司同时承诺将资助系列专题学术会议,以推动学界对AI生成科研成果之科学意义与方法论价值的深度研讨,目前相关协作工作已在有序开展中。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜



















