Claude nu a rezolvat ipoteza Riemann, dar a inspirat un progres in matematica
Un matematician francez a preluat ideile explorate de Claude si a aratat cum pot fi duse mai departe.
Ce se intampla cand ii ceri unui AI sa rezolve o problema care ii pune in dificultate pe matematicieni de peste 160 de ani? In cazul lui Claude, modelul dezvoltat de Anthropic, raspunsul a fost un esec cu o continuare interesanta.
Inteligenta artificiala nu a demonstrat ipoteza Riemann. A obtinut insa un rezultat legat de aceasta, iar Youness Lamzouri, matematician la Universitatea din Lorena, in Franta, a gasit ulterior o demonstratie mai simpla si a dezvoltat idei suplimentare.
Ce este ipoteza Riemann, pe intelesul tuturor
Numerele prime, precum 2, 3, 5, 7 sau 11, sunt numere mai mari decat 1 care se impart exact doar la 1 si la ele insele. Sunt piese de baza ale matematicii, dar felul in care apar printre celelalte numere ascunde inca multe mistere.
In 1859, Bernhard Riemann a formulat o ipoteza care leaga distributia numerelor prime de o functie matematica numita functia zeta.
Mai exact, ipoteza spune ca toate zerourile netriviale ale acestei functii se afla pe aceeasi linie din planul complex, numita linia critica. Un zero este o valoare pentru care rezultatul functiei devine zero.
Pare abstract? Miza este foarte concreta pentru matematicieni: sa inteleaga mai bine ordinea ascunsa in distributia numerelor prime.
Ce a reusit Claude
Dupa sute de abordari care nu au dus la rezolvarea ipotezei, cercetarea s-a concentrat pe o intrebare mai restransa: ce proportie dintre zerouri poate fi demonstrata ca se afla pe linia critica?
O versiune de cercetare a lui Claude a produs o demonstratie potrivit careia peste 67,25% dintre zerourile netriviale sunt simple si se afla pe aceasta linie. Rezultatul a fost verificat ulterior de matematicieni.
Asta nu inseamna ca ipoteza Riemann este „rezolvata in proportie de 67%”. Pentru a o demonstra, trebuie stabilit ca toate zerourile netriviale respecta regula, fara exceptii.
Un matematician a gasit o cale mai clara
Demonstratia produsa de Claude era complicata si greu de urmarit. Lamzouri a cautat o alta abordare, pornind de la literatura matematica folosita in cercetare.
A obtinut acelasi prag printr-un argument mai scurt si mai clar conceptual. Metoda sa a permis si formularea unor rezultate suplimentare.
Valoarea progresului nu sta, asadar, doar intr-un procent. Conteaza si ideile care pot fi intelese, verificate si folosite in alte cercetari.
AI si oamenii pot construi impreuna
Povestea arata o posibilitate interesanta pentru cercetare: inteligenta artificiala poate explora multe directii, iar oamenii pot identifica ideile importante si le pot transforma in explicatii mai utile.
Ipoteza Riemann ramane nerezolvata. Totusi, o incercare care nu si-a atins obiectivul principal a deschis o pista noua. Uneori, si in matematica, o intrebare prea grea te poate conduce spre o descoperire pe care nu o cautai.
