छह गणितज्ञों ने M23 को हल कर लिया, जो 26 विशेष सममिति समूहों में आख़िरी बचा हुआ सवाल था। AI एजेंटों ने असंख्य सममिति संयोजन छाने और सात संभावित सतहों के समीकरण लगभग निकाले। सटीक बहुपद इंसानों ने लिखे, और टीम कहती है कि शोधपत्र की एक पंक्ति भी AI ने नहीं लिखी।