IT之家·· 2 小时前
OpenAI 宣布 AI 模型取得三项重大科学突破,涉及数学猜想、计算机算法及千禧年难题
OpenAI 宣布斩获三项重大科学突破,涉及数学猜想、计算机算法及千禧年难题
SI 导读
OpenAI 宣布其 AI 模型取得三项科学突破,证明局部光滑猜想、推翻指数时间假设并提出量子色动力学存在性证明。数学与计算机成果已通过 Lean 验证并公开至 GitHub,物理学成果由诺奖得主等审查,仍需学界独立确认。
精选SI 评分82
推荐理由
OpenAI模型完成三项基础科学证明并公开Lean验证材料,显示AI已能参与复杂理论发现,学界可据此评估其可靠性。
来源:IT之家 · ithome.com