Epoch AI用AI破解2-adic数域伽罗瓦群问题

Epoch AI宣布AI首次破解了2-adic数域绝对伽罗瓦群的表示问题，这是其FrontierMath公开问题基准中第二道被攻克的题目，也是该基准「Solid Result」（具普遍研究价值）类别下的首个解题案例。

• 题目由数学家David Roe提出，最初由Roe用Claude Fable 5求解，随后David Turturean用GPT-5.5 Pro独立复现，两人还整理出一套详尽解释材料，包含该结果的交互式形式化证明
• 该问题源自1982年，此前被认为「基本上是被关注度卡住」，而非存在根本性理论障碍，提出者本人也表示答案大概率形式繁琐
• 受邀评审的数学家认为该结果具备发表价值，称「很可能能上一份不错的期刊」
• FrontierMath: Open Problems是Epoch AI用真实前沿数学未解问题构建的高难度基准，此次是其第二个被攻克的题目
• Epoch AI预告下周将推出扩展版题库，进一步扩大测试范围
• 相比单纯刷榜，AI能对一道1982年遗留的专业数学问题给出可发表级别的解答，说明前沿模型在窄而深的研究型数学任务上已具备实用辅助能力，值得数论、密码学等相关领域关注。

本内容由 AI 生成，仅供参考，请注意甄别