OpenAI has solved the Navier-Stokes Millennium problem using $15m of AI effort

📋总体概括

一则英文资讯称OpenAI以约1500万美元的AI算力投入，在数天内解决了纳维-斯托克斯方程这一千禧年七大数学难题之一，且成果是在另一项更不完整、同样借助AI完成的类似工作公布仅数小时后宣布的，伴随大量传闻。若属实，这将是AI首次攻克千禧年难题级别的数学问题，对自动定理证明、符号推导与数学研究范式具有里程碑意义；但消息本身仍处于传闻与初步公告阶段，严格数学界的同行评审与证明细节尚未公开确认，需保持审慎。