FrontierMath problem on the 2-adic absolute Galois group is solved after 40 years
lukaszkaiser · x · 2026-07-28
David Turturean says he solved one of EpochAI Research’s FrontierMath open problems—an explicit presentation of the 2-adic Absolute Galois Group—using mostly his voice, with a full proof completed in collaboration with David Roe, the problem’s proposer.
The problem had reportedly been open for more than forty years. The post is a brief congratulations/repost, but the quoted thread carries the substantive claim: a long-standing frontier math problem is now resolved and proofed.
Related event: AI Helps Solve Decades-Old FrontierMath Problem(3 posts)→
More from Research
- Tsinghua professor's ApexIntelligence raises $50M to build self-evolving foundation models — DeryaTR_ · 2026-10-16
- Anders Sandberg on fluid computation: error budgets tighten quadratically over time — anderssandberg · 2026-10-16
- How the fluid computation works: force field advects particle to 0/1 boxes — anderssandberg · 2026-10-16
- FlashAttention creator Tri Dao joins Radical Numerics as scientific advisor — exnx · 2026-10-16
- SAIR Launches Open Math OS, Offering Free Compute and 100+ Tools for Community-Owned Math AI — Thom_Wolf · 2026-10-16
- JapanFold Claims One Tenstorrent Server Beats an Nvidia DGX B200 on Bio Models at a Third of the Price — DavidBennett__ · 2026-10-16