Terence Tao's inverse Galois AI challenge completes its first stage
tak3sh8 · x · 2026-09-15
Mathematician Terence Tao shared progress on the SAIR/LMFDB inverse Galois challenge he co-organizes: its first stage has just been completed. The challenge aims to locate polynomials with specified Galois groups, using LMFDB as its data backbone. Tao presents it as another concrete example of AI-assisted exploration in pure mathematics, part of a longer thread of recent instances.
More from Research
- Cisco's VLoc Bench: even GPT-5.5 hits only 0.221 F1 at repo-scale vulnerability localization — aminkarbasi · 2026-09-15
- Ant Group's HazardAuditor adds execution-grounded safety supervision for computer-use agents — antgroup · 2026-09-15
- Agent as Policy: a general agent writes code to control real robots directly — Mengzhao Jia · 2026-09-15
- AutoResearchExam agent research benchmark harness open-sourced with 24-hour timed runs — AlexGDimakis · 2026-09-15
- New Paper Proposes 'Meld', a Neural Binding Operation Claimed Closest to Syntactic Merge — abenitezburraco · 2026-09-15
- BVB benchmark tests agent video understanding by rebuilding 288 real videos in Blender — SonglinYang4 · 2026-09-15