GPT-5.6-Sol断网跑16小时独立拿出22年数学猜想的证明，这波是AI科研能力的实弹演示。
北京神经外科住院医师Shanmu Jin用GPT-5.6-Sol在ChatGPT Work中自学脑超声数学时，将模型断网启动，16小时后获得Crouzeix猜想的证明。该猜想由Michel Crouzeix于2004年提出，22年未解。数学家Alex Townsend参与验证，称几年前难以想象AI能在重大猜想证明中贡献决定性思路。
A Beijing neurosurgeon resident just used GPT-5.6-Sol inside ChatGPT Work to prove a 22-year-old mat...
A Beijing neurosurgeon resident just used GPT-5.6-Sol inside ChatGPT Work to prove a 22-year-old math conjecture. Shanmu Jin was teaching himself the math for brain ultrasound research. He locked the model off the web, started it, and left. Sixteen hours later it had the proof for Crouzeix’s Conjecture. Michel Crouzeix, who posed the problem in 2004, checked it. Alex Townsend, one of the mathematicians who verified it: “Only a few years ago, it was difficult to imagine an AI system contributing the decisive idea in a proof of a major conjecture. Now it has happened in our field.” 💬 2 🔄 0 ❤️ 3 👀 2198 📊 3 ⚡