Douăzeci și cinci de matematicieni de frunte au semnat o scrisoare deschisă în care susțin că laboratoarele de IA le amenință munca intelectuală, întrecându-se în a rezolva probleme celebre de matematică. Fiecare semnatar a primit Medalia Fields, cel mai prestigios premiu din matematică și, până de curând, o modalitate sigură de a-i face pe oameni să te asculte când spui că ceva este o problemă.

Escaladarea vine pe mai multe fronturi. Săptămâna aceasta, profesorul Tristan Buckmaster de la NYU a acuzat OpenAI că l-a presat să nu acorde credit unui colaborator care lucrează pentru Anthropic pentru rezolvarea unei probleme importante de matematică și s-a întrebat dacă compania le-a folosit munca cu Codex pentru a-și produce propria demonstrație revoluționară într-un weekend maraton de inferență. Joi, OpenAI și-a retras sponsorizarea unui eveniment de matematică de la CalTech după ce compania a fost criticată de cercetătorii universității – o mișcare care încheie dezbaterea dacă sponsorizarea poate fi revocată mai repede decât poate fi verificată o demonstrație.

Deși modelele de IA care rezolvă provocările matematice nerezolvate ale lumii ar putea fi teoretic un beneficiu pentru umanitate, semnatarii susțin că acest lucru se va întâmpla doar dacă acele soluții pot fi înțelese și comunicate de comunitatea matematică și, în cele din urmă, de restul lumii. Ceea ce este o modalitate politicoasă de a spune: o demonstrație pe care nimeni nu o poate citi este doar un număr foarte scump.

„Adesea aceste soluții sunt anunțate în grabă, fără timp pentru o redactare corespunzătoare, izolarea metodelor și ideilor noi și citarea lucrărilor anterioare relevante ale altora”, au scris ei – observând că demonstrația OpenAI rămâne neverificată. „Ca în toate profesiile creative, acest lucru ridică întrebări severe de atribuire și plagiat. Mai mult, fără matematicienii dispuși care trebuie să se ocupe de dezvoltarea și integrarea lor în canonul matematic, ideile concepute de IA nu ar deveni niciodată pe deplin vii, iar crucialul lanț de transmisie umană între matematicieni s-ar pierde.”

În timp ce alți matematicieni devin paranoici și se întreabă dacă utilizarea lor a Codex a fost la rândul ei alimentată în noile modele OpenAI, există o teamă reală că cultura cercetării deschise va fi amenințată. Astăzi, dacă laboratoarele de frontieră văd o cale utilă către o descoperire, pot cheltui zeci de milioane de dolari folosind LLM-uri pentru a-i întrece pe cercetătorii originali într-o demonstrație – o dinamică ce va încuraja secretul, care este istoric exact opusul modului în care ar trebui să funcționeze matematica.

Această scrisoare urmează Declarației de la Leiden, publicată de un grup de lucru de matematicieni în iunie. Acel document se confruntă, de asemenea, cu modurile în care demonstrațiile LLM vor schimba munca lor și oferă un set de recomandări pentru matematicieni, instituții și factori de decizie politică, probabil inclusiv „poate așteptați recenzia peer”.

Ca și în cazul ingineriei software și al altor domenii în care instrumentele IA schimbă fluxurile de lucru, matematicienii găsesc o justificare în munca din jurul muncii: Valoarea în matematică nu constă doar în demonstrații și cine primește creditul, ci în superstructura intelectuală care hrănește studenții, găsește noi întrebări și idei și le integrează în civilizația umană mai largă. Cu alte cuvinte, răspunsul nu este esențial – dezbaterea despre răspuns este esențială.

Și dacă nu vă pasă în mod deosebit de lumea nemiloasă a demonstrațiilor matematice de miză mare, nu uitați: domeniul vostru de interes este următorul.

„Problemele cu care se confruntă acum comunitatea matematică sunt similare cu problemele cu care se confruntă alte profesii științifice și creative și indică probleme cu care s-ar putea confrunta întreaga umanitate: cum să ne asigurăm că, pe măsură ce IA schimbă modul în care se face munca, nu pierdem din vedere ceea ce acea muncă trebuia să realizeze în primul rând”, au scris ei. Ceea ce este cea mai diplomatică modalitate posibilă de a spune: ne descurcam bine înainte să apăreți voi.