AI数学的最后一道高墙，塌了！GPT-6 Astra刷穿FrontierMath Tier 4

OpenAI的GPT-6 Astra解出了FrontierMath Tier 4中此前唯一未被AI攻克的题目。Epoch AI据此判定，Tier 4全部43道题已至少被AI成功解答一次。该测试由Epoch AI联合60多位数学家于2024年11月推出，2025年新增Tier 4研究级题目，发布时模型累计仅解出3道。经2026年6月审计修订后，GPT-5.6 Sol得分83.0%，Claude Fable 5达90.2%，Astra提升至97.6%。目前FrontierMath已增设Open Problems及需Lean形式化验证的Erdős问题集，Astra在后者68道题中仅解出2道。