AI solves FrontierMath’s second open problem, including an absolute Galois group result
Jsevillamol · x · 2026-07-28
FrontierMath has produced its first real result on open problems.
- The quoted Epoch AI post says AI found a presentation for the absolute Galois group of the field of 2-adic numbers.
- That was the second problem solved in FrontierMath: Open Problems, a benchmark of significant unsolved problems from research mathematics.
- The author calls it the first solid result and expects more to follow.
Related event: AI Helps Solve Decades-Old FrontierMath Problem(3 posts)→
More from Research
- MIT's Neil Thompson: AI comes for tasks before jobs, and fixed costs favor big firms — bigdata · 2026-10-16
- UMD's PAIR framework bridges perception and action in VLA models via bridge tokens — Kaixi Feng · 2026-10-16
- CI-MSE offline metric hits -0.87 Spearman correlation with real robot task success vs weak raw MSE — chris_j_paxton · 2026-10-16
- Colossal Biosciences uses AI to decode genetic switches behind the extinct dodo — castrotech · 2026-10-16
- Colossal Biosciences uses AI to identify gene switches in dodo de-extinction push — castrotech · 2026-10-16
- Cheng Lou open-sources Handwired: hand-written weights turn code into training-free neural nets — dotey · 2026-10-16