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

ProofAtlas 发布「数学前 500 开放难题」榜单,由 GPT、Claude、GLM、DeepSeek 四个大模型家族历时数周协作完成,涉及近 3.5 万次两两成对比较,综合解决意义、领域中心性、跨领域影响与学术声望等维度评估重要性,黎曼猜想位居榜首。此外,榜单还产出了一些新结果,例如关于 Navier-Stokes 方程的新进展仅涉及受迫情形。

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