OpenAI宣布借AI文稿与Lean验证攻克数学、物理及计算机三大难题，引发AI科研范式变革与学界争议。
OpenAI公布165页N-S方程证明，投入数百万美元，却领不走100万美元千禧年奖金：同行评审与官方认证尚未开始。