18818713530

9月8日，OpenAI宣布其内部模型联合约1万个并发AI智能体，在88小时内提出Navier–Stokes存在性与光滑性问题的否定性解答，证明光滑三维不可压缩流体可在有限时间内产生奇点，并发布论文及Lean 4形式化证明，涉及数百万条智能体消息。该问题是悬赏100万美元的七大千禧年难题之一。但NYU数学家Buckmaster与Anthropic研究员Alpöge称8月15日已率先取得突破，质疑OpenAI抢跑，学术优先权仍存争议。

小典观察：这是AI辅助数学研究的里程碑，标志大模型从"解题工具"进化为"研究伙伴"。万级智能体协同+形式化验证的范式，可能重塑数学研究方式。但优先权争议提醒，AI时代的学术发现归属和评价体系亟待重构。

来源：网络