I söndags meddelade en grupp under ledning av Fieldsmedaljören Shing-Tung Yau i Peking att den bildar ”Yau Laboratory Alliance for Mathematics and Artificial Intelligence”. Alliansen samlar åtta kinesiska forskningsinstitut och siktar på att bygga upp ett nätverk med fler än 1 000 matematiker som arbetar med AI-verktyg för matematik. Det rapporterade South China Morning Post.
Därför känner sig västerländska matematiker tveksamma
I Europa och USA riktar allt fler framstående matematiker kritik mot AI-genererade bevis. Tjugofem Fieldsmedaljörer, däribland Terence Tao och Peter Scholze, säger att forskare kan få svårare att följa resonemanget bakom ett bevis om de förlitar sig på AI. Vissa har uppmanat till bojkott av AI-genererade resultat, och andra oroas över det stora antalet artiklar där ett AI-verktyg nu anges som medförfattare.
Kinas strategi för AI inom matematiken
Den kinesiska alliansen inriktar sig på att utveckla specialiserade AI-modeller som kan ta fram bevis som går att verifiera maskinellt. Man vill också att systemen ska förklara sina resonemang på ett sätt som andra forskare kan granska. Yau varnade för att Kina kan hamna på efterkälken jämfört med USA inom matematisk forskning om landet inte satsar samordnat.
Varför det spelar roll
Om den kinesiska alliansen lyckas kan AI-verktyg bli standard inom matematisk forskning. Det kan påskynda upptäckter, men också förändra hur bevis verifieras. För studenter och yrkesverksamma kan det innebära att de behöver lära sig ny programvara för att förstå eller kontrollera AI-genererade resultat. Debatten i väst pekar samtidigt på att ämnet kan utvecklas på olika sätt.
