ProofAtlas 发布面向 LLM 评估的 Top 500 数学开放问题榜单

ProofAtlas 发布按「LLM 评估重要性」排序的 Top 500 数学开放问题榜单，覆盖 17 个学科，并声明这是模型评估而非专家共识。排名由多个大模型两两比较问题重要性后可靠性加权合成，模型家族权重为 OpenAI 1.00、Claude 1.00、GLM 0.95、DeepSeek 0.90。