OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项突破:证明适用于所有维度的局部光滑猜想并解决挂谷猜想,推翻长期被接受的指数时间假设,提出量子色动力学及杨–米尔斯理论的严格数学存在性证明。数学与计算机成果已通过Lean形式化验证并公开材料,物理成果正由专家审查。
OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项突破:证明适用于所有维度的局部光滑猜想并解决挂谷猜想,推翻长期被接受的指数时间假设,提出量子色动力学及杨–米尔斯理论的严格数学存在性证明。数学与计算机成果已通过Lean形式化验证并公开材料,物理成果正由专家审查。
安卿辰博客





