#OpenAI宣布攻克千禧年难题#OpenAI 官宣，内部模型解开了纳维-斯托克斯这道千禧年难题：10000个智能体协作88小时推出证明，GPT-6 Astra 再用17小时完成 Lean 形式化验证。 陶哲轩那句提醒最扎心：最难的题若不再需要人深度参与，人类对数学的理解反而可能被掏空。 ​