OpenAI 宣称 AI 同时攻克数学、计算机科学与物理学三大难题：所有维度的局部平滑猜想、指数时间假设证伪、杨-米尔斯存在性证明。Lean 形式化材料已经公开，同行评审尚未收官，物理材料更被评审...