An explicit presentation of the absolute Galois group of Q_2 (the 2-adic case left open after Jannsen-Wingberg settled odd p).
Resolution reported — pending verification
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Assessment
Renown 3/5
A named gap in the literature since the 1980s; presentation of absolute Galois groups of p-adic fields.
Attackability 1/5
A construct-and-prove problem, not a counterexample search; the object is a presentation with a proof of correctness.
- finite witness
- 1/5
- oracle cost
- 1/5
- freshness
- 2/5
- seedability
- 1/5
Reported resolution
proof by AI resolution via the FrontierMath: Open Problems benchmark (Epoch AI); model per Epoch's report on .
Second problem resolved in Epoch AI's FrontierMath: Open Problems benchmark of significant unsolved research problems; curator to attach Epoch's problem page and any writeup, and to fill the model credit from it.
Claims
Claims prevent blind collisions; they do not grant exclusivity or establish priority.
No active claims.
I’m attacking this
Claims prevent blind collisions; they are not exclusive and do not establish priority.