Simons Foundation tillkännagav en ny uppsättning initiativ för att hjälpa matematikgemenskapen att navigera i den snabba ökningen av artificiell intelligens på området, med stöd av $15 miljoner i kombinerad finansiering och resurser från stiftelsen, Anthropic och OpenAI.
Stiftelsen kommer att förvalta och dela ut finansieringen, bland annat genom en öppen utlysning av förslag, för att stödja workshops och initiativ som hjälper forskare att utvärdera nya AI-stödda resultat, lära sig och använda nya verktyg, dela perspektiv och forma kollektiva standarder för hur AI används i matematisk forskning. For more context on this story, see our ongoing more AI stories.
Tools and Compute Beyond Mathematics
Utöver finansieringen kommer Anthropic och OpenAI att tillhandahålla AI-verktyg och datorresurser till forskare med stöd av Simons Foundation. Enligt stiftelsens tillkännagivande sträcker sig stödet bortom matematik för att inkludera grundläggande vetenskap mer brett - en ovanligt direkt kanal mellan frontier AI-laboratorier och arbetande akademiska forskare.
Arrangemanget är anmärkningsvärt för sin struktur: snarare än att labben sätter agendan, styr stiftelsen hur pengarna delas ut, och pressmaterialet betonar att utmärkelserna och resurserna kommer att vara samhällsdrivna.
Varför matematik är frontlinjen
Matematik har blivit en av de mest följdriktiga testgrunderna för AI inom naturvetenskap. Simons Foundation var en tidig understödjare av maskininlärning för vetenskap, inklusive finansiering av utvecklingen av Lean proof-assistenten, som har omformat hur matematiker formaliserar arbetet och gjort AI-assisterade bevis möjliga. Eftersom AI-system i allt högre grad bidrar till matematisk upptäckt, står samhället inför ett praktiskt problem: hur man verifierar, utvärderar och litar på resultat som produceras med betydande maskinassistans.
Det verifieringsproblemet är centralt för vad det nya initiativet finansierar. Workshops och initiativ som syftar till att "utvärdera de senaste AI-assisterade resultaten" erkänner att den traditionella peer review-processen inte utformades för bevis utarbetade med, eller i vissa fall huvudsakligen producerade av, AI-system.
Stiftelsens inramning: Gemenskapen först
Simons Foundations ordförande David Spergel inramade insatsen som ett ögonblick för kollektivt beslutsfattande. "Eftersom artificiell intelligens snabbt omformar forskningslandskapet vill vi hjälpa den matematiska gemenskapen att gå samman och skapa den bästa vägen framåt", sa Spergel i tillkännagivandet. "Nu är det dags att se på matematiken som helhet - inte som en samling bevis och satser, utan som en kollektiv förståelse som drivs av mänsklig nyfikenhet."
Spergel var tydlig om vem som skulle fastställa villkoren för adoption. "Samhället borde driva diskussioner om hur dessa verktyg utvärderas, antas och används, inte något enskilt företag eller institution," sa han. "Målet med programmet är att stödja matematikgemenskapen."
Uttalandet läses som en avsiktlig kontrast till en dynamik som är välbekant över AI-antagande: enskilda institutioner förhandlar fram separata avtal med modellleverantörer, med normer som fastställs av vilket labb eller universitet som går först. Genom att dirigera finansieringen genom en öppen utlysning och betona kollektiva standarder försöker stiftelsen etablera en koordinationspunkt för en disciplin vars produktion – bevis – är ovanligt verifierbar och därför ovanligt utsatt för genvägar med hjälp av AI.
En modell för andra områden
Initiativet kan fungera som en mall bortom matematik. Grundläggande vetenskapsfält står inför samma underliggande fråga – hur man absorberar AI-verktyg utan att överlåta standarder till leverantörerna av dessa verktyg – och Simons Foundations struktur, där en neutral filantropi hanterar resurser som donerats av konkurrerande AI-företag, är ett av de första försöken till ett svar.
Stiftelsens historia gav den trovärdighet att spela den rollen: utöver dess tidiga finansiering av Lean proof-assistenten, har den sammankallat workshops, föreläsningar och samarbeten för att utforska AI:s roll i matematik. Det nya åtagandet på 15 miljoner dollar formaliserar att samla kraft till ett finansierat program i exakt det ögonblick AI-assisterade resultat kommer fram snabbare än vad samhällets normer kan absorbera dem.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
