Science
A neurosurgeon from Beijing proves the Crouzeix conjecture after sixteen hours of computation with GPT-5.6-Sol
Open since 2004, this numerical linear algebra conjecture gave way to a neurosurgery resident with no training in advanced mathematics, guiding a model in autonomous operation.