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

📋总体概括

据称OpenAI用在研大模型攻克了千禧年数学难题——纳维-斯托克斯方程的存在性与光滑性问题。据披露，其证明过程动用约一万个并发智能体，智能体之间通过协作完成推理，相互发送了270万条消息。若属实，这将是AI首次在人类顶尖数学未解问题上取得突破，意味着AI科研能力从辅助工具迈向独立研究主体，其可验证性与同行评审将成为接下来的关键焦点。