困扰数学圈22年的难题，居然被协和实习医生解决了？

TL;DR - The article reports that GPT-5.6-powered agentic workflows helped produce two independent proofs of the 22-year-old Crouzeix conjecture. It highlights AI’s emerging role in accelerating advanced mathematical discovery.

• Physician-researcher Shanmu Jin reportedly prompted GPT-5.6 Sol to explore proof strategies autonomously for about 16 hours.
• The workflow used multiple reasoning branches, adversarial review, and repeated rejection of flawed approaches.
• The resulting proof reduced the problem to a simpler positivity condition and was released with prompts, drafts, Lean 4 code, and audits.
• Eight days later, mathematicians published a separate five-page proof developed with assistance from the same model.