Allians för matematik och AI etablerad vid Tsinghua-universitetet

En allians för matematiska och artificiell intelligens-laboratorier etablerades vid Tsinghua-universitetet i Peking den 11 oktober. Det nya forskningsinitiativet syftar till att fördjupa integrationen mellan AI och matematik inom flera nyckelområden.

Alliansen kommer att fokusera på att utveckla stora modeller dedikerade till matematisk vetenskap, AI-assisterade matematiska formella bevis och upptäckt av förmodanden, samt förklarbar AI och tvärvetenskaplig intelligent databehandling. Detta steg kommer vid en tidpunkt då AI-teknologi, som OpenAI:s nyliga publicering av 722 matematiska forskningsmanuskript, har börjat ha en betydande inverkan på matematisk forskning.

Shing-Tung Yau, ledaren för alliansen och dekanus för Qiu Chengtong Academy vid Tsinghua-universitetet, betonade vikten av att anpassa matematiken till AI-eran under invigningsceremonin. Han noterade att AI:s framväxt tvingar fram en omvärdering av matematikens grundläggande värden och kräver att forskare aktivt deltar i dess utveckling.

Vid etableringen presenterade alliansen över tio viktiga "AI + matematik"-resultat och forskningsinriktningar. Dessa täcker olika vetenskapliga områden, inklusive geometri, kvantberäkning och biovetenskap. Till exempel användes AI för att assistera i utforskningen av bevisstrategier och förenkling av beräkningar i ett forskningsprojekt, medan matematiker fokuserade på den teoretiska utvecklingen av beviset.

Alliansen samlar över 1000 matematiker och forskare från ledande institutioner i Kina. Målet är att erbjuda avancerad vägledning till unga forskare och studenter samt att främja resursintegration för att utveckla Kinas egna matematiska AI-modeller.