Epoch AI· Tom Adamczewski·· 2026-09-01AI 评估 · 71/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Epoch AI 发布 FrontierMath Erdős 基准
Announcing FrontierMath Erdős
AI 导读
Epoch AI 发布 FrontierMath Erdős 基准，由 Thomas Bloom 从 erdosproblems.com 未解问题中挑选 68 道兼具数学意义与难度的问题，其中 50 道已由 Google Formal Conjectures 项目完成 Lean 形式化。
来源：Epoch AI · epoch.ai