LLM 给 500 道数学开放难题排重要性:黎曼猜想居首

sytelus · x · 2026-09-20

ProofAtlas 发布「Top 500 Open Problems」榜单,用 LLM 成对比较来评估数学开放问题的重要性,综合解决意义、领域中心性、跨领域影响、学术声望等维度;不同模型家族的判断以可靠性加权融合(OpenAI 1.00、Claude 1.00、GLM 0.95、DeepSeek 0.90)。榜单前五为黎曼猜想、P vs NP、Collatz 猜想、Goldbach 猜想、孪生素数猜想。

该项目明确声明这是模型评估而非专家共识,并对相近子问题做家族去重。sytelus 由此提出一个想法:把所有开放问题按依赖关系建图后跑 PageRank,排在前面的就是「解决它能带动其他很多问题」的关键节点——与按知名度排序的结果差异很大。