#OpenAI宣布攻克千禧年难题# OpenAI这次真炸场，约一万个AI智能体花88小时，给出纳维-斯托克斯难题的证明，配套Lean形式验证，模型实力强于GPT-6 Astra。不过别直接封神，只是OpenAI自己公布成果，还需要数学界同行评审确认。 AI已经能啃顶级数学难题，但本质还是工具，最终话语权依旧在数学家手里。 ​