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

📋总体概括

传OpenAI用在研大模型声称攻克了千禧年七大数学难题之一的纳维-斯托克斯方程存在性与光滑性问题，证明过程动用约一万个并发智能体，智能体间互发270万条消息协作完成，消耗算力规模惊人（原文数字被截断）。若属实，这是AI首次冲击顶级纯数学难题的标志性事件；但消息来自公司内部宣称，证明尚未经数学界独立验证，其真实性、严谨性都存疑，需等待同行评议与数学家复核后再下结论。