📖 AI 总结

GPT-6 Astra攻破了FrontierMath Tier 4最后一道未被AI解出的题目，标志着这套由Epoch AI联合60多位数学家（包括多位菲尔兹奖得主）设计的研究级数学测试正式饱和。Tier 4于2025年7月推出时最高成绩仅约5%，经2026年6月修订后保留43题，GPT-5.6 Sol达83.0%，Claude Fable 5达90.2%，Astra则达到97.6%并补齐最后缺口。出题人Jay Pantone指出，此次AI解法与人类思路接近，而非依赖数值捷径。不过，这并不意味着数学已被AI解决：在新增的FrontierMath Erdős形式化证明测试中，Astra仅解出68道中的2道，项目也已转向真正的开放研究问题，挑战仍在继续。