发布日期：2026-09-13 15:23点击次数：55
刚刚济源护角胶 ，后道 FrontierMath Tier 4 难题，被 GPT-6 Astra 攻破了。
至此，这套曾经被视作大模型数学噩梦的研究测试，所有题目都已经至少被 AI 成功解出过次。
Epoch AI 也正式给它下了结论，FrontierMath Tier 4，饱和了。
虽然从上面的图里看，Astra 还没有直接干到 ，OpenAI 自己公布的成绩也是 97.6。
但按照 Epoch 的法，"全部解出"指的是把不同模型、不同时间的尝试累积起来以后，Tier 4 里的每道题都已经有过成功解答。
而 Astra 干掉的，正是此前唯还没有被 AI 攻破的那道。
（简单理解就是 Astra 可能在某次测试中出错了，但它对的那道题是此前没被解出来的）
有说，这个发展速度还是相当离谱的。
如果你关注模型评测的话，就知道 2025 年 7 月 11 日，Tier 4 刚刚出时，榜上成绩只有大约 5。
现在刚过了年 2 个月，这个曾经的"墙"已经变成了"台阶"，后道难以被 AI 通过捷径绕道解决的问题也被跨越。
出题人自马凯特大学数学教授Jay Pantone也表示，以往 AI 都会找数值捷径，而这次，AI 的解法和自己相当接近。
不过，就在近 GPT-6 Astra 集中向数学界猛攻，三天两头解决千禧年难题之际，Pantone 表示自己已经很难惊讶了！
可以说，数学俨然已经成了 Astra 近刷存在感猛的地之。
FrontierMath 早于 2024 年 11 月 7 日发布，而它诞生的目的，本身就是为了避数学 Benchmark 过快被 AI 刷穿。
当时像 GSM8K、MATH 这样的传统数学 Benchmark 已经越来越难拉开头部模型之间的差距，于是 Epoch AI 联 60 多位数学，重新设计了批此前从未公开过的原创题。
其中，就包括陶哲轩、Timothy Gowers、Richard Borcherds 等菲尔兹得主。
陶哲轩当时看完其中些研究题目后直言，这些题"其困难"，甚至判断难的 Tier 3，可能还能让 AI 再卡上几年。
结果轮测下来，果然不出所料，先模型的正确率还不到 2。
具体的，在开始，FrontierMath 的核心题库共有 300 道题，按照难度分成 Tier 1、Tier 2 和 Tier 3 三个层。
Tier 1 大致接近难度本科题和数学奥赛，不过允许使用的工具；Tier 2 已经来到年研究生难度；Tier 3 则接近博士生早期会遇到的探索研究问题。
但随着理模型出现，PVC管道管件粘结胶这前三层也开始越来越不够用了，于是 2025 年，Epoch 又往上加了层，Tier 4。
Tier 4 大多由数学教授和博士后设计济源护角胶 ，每个人会围绕自己的研究向，进行数周左右的短期研究，后再把成果压缩成道可以被自动验证的问题。
初，Tier 4 共收录了50 道题。它们覆盖的范围包括分析、数论、组数学、拓扑、代数几何……
在发布之初，所有模型历次测试加起来，也只有 3 道题曾经被解出，而且这些解答还依赖了些正确、但没有被充分论证的假设。
鉴于此，在官网的公开样题页面上，Epoch 还度写道：其中些题，可能几十年都不会被 AI 解决。
（这句话现在开始被反复鞭尸）
不过随着模型越来越强，另个问题也暴露了出来：题库本身也开始经不起 AI "拷"了。
OpenAI 在测试过程中发现，FrontierMath 里的错误比预期多。
随后 Epoch 启动立审计，先用 GPT-5.5 和 Claude Opus 4.7 筛查疑点，再交给数学逐题复核。终在 2026 年 6 月出 v2 版本，其中 Tier 4 修正了 12 道题、移除了 7 道题，留下 43 题。
修订之后，模型的成绩依然路往上冲。
GPT-5.6 Sol 做到 83.0，Claude Fable 5 达到 90.2，到了 GPT-6 Astra，成绩已经来到 97.6。
关键的是，Astra 还补上了此前唯道从未被 AI 解出的题。
至此，Tier 4 里的每道题，都已经至少被 AI 成功攻破过次。这套门为强模型加出来的研究线，终也被刷穿了。
不过，这并不意味着"数学已经被 AI 解决了"。恰恰相反，FrontierMath 自己已经开始往下阶段走。
现在整个项目除了 Tiers 1-4，还增加了真正的Open Problems，以及把 Erd ő s 开放问题形式化进 Lean 的FrontierMath Erd ő s。
前者直接拿尚未被数学界解决的研究问题考模型；后者则要求 AI 写出能够通过形式化验证的完整证明。
这次，Astra 在 FrontierMath Erd ő s 的 68 道问题里，只解决了 2 道。
故事仍在继续～
键三连「点赞」「转发」「小心心」
欢迎在评论区留下你的想法！
— 完 —
� � 点亮星标 � �
科技前沿进展每日见相关词条:管道保温施工 塑料挤出设备 预应力钢绞线 玻璃棉厂家 保温护角专用胶
奥力斯 万能胶生产厂家 联系人：王经理 手机：13903175735（微信同号） 地址：河北省任丘市北辛庄乡南代河工业区
1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。