În luna mai a acestui an, compania OpenAI a făcut un anunț remarcabil: unul dintre modelele lor de inteligență artificială a reușit să demonstreze că presupunerea privind distanța unitară a lui Erdős, o problemă celebră din geometria discretă, nu este adevărată. Această problemă a fost un mister pentru matematicienii umani timp de opt decenii.
OpenAI a permis accesul timpuriu la rezultate pentru câțiva matematicieni de frunte, care au publicat reacțiile lor. Tim Gowers, laureat al Medaliei Fields, cel mai prestigios premiu în matematică, a afirmat că soluția acestei probleme reprezintă un moment de cotitură în matematica AI. Daniel Litt, profesor la Universitatea din Toronto, a exprimat entuziasmul său, subliniind că acesta este primul rezultat produs autonom de o IA care este interesant în sine, nu doar ca un indicator al viitorului.
Este posibil să fie pentru prima dată când un sistem de AI descoperă o demonstrație care rezolvă o conjectură majoră nesoluționată. Deși impresionant, acest progres nu este văzut ca o ruptură radicală de evoluțiile anterioare ale IA în domeniul matematicii.
Acum trei ani, modelele de limbaj de mare capacitate (LLMs) abia reușeau să rezolve probleme de aritmetică elementară. Abia anul trecut, aceste modele au început să exceleze în competițiile de matematică de nivel liceal.
Participând la întâlnirile comune de matematică, cea mai mare conferință anuală de matematică din lume, în ianuarie, am aflat că sistemele de IA încep să contribuie la cercetarea matematică, dar doar în setări limitate. A fost necesară o semnificativă interpretare umană pentru a transforma rezultatele IA în teoreme publicabile.
Noul rezultat al OpenAI reprezintă următorul pas în această evoluție. Modelul de IA a aplicat în mod ingenios idei existente din mai multe subdomenii ale matematicii pentru a crea o demonstrație completă. Totuși, nu a pionierat tehnici cu totul noi. Rezultatul a fost ulterior îmbunătățit și extins de matematicieni umani.
Aceasta sugerează un viitor pe termen mediu în care matematicienii umani și modelele de IA se vor completa reciproc: IA deține o cunoaștere mai vastă a lucrărilor anterioare decât orice om viu și o disponibilitate mai mare de a persevera prin strategii de demonstrație plictisitoare care s-ar putea să nu funcționeze. Dar oamenii pot totuși să gândească mai profund despre orice problemă și să pună întrebări mai interesante.
Cu toate acestea, acest echilibru s-ar putea să nu dureze. Sistemele de IA s-au îmbunătățit atât de rapid în matematică încât nu este clar ce rol, dacă va exista vreunul, vor juca matematicienii umani peste un deceniu.
Paul Erdős, unul dintre cei mai prolifici matematicieni din istorie, a introdus problema distanței unitare în 1946. Imaginează-ți că ai câteva puncte într-un plan bidimensional și măsori distanța dintre fiecare pereche de puncte. Acesta a fost punctul de plecare pentru una dintre cele mai fascinante provocări matematice ale secolului trecut, care acum pare să-și găsească rezolvarea în era inteligenței artificiale.
Sursa: Ars Technica
Poll: Care este opinia ta cu privire la contribuția inteligenței artificiale în rezolvarea problemelor matematice complexe, precum problema distanței unitare lui Erdős?
Revista “Ştiinţă şi Tehnică“, cea mai cunoscută şi longevivă publicaţie de popularizare a ştiintelor din România
Leave a Reply