AI has found a presentation for the absolute Galois group of the field of 2-adic numbers. This is the second problem to be solved in FrontierMath: Open Problems, our benchmark of significant unsolved problems from research mathematics.
AI 摘要
AI 已找到 2-adic 数域绝对伽罗瓦群的一个表示。这是 FrontierMath:开放问题基准中解决的第二个问题,该基准包含来自研究数学的重要未解决问题。
AI has found a presentation for the absolute Galois group of the field of 2-adic numbers. This is the second problem to be solved in FrontierMath: Open Problems, our benchmark of significant unsolved problems from research mathematics.