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

📋总体概括

据称OpenAI用在研大模型攻克了千禧年数学难题——纳维-斯托克斯方程的存在性与光滑性问题，证明过程动用约一万个并发智能体，智能体间协作发送270万条消息，消耗算力规模惊人。若属实，这将是AI首次在顶级纯数学问题上取得实质性突破，标志着AI从辅助工具走向独立科研主体的转折点。但该消息尚为传闻性质，证明细节与同行评议结果仍待验证。