En allians, och en varning
Kinas ledande matematiker har bildat en allians för att föra in artificiell intelligens i den matematiska forskningen, och Fields-medaljören som leder den säger att landet ligger efter.
Yau Laboratory Alliance for Mathematics and Artificial Intelligence lanserades i Peking i söndags, rapporterar South China Morning Post. Den drivs av Shing-Tung Yau, som fick Fieldsmedaljen 1982, och som varnade för att Kina halkar efter USA i att använda AI för att föra fram forskningsfronten.
Alliansen samlar åtta ledande institutioner och siktar på ett nätverk med mer än 1 000 forskare.
Vad den säger sig ska bygga
Tre saker, enligt SCMP:s skildring av lanseringen. Den första är AI-modeller specialiserade på matematik, till skillnad från allmänna modeller riktade mot matematiska problem. Den andra är att använda modellerna för att generera förmodanden och formalisera bevis — den maskinkontrollerbara sorten, där ett bevisassistentprogram verifierar varje steg i stället för att en granskare läser prosa. Den tredje är att bygga system vars resonemang går lättare att tolka.
Det tredje målet svarar på fältets högljuddaste invändning. Klagomålet mot maskingenererad matematik är sällan att resultaten är fel, utan att ett bevis ingen kan följa inte lär någon någonting. En allians som sätter tolkbart resonemang på sin grundande lista medger problemet och föreslår att lösa det tekniskt.
Tidpunkten
Lanseringen landar mitt i en strid. I början av oktober publicerade OpenAI vad företaget kallade AI-framsteg inom matematiken, och reaktionen från delar av matematikervärlden gick från obehag till en uppmaning att sluta samarbeta med företaget. Yaus allians är ett annat svar på samma sak: inte en bojkott, utan ett försök att organisera fältets egen kapacitet i stället för att förbruka någon annans.
Det är också ett nationellt svar. Yaus egen inramning är tävlingsinriktad — USA ligger före och Kina bör komma ikapp — vilket placerar matematisk AI bredvid chipp och modeller bland det stater nu mäter mot varandra.
Vad som ännu inte är känt
SCMP:s rapport namnger inte de åtta institutionerna, och alliansen har inte publicerat någon forskningsagenda, finansieringssiffra eller tidsplan. Målet om mer än 1 000 forskare är en ambition, inte en medlemsförteckning.
Det finns inte heller någon modell. En allians för att bygga matematikspecifika system är en avsiktsförklaring. Fältet har redan bevisassistenter, formaliseringsprojekt och, från Google DeepMind och OpenAI, system som gett resultat på öppna problem. Det Yau föreslår är ett inhemskt program för att göra det arbetet inne i Kina, samordnat av kinesiska institutioner.
Vad man ska hålla ögonen på
Den användbara signalen blir inget tillkännagivande. Den blir om alliansens medlemmar börjar publicera formaliserade bevis: resultat kontrollerade av ett bevisassistentprogram och släppta med den maskinläsbara artefakten, i stället för beskrivna i ett pressmeddelande.
Det är den produkt alliansens egna uttalade mål förutsätter, och den enda som någon utanför den skulle kunna kontrollera.
