四大模型家族协作评出数学 500 大开放难题

ProofAtlas 发布「数学前 500 开放难题」榜单，由 GPT 6、Fable 5.1（Claude）、GLM-5.3、DeepSeek V4 Pro 四个大模型家族历时数周协作完成，涉及近 3.5 万次两两比较，覆盖数学及理论领域。榜单中还包含关于 Navier-Stokes 方程的新结果，不过该结果仅涉及受迫情形。

2026-09-19 ~ 2026-09-20 · 2 条相关

• 四个大模型家族跑出数学前 500 开放难题榜，Navier-Stokes 新结果仅涉受迫情形 — zero0_one1 · 2026-09-19
• 四大 LLM 家族协作评出数学 500 大开放问题，含近 3.5 万次两两比较 — burny_tech · 2026-09-20