Fundația Simons a anunțat un nou set de inițiative pentru a ajuta comunitatea de matematică să navigheze în creșterea rapidă a inteligenței artificiale în domeniu, susținute de 15 milioane de dolari în finanțare și resurse combinate de la fundație, Anthropic și OpenAI.
Fundația va gestiona și va acorda finanțarea, inclusiv printr-o cerere deschisă de propuneri, pentru a sprijini ateliere și inițiative care îi ajută pe cercetători să evalueze rezultatele recente asistate de IA, să învețe și să utilizeze noi instrumente, să împărtășească perspective și să modeleze standarde colective privind modul în care IA este utilizată în cercetarea matematică. For more context on this story, see our ongoing breaking AI news.
Instrumente și calcul dincolo de matematică
Dincolo de finanțare, Anthropic și OpenAI vor oferi instrumente AI și resurse de calcul cercetătorilor susținuți de Fundația Simons. Potrivit anunțului fundației, acest sprijin se extinde dincolo de matematică pentru a include știința de bază mai larg - un canal neobișnuit de direct între laboratoarele de IA de frontieră și cercetătorii academicieni activi.
Aranjamentul este remarcabil prin structura sa: mai degrabă decât laboratoarele care stabilesc agenda, fundația controlează modul în care banii sunt alocați, iar materialul de presă subliniază că premiile și resursele vor fi conduse de comunitate.
De ce matematica este prima linie
Matematica a devenit unul dintre cele mai importante baze de testare pentru AI în știință. Fundația Simons a susținut timpurie învățarea automată pentru știință, inclusiv finanțarea dezvoltării asistentului Lean proof, care a remodelat modul în care matematicienii formalizează munca și a făcut posibile dovezile asistate de AI. Pe măsură ce sistemele AI contribuie din ce în ce mai mult la descoperirea matematică, comunitatea se confruntă cu o problemă practică: cum să verifice, să evalueze și să aibă încredere în rezultatele produse cu asistență substanțială a mașinii.
Această problemă de verificare este esențială pentru ceea ce finanțează noua inițiativă. Atelierele și inițiativele care vizează „evaluarea rezultatelor recente asistate de IA” recunosc că procesul tradițional de evaluare inter pares nu a fost conceput pentru dovezi redactate cu, sau în unele cazuri produse în mod substanțial de sisteme AI.
Încadrarea fundației: Comunitatea în primul rând
Președintele Fundației Simons, David Spergel, a încadrat efortul ca un moment pentru luarea deciziilor colective. „Pe măsură ce inteligența artificială remodelează rapid peisajul cercetării, dorim să ajutăm comunitatea matematică să se unească și să creeze cea mai bună cale de urmat”, a spus Spergel în anunț. „Acum este momentul să privim matematica ca un întreg – nu ca o colecție de dovezi și teoreme, ci ca o înțelegere colectivă condusă de curiozitatea umană”.
Spergel a fost explicit despre cine ar trebui să stabilească condițiile adopției. „Comunitatea ar trebui să conducă discuții cu privire la modul în care aceste instrumente sunt evaluate, adoptate și utilizate, nu o singură companie sau instituție”, a spus el. „Scopul programului este de a sprijini comunitatea de matematică”.
Declarația este un contrast deliberat cu o dinamică familiară în adoptarea AI: instituții individuale care negociază acorduri separate cu furnizorii model, cu norme stabilite de laboratorul sau universitatea care se mișcă mai întâi. Prin direcționarea finanțării printr-un apel deschis și subliniind standardele colective, fundația încearcă să stabilească un punct de coordonare pentru o disciplină a cărei rezultate - dovezi - este neobișnuit de verificabil și, prin urmare, este neobișnuit de expusă la comenzi rapide asistate de AI.
Un model pentru alte domenii
Inițiativa poate servi ca un șablon dincolo de matematică. Domeniile științifice de bază se confruntă cu aceeași întrebare de bază - cum să absorbiți instrumentele AI fără a ceda standarde vânzătorilor acelor instrumente - iar structura Fundației Simons, în care o filantropie neutră gestionează resursele donate de companiile AI concurente, este una dintre primele încercări de a găsi un răspuns.
Istoria fundației ia dat credibilitate să joace acest rol: dincolo de finanțarea timpurie a asistentului Lean proof, a organizat ateliere, prelegeri și colaborări care explorează rolul AI în matematică. Noul angajament de 15 milioane de dolari oficializează faptul că atragerea puterii într-un program finanțat exact în momentul în care rezultatele asistate de AI ajung mai repede decât le pot absorbi normele comunității.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
