困扰数学圈22年的难题，居然被协和实习医生解决了？
Ranking
Overall
74
Content
80
Popularity
59
Observed public metrics from 1 member.
Merged summary
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.
Sources (1)
困扰数学圈22年的难题，居然被协和实习医生解决了？
Public signals
Semantic Scholar citations 4 · Semantic Scholar influential citations 1
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.