协和住院医，攻克了世界级数学难题
Ranking
Overall
71
Content
80
Popularity
N/A
No observed public metrics; popularity remains neutral/archived.
Merged summary
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.
Sources (1)
协和住院医，攻克了世界级数学难题
Public signals
N/A
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.