热点事件持续更新
ProofAtlas发布数学开放问题Top500榜单
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月7日，ProofAtlas 发布面向大语言模型评估的 Top 500 数学开放问题榜单。该榜单按「LLM 评估重要性」排序，覆盖 17 个学科。报道称，排名由多个大模型对问题重要性进行两两比较，再按可靠性加权合成，其中模型家族权重为 OpenAI 1.00、Claude 1.00、GLM 0.95、DeepSeek 0.90。ProofAtlas 同时声明，该榜单用于模型评估，并非专家共识。目前尚无后续报道涉及榜单具体条目或其他机构的回应。
AI 根据报道生成 · 1 小时前更新
最新进展10月7日 05:58
ProofAtlas 发布按 LLM 评估重要性排序的 Top 500 数学开放问题榜单，覆盖 17 个学科。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- AGI HuntProofAtlas 发布面向 LLM 评估的 Top 500 数学开放问题榜单
ProofAtlas 发布按「LLM 评估重要性」排序的 Top 500 数学开放问题榜单，覆盖 17 个学科，并声明这是模型评估而非专家共识。排名由多个大模型两两比较问题重要性后可靠性加权合成，模型家族权重为 OpenAI 1.00、Claude 1.00、GLM 0.95、DeepSeek 0.90。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。