Zondag maakte een groep onder leiding van Fieldsmedaillewinnaar Shing-Tung Yau in Beijing de oprichting bekend van de ‘Yau Laboratory Alliance for Mathematics and Artificial Intelligence’. De alliantie verenigt acht Chinese onderzoeksinstituten en wil een netwerk opbouwen van meer dan 1.000 wiskundigen die werken aan AI-tools voor de wiskunde. Dat meldde de South China Morning Post.
Waarom wiskundigen in het Westen zich zorgen maken
In Europa en de Verenigde Staten verzetten steeds meer vooraanstaande wiskundigen zich tegen door AI gegenereerde bewijzen. Vijfentwintig Fieldsmedaillewinnaars, onder wie Terence Tao en Peter Scholze, zeggen dat onderzoekers door op AI te vertrouwen mogelijk minder goed in staat zijn de redenering achter een bewijs te volgen. Sommigen hebben opgeroepen tot een boycot van door AI gegenereerde resultaten; anderen maken zich zorgen over het grote aantal artikelen waarin inmiddels een AI-tool als coauteur wordt vermeld.
China’s strategie voor AI in de wiskunde
De Chinese alliantie richt zich op de ontwikkeling van gespecialiseerde AI-modellen die bewijzen kunnen produceren die met machines te verifiëren zijn. Ook willen de onderzoekers dat de systemen hun redenering uitleggen, zodat anderen die kunnen controleren. Yau waarschuwde dat China zonder zo’n gezamenlijke inspanning achterop kan raken bij de Verenigde Staten op het gebied van wiskundig onderzoek.
Waarom het ertoe doet
Als de Chinese alliantie slaagt, kunnen AI-tools gemeengoed worden in het wiskundig onderzoek. Dat kan ontdekkingen versnellen, maar ook veranderen hoe bewijzen worden gecontroleerd. Studenten en professionals moeten dan mogelijk nieuwe software leren gebruiken om door AI geproduceerde resultaten te begrijpen of te verifiëren. Het debat in het Westen wijst intussen op een mogelijke tweedeling in de ontwikkeling van het vakgebied.
