人类的数学研究要被AI接管了？

📋总体概括

消息称OpenAI用内部在研大模型攻克千禧年数学难题——纳维-斯托克斯方程存在性与光滑性问题。证明过程动用约一万个并发智能体，智能体间相互通信协作发送270万条消息，算力消耗巨大。若属实，这将是AI首次在顶级纯数学难题上取得实质突破，标志着AI从辅助工具向独立科研主体的跃迁，对数学界和AI产业化均有里程碑意义，但目前尚需数学界同行评审验证。