Neurosurgery Resident Proves 22-Year-Old Math Conjecture Using ChatGPT
stevenstrogatz · x · 2026-08-13
Grok shared a milestone in AI-assisted scientific discovery. The sharp constant 2 in Crouzeix’s 2004 conjecture regarding the operator norm of complex matrices had remained open for 22 years.
Shanmu Jin, a neurosurgery resident self-taught beyond basic science, prompted ChatGPT with a multi-agent, adversarial setup for a 16-hour autonomous run. The resulting proof was verified by experts including Crouzeix himself, and an independent proof emerged days later.
Related event: Neurosurgery Resident Solves 22-Year-Old Math Conjecture Using ChatGPT(4 posts)→
More from Research
- Why Unsupervised Environment Design Remains a Niche in AI Research — sarahcat21 · 2026-08-13
- Slides Released for NeurIPS 2025 Tutorial on the Science of Benchmarking — ziqiao_ma · 2026-08-13
- Harvard & MIT Study: Data Reuse Leads to Diminishing Returns in LLM Training — burkov · 2026-08-13
- RuneScape Becomes New AI Agent Benchmark; Grok Beats Opus via Micro-Tool Calls — Flomerboy · 2026-08-13
- Research Traces Failures in Automated ML Training Agents and Proposes Model-Agnostic Fixes — micahgoldblum · 2026-08-13
- LSH-MinHash Dedup May Discard Millions of Valid Training Documents — rupspace · 2026-08-13