ProofAtlas 基于 LLM 评估发布数学未解难题 Top 500 榜单

ProofAtlas 基于大语言模型成对比较评估，发布了 500 个数学未解难题的重要性排名榜单（ProofAtlas Top 500）。官方排名通过加权模型聚合评估结果，各模型族权重分别为 OpenAI 1.00、Claude 1.00、GLM 0.95 和 DeepSeek 0.90。其中“P 与 NP 问题”和“黎曼猜想”分别位列榜单第 1 和第 2 位。