ProofAtlas 发布由 LLM 评估重要性的数学顶级开放问题榜单

ProofAtlas 推出 Top 500 数学开放问题榜单，依据 LLM 两两比较并按模型族可靠性加权生成重要性排名，而非专家共识。OpenAI、Claude 权重为 1.00，GLM 为 0.95，DeepSeek 为 0.90；P versus NP 与 Riemann Hypothesis 分列前两位。