Epoch AI 发布 FrontierMath Erdős：GPT-6 Astra 首破 2 题
Jsevillamol · x · 2026-09-04
Epoch AI 联合 erdosproblems.com 创建者 Thomas Bloom 推出正式数学基准 FrontierMath Erdős：精选 68 个 2026 年 8 月仍未解决的重要 Erdős 问题，用 Lean 形式化，要求 AI 系统在固定预算内证明或证伪。
背景：Erdős 问题（Paul Erdős 生前提出的上千个数学问题）已成为追踪 AI 数学能力的事实标准，Bloom 的网站收录 1217 个问题，其中 652 个仍未解决。新基准针对三个此前被诟病的问题：选题代表性、验证严谨性、可复现性。
首个战果：GPT-6 Astra 成为首个破解该基准题目的模型，解出无穷色数的图论题（Erdős 问题 #74）和一道组合数论题（#126），每题花费约数百美元。
所属事件:Epoch AI 发布 FrontierMath Erdős，GPT-6 Astra 首破零分(10 条相关)→
「研究」频道最新
- CMU 与 Meta 开源 TrackEverything：追踪长视频全部 3D 点 — AdamWHarley · 2026-10-21
- 开源婴儿脑连接工具包:vibe coding 串起皮层-电极-纤维追踪分析 — Dr_Alex_Crimi · 2026-10-21
- 伯克利获 Schmidt Sciences 资助：用 AI 破解抹香鲸与虎鲸语言 — begusgasper · 2026-10-21
- 斯坦福 CS336 第 6 讲:kernel 提速先少跑几趟显存 — stanfordnlp · 2026-10-21
- NVIDIA Cosmos3-H-Dreams：用生成式模拟让临床手术场景活起来 — Hugging Face Blog · 2026-10-21
- UIUC 论文：高分不等于会推理，LLM 换个表述就丢失推理规则 — UIUC-CS · 2026-10-21