四个大模型家族跑出数学前 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。
所属事件:四大 LLM 家族协作评出数学 500 大开放难题(3 条相关)→
「研究」频道最新
- PixelBench：用逐像素生成取代 QA,重新测多模态模型 — bdsqlsz · 2026-11-04
- Chollet 提问:单细胞如何仅靠基因组信息把自己连成大脑 — CatAstro_Piyush · 2026-11-04
- OffsecCyber 数据集发布：整合 HackerOne 报告与 CVE 训练渗透测试 LLM — AccBalanced · 2026-11-04
- 研究：「单次事实」占比决定 LLM 科学发现能力 — CatAstro_Piyush · 2026-11-04
- 把 TPU 编译进 Qwen 权重：0.8B 模型跑出精确矩阵乘法 — CatAstro_Piyush · 2026-11-04
- Jev 模型提升 LLM 上下文学习示例检索，蒸馏 MLP 降开销 — kalyan_kpl · 2026-11-04