Volgens The Decoder hebben Fieldsmedaillewinnaar Shing-Tung Yau en een groep Chinese wiskundigen in Beijing de Yau Laboratory Alliance for Mathematics and Artificial Intelligence opgericht. De alliantie brengt acht instellingen samen en wil een netwerk van meer dan 1.000 onderzoekers opbouwen. De initiatiefnemers willen gespecialiseerde modellen ontwikkelen, wiskundige bewijzen automatisch controleerbaar maken en transparante AI-redeneringen bevorderen. Yau waarschuwde volgens het artikel dat China achterloopt op de Verenigde Staten.
De ontwikkeling staat tegenover toenemende terughoudendheid onder westerse wiskundigen. Vijfentwintig Fieldsmedaillewinnaars, onder wie Terence Tao en Peter Scholze, vrezen dat door AI gegenereerde bewijzen het wiskundig begrip aantasten en onderzoekers afhankelijk maken van hulpmiddelen die zij niet volledig kunnen volgen. Sommige onderzoekers pleiten voor een boycot van zulke bewijzen, terwijl anderen wijzen op het grote aantal geautomatiseerde inzendingen. Ook onder AI-gebruikers bestaat geen overeenstemming over de vraag of de systemen nieuwe inzichten opleveren of vooral bestaande methoden brute-force toepassen.