协和住院医，攻克了世界级数学难题

TL;DR - A neurosurgery resident reportedly used an autonomous multi-agent GPT workflow to produce a preprint proving the 22-year-old Crouzeix conjecture. Mathematicians found the argument sound, but it has not yet completed formal peer review.

• The workflow ran for roughly 16 hours without human intervention, generating independent proof strategies through multiple subagents.
• Candidate proofs underwent adversarial checks and counterexample-based elimination to reduce invalid reasoning.
• Prompts, draft iterations, Lean verification code, and axiom checks were released for reproduction.
• A separate five-page proof, developed with ChatGPT-assisted exploration, reportedly reached the same result via a different method.