四个大模型家族跑出数学前 500 开放难题榜，Navier-Stokes 新结果仅涉受迫情形

zero0_one1 · reddit · 2026-09-19

ProofAtlas 发布了一份由 4 个 LLM 家族（GPT 6、Fable 5.1、GLM-5.3、DeepSeek V4 Pro）协作产出的「数学前 500 开放难题」榜单：模型间共进行 34,890 次两两比较、覆盖 1,227 个候选问题，经多轮发现、来源核查、去重与题面澄清后统计合成，并做了排名不确定性与敏感性检验，评估维度包括解决意义、学科核心度、跨学科关联与潜在影响。

作者还澄清：近期公布的 Navier-Stokes 奇点结果针对光滑外力驱动的流动（列第 21 位），而无外力的 3D Navier-Stokes 全局正则性（Fefferman 表述 A）仍未解决；榜单中 Euler 爆破列第 32、一般维数 Jacobian 猜想列第 92、sofic 群列第 167、平面单位距离猜想列第 211。