AI Solves 20-Year-Old Crouzeix Conjecture via 16-Hour Autonomous GPT Run
Dr_Singularity · x · 2026-08-13
A neurosurgery resident with little formal advanced math training has successfully solved the Crouzeix conjecture, a major 20+ year old open problem in operator theory and matrix analysis, using LLMs.
The decisive theorem reportedly emerged from a 16-hour autonomous GPT-5.6 Sol run. Experts, including Michel Crouzeix himself, have reviewed the proof and believe it to be correct.
Related event: Neurosurgeon Proves 22-Year-Old Crouzeix Conjecture Using ChatGPT(11 posts)→
More from AGI Musings
- OpenAI's internal model shows real math "research taste," experts say its proofs go beyond prior literature — cong_ml · 2026-10-16
- willcb: AI's endpoint looks like faster, cheaper human-reasoning-on-chip — willcb · 2026-10-16
- AI Alignment's Problem May Be Its Researchers Are Too High-Functioning — teortaxesTex · 2026-10-16
- This vintage-style 'linguistic evolution' chart showing computers breaking humanity's language ceiling is going viral in AI circles — repligate · 2026-10-16
- Movie props are getting accidentally accurate: AI now makes throwaway fake forms default-correct — mike64_t · 2026-10-16
- AI circles debate whether a recent PhD signals poor judgment as credentials lose meaning — repligate · 2026-10-16