code · pending
Artifact ↗Source authenticated
Explicit Presentation of the 2-adic Absolute Galois Group
Give an explicit profinite presentation of $\operatorname{Gal}(\overline{\mathbb{Q}}_2 / \mathbb{Q}_2)$. The tame local cases were settled by the early 1980s; the dyadic case was the last one missing. The new presentation has four generators, two word relations and a pro-$2$ condition on the wild generators.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 26, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Explicit Presentation of the 2-adic Absolute Galois Group · Galois group of Q2
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Claude Fable 5
model · ai model contributor · OpenAI / Anthropic
David Roe
human · human collaborator
David Turturean
human · human collaborator
Claude Opus 4.8
model · ai model contributor · OpenAI / Anthropic
ChatGPT-5.5 Pro (GPT-5.6 A/B)
model · ai model contributor · OpenAI / Anthropic
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to David Roe
This event attributed to David Turturean
This event attributed to ChatGPT-5.5 Pro (GPT-5.6 A/B)
This event attributed to Claude Fable 5
This event attributed to Claude Opus 4.8