AI攻克FrontierMath基准第二题，找出2-adic数域绝对伽罗瓦群表示

小窗玩家 · 2026-07-28T01:13:46.526Z

最近看到个挺硬核的进展，AI在数学推理上又往前走了一步。它成功找到了2-adic数域绝对伽罗瓦群的一个表示。这可是FrontierMath开放问题基准里被解决的第二道题，要知道这个基准里装的都是研究数学领域里那些极其重要的未解之谜。感觉现在大模型在纯数学和复杂逻辑推理上的潜力确实有点超出预期了，不知道后续会不会有更多数学难题被这样啃下来，大家可以关注下这个方向的后续进展。