LLM-assisted 22-page preprint settles Hilbert's 12th problem and Zauner's conjecture
basedjensen · x · 2026-10-06
A 22-page preprint claims to resolve both Hilbert's 12th problem for real quadratic fields and Zauner's conjecture (the SIC-POVM problem).
- An independent researcher submitted an LLM-assisted proof on Sept 29
- Mathematicians Radchenko and Wheeler had an LLM generate a cleaner version on Sept 30 and spent 4 days verifying it
- One of the most striking cases yet of AI-assisted mathematical research, with LLMs deeply involved at every stage
More from AGI Musings
- Guardian: Altman privatizes AI gains while the public socializes the risks — nordicinst · 2026-10-06
- Ex-UK energy official warns AI needs 500GW by 2035 and the industry isn't ready — ShakeelHashim · 2026-10-06
- John Langford's COLM 2026 Keynote 'Research at AI Speed' Examines the Industrialization of R&D — JohnCLangford · 2026-10-06
- Critic Calls Out 'Research Taste Doubles Every 3 Months' Eval as Merely Metric Optimization — dhadfieldmenell · 2026-10-06
- Nearly 4 years of ChatGPT: zero direct AI deaths vs 225M from disease and aging — DeryaTR_ · 2026-10-06
- 2048 Satire: Every Job Automated Except Healthcare Admin and Unionized Work — rickasaurus · 2026-10-06