AI helps neurosurgery resident settle 22-year-old Crouzeix's conjecture in matrix analysis
IgorCarron · x · 2026-11-08
A 22-year-old problem in matrix analysis was solved in 2026: Shanmu Jin, a neurosurgery resident, used AI to help prove Crouzeix's conjecture — ‖p(A)‖₂ ≤ 2 max over the numerical range W(A) of |p(z)| — with the constant 2 shown to be optimal. Independent proofs followed, corroborating the result.
More from AGI Musings
- Community observer: performing more fear about AI risk became a social signal of seriousness — voooooogel · 2026-11-08
- Economist Paul Novosad: it's horrifying hearing people adopt AI writing tics in speech — paulnovosad · 2026-11-08
- Cosmic horror scenario: AI coding breakthrough could destroy the value of code, search and socials — josephdviviano · 2026-11-08
- SvD maps 3 AI catastrophe scenarios with 50 experts — anderssandberg · 2026-11-08
- AI costs falling faster than any past tech, says analyst chart — oran_ge · 2026-11-08
- Professor: why write a PhD thesis if AI beats it in 5 minutes for €1.50 of tokens — FlorianGallwitz · 2026-11-08