FrontierMath: Open Problems solves second benchmark problem on absolute Galois group
AI has successfully found a presentation for the absolute Galois group of the field of 2-adic numbers, becoming the second problem solved in FrontierMath: Open Problems. Proposed by David Roe,…
