O întâlnire specială în care matematicienii încearcă să învingă inteligența artificială

Într-un weekend de la mijlocul lunii mai, a avut loc o întâlnire secretă a lumii matematicii. 30 dintre cei mai importanți matematicieni ai lumii au călătorit în secret la Berkeley, California, SUA, pentru a participa la o confruntare cu un chatbot capabil să „raționeze”. Chatbot-ul avea sarcina de a rezolva probleme scrise chiar de matematicieni, pentru a-și testa abilitățile de rezolvare a problemelor.

După două zile în care li s-au pus încontinuu întrebări de nivel profesoral, matematicienii au fost surprinși să realizeze că acest chatbot putea rezolva unele dintre cele mai dificile probleme rezolvate vreodată în istorie.

„I-am văzut pe colegi spunând direct că acest model lingvistic amplu se apropie de nivelul geniului matematic”, a declarat pentru Scientific American Ken Ono, profesor la Universitatea din Virginia, președintele și judecătorul întâlnirii.

Chatbot-ul care ne-a atras atenția este susținut de o4-mini , un model de limbaj extins (LLM) conceput pentru raționament complex. Este un produs OpenAI și este antrenat să efectueze raționament sofisticat. Modelul echivalent de la Google, Gemini 2.5 Flash, are capabilități similare.

La fel ca modelele anterioare de învățare în cunoștință de cauză ChatGPT, o4-mini învață să prezică următorul cuvânt dintr-un șir de text. Cu toate acestea, o4-mini este o versiune mai ușoară și mai flexibilă, antrenată pe baza unor date detaliate și atent ajustată de oameni — permițându-i să abordeze probleme matematice pe care modelele anterioare nu le puteau aborda.

Pentru a testa capacitățile modelului o4-mini, OpenAI a solicitat companiei Epoch AI, o organizație non-profit specializată în testarea modelelor LLM, să creeze 300 de întrebări matematice nepublicate anterior. Deși LLM-urile tradiționale pot rezolva multe probleme complexe, atunci când au fost provocate cu întrebări complet noi, majoritatea au răspuns corect la mai puțin de 2% întrebări, ceea ce sugerează că nu erau cu adevărat capabile să raționeze.

În noul proiect de evaluare, Epoch AI l-a recrutat pe tânărul matematician Dr. Elliot Glazer ca lider. Noul proiect, numit FrontierMath , va fi implementat din septembrie 2024.

Proiectul colectează întrebări noi pe patru niveluri de dificultate, de la studii universitare de licență, masterat și cercetare avansată. Până în aprilie 2025, Glazer a descoperit că o4-mini putea rezolva aproximativ 20% din probleme. Așa că a trecut până la nivelul 4 - cerându-i să rezolve probleme cu care chiar și matematicienii avansați s-ar confrunta cu dificultăți.

Participanții au fost obligați să semneze un acord de confidențialitate și au putut comunica doar prin intermediul aplicației criptate Signal, deoarece utilizarea e-mailului ar putea permite LLM să scaneze și să „mirosească” conținutul, falsificând astfel datele de evaluare.

Fiecare problemă pe care o4-mini nu o poate rezolva va aduce celui care o pune un premiu de 7.500 USD.

Echipa inițială a făcut progrese lente, dar constante, în găsirea de răspunsuri la întrebări. Însă Glazer a decis să accelereze lucrurile organizând o întâlnire față în față în perioada 17-18 mai. Cei 30 de matematicieni participanți au fost împărțiți în grupuri de câte șase, concurând unii împotriva altora - nu pentru a rezolva probleme, ci pentru a veni cu probleme pe care inteligența artificială nu le putea rezolva.

Până în seara zilei de 17 mai, Ken Ono începea să fie frustrat de chatbot, care demonstra un nivel de competență matematică mult peste așteptări, ceea ce făcea dificilă pentru echipă să-l „prindă”. „Am venit cu o problemă pe care experții în domeniu ar recunoaște-o ca fiind o problemă deschisă în teoria numerelor - o problemă potrivită pentru un doctorat”, a spus el.

Drept urmare, când a întrebat o4-mini, a fost uimit să vadă chatbot-ul analizând, raționând și găsind soluția corectă în doar 10 minute. Mai exact, în primele două minute, a învățat și a înțeles toate documentele relevante. Apoi, și-a propus să încerce o versiune mai simplă a problemei pentru a învăța cum să o abordeze.

Cinci minute mai târziu, chatbot-ul a dat răspunsul corect, vorbind pe un ton încrezător – chiar arogant. „A început să devină obraznic”, spune Ono, „și a adăugat: «Nu este nevoie de citat pentru că am descoperit numărul secret!»”

Învins de inteligența artificială, în dimineața zilei de 18 mai, Ono a trimis imediat un mesaj de avertizare echipei prin Signal. „Eram complet nepregătit să mă confrunt cu un model ca acesta”, a spus el. „Nu mai văzusem niciodată un astfel de raționament într-un model computerizat. Gândea așa cum ar gândi un om de știință adevărat. Și asta era înfricoșător.”

Deși matematicienii au reușit în cele din urmă să găsească 10 întrebări care l-au lăsat pe o4-mini în impas, tot nu și-au putut ascunde șocul față de viteza de dezvoltare a inteligenței artificiale în doar un an.

Ono compară experiența de lucru cu o4-mini cu colaborarea cu un coleg foarte talentat. Iar Yang Hui He, matematician la Institutul de Științe Matematice din Londra și pionier în aplicarea inteligenței artificiale în matematică, comentează: „Asta poate face un doctorand foarte, foarte talentat - și chiar mai mult.”

Și trebuie menționat că inteligența artificială face acest lucru mult mai rapid decât oamenii. În timp ce oamenilor le ia săptămâni sau luni să îl rezolve, o4-mini are nevoie de doar câteva minute.

Entuziasmul din jurul modelului o4-mini nu este lipsit de îngrijorări. Atât Ono, cât și He avertizează că capacitățile modelului o4-mini pot face oamenii prea încrezători. „Avem dovezi prin inducție, dovezi prin contradicție și acum dovezi prin... copleșire”, spune He. „Dacă spui ceva cu suficientă încredere, oamenii vor fi intimidați. Cred că o4-mini a stăpânit acest tip de demonstrație: spune totul cu mare încredere.”

La sfârșitul întâlnirii, matematicienii au început să se gândească la viitorul matematicii. Au discutat despre posibilitatea unui „al cincilea nivel” - întrebări pe care nici măcar cei mai buni matematicieni din lume nu le pot rezolva. Dacă inteligența artificială va atinge acest prag, rolul matematicienilor se va schimba dramatic: poate că vor deveni persoane care pun întrebări, interacționând cu inteligența artificială și ghidând raționamentul acesteia pentru a descoperi noi adevăruri matematice - similar modului în care un profesor lucrează cu un student absolvent.

„Le spun colegilor mei de mult timp că ar fi o greșeală uriașă să credem că inteligența artificială generală nu va exista niciodată, că este doar un computer”, a spus Ono. „Nu vreau să intru în panică, dar într-un fel, aceste modele lingvistice mari încep deja să-i depășească pe cei mai buni doctoranzi din lume.”

(Vietnam+)

Sursă: https://www.vietnamplus.vn/cuoc-gap-go-dac-biet-noi-cac-nha-toan-hoc-tim-cach-danh-bai-tri-tue-nhan-tao-post1043183.vnp