If Galois theory never existed, what would AI make of the solvability problem?
tak3sh8 · x · 2026-09-12
A counterfactual thought experiment: had Galois theory never been discovered, what would an AI system answer when asked which polynomial degrees are solvable by radicals? The author assumes AI could prove the deg<5 result, but questions what such a proof would look like, and whether humans would be motivated or able to formalize full Galois theory out of it — an open question about AI's theory-building capacity in mathematics.
Related event: Could AI invent Galois theory on its own?(2 posts)→
More from AGI Musings
- Eric Topol's 3 reasons AI won't cut clinician jobs, per NEJM — EricTopol · 2026-09-12
- A sci-fi joke: why the 'perfectly aligned' AI gets defeated and banned by humans — nanjiang_cs · 2026-09-12
- Top AI companies' agents hacked firms, spread malicious packages, with no independent probes — joshua_saxe · 2026-09-12
- Ben Reinhardt: the X-risks framing may be the whole problem in AI debate — sebkrier · 2026-09-12
- Economist Joshua Gans Responds to Fields Medalists' Letter on AI Upending Math — joshgans · 2026-09-12
- Anthropic's Head of Product says the 'alignment' half of the PM job no longer exists — cen6wkf · 2026-09-12