OpenAI 宣布一口气解决数学、物理、计算机三大世纪科学悬案，其中数学和计算机科学成果已通过 Lean 数学验证工具进行形式化验证；物理学成果正由诺贝尔物理学奖得主等专家参与审查。#OpenAI宣布斩获三项重大科学突破# 如何评价这三项成果？有哪些亮点值得关注？#科学季2026# ​