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

📋总体概括

据微信公众号「采铜的书房」转述，OpenAI用内部在研大模型宣称攻克千禧年数学难题——纳维-斯托克斯方程存在性与光滑性问题。其证明过程动用约一万个并发智能体，智能体间协作发送270万条消息，展示了AI在高等数学研究中的规模化协作能力。若属实，这将是AI首次在有公开权威认证的顶级数学难题上取得突破，意义堪比AlphaFold之于蛋白质结构预测。但该消息目前出自未正式论文的转述，尚需数学界同行评审验证，真实性存疑。