OpenAI 用上万个 AI 智能体解出了一道千禧年数学难题

OpenAI宣布已解出一道“千禧年大奖难题”

OpenAI 说他们用一个还没发布的模型，在 88 小时内解出了纳维-斯托克斯存在性与光滑性问题——这是七个千禧年大奖难题之一，之前二十多年只被解决了一个。具体做法是同时跑上万个 AI 智能体，让它们像一群分工协作的数学家一样干活，人类研究员则在各组之间传递关键想法，像蜜蜂授粉。最终证明用 Lean 语言写成，已经公开供外部审查。OpenAI 研究员 ...

推荐理由：OpenAI 声称用未发布模型解出了纳维-斯托克斯问题，这绝对是能震动整个行业的消息。88 小时、上万智能体协作、Lean 语言证明公开，信息密度很高，而且给出了可审查的路径。我会先打个折，因为证明还没通过外部同行评审，现在只能算 OpenAI 单方面宣布，所以重要性停在 88 分，等验证过了再往上调。