AI Solves Second FrontierMath Open Problem

An AI model has produced a presentation for the absolute Galois group of the 2-adic numbers. This is the second FrontierMath open problem solved and the first solid result from the benchmark set tracked by Epoch AI. The solution was first elicited by David Roe using Fable 5. Commentators note this signals early progress on the collection of open problems and expect additional solutions to follow.