În timp ce majoritatea oamenilor urmăreau finala Cupei Mondiale, un cercetător de la Anthropic punea modelul AI Claude Fable 5 să lucreze la o problemă matematică nerezolvată de 87 de ani. Rezultatul: prima infirmare cunoscută a conjecturii Jacobiene — o demonstrație că afirmația, considerată de mulți matematicieni probabil adevărată, e de fapt falsă.
Ce spune conjectura, pe înțeles
Formulată de matematicianul Ott-Heinrich Keller în 1939, conjectura Jacobiană afirmă că orice transformare polinomială care îndeplinește o anumită condiție tehnică (determinantul Jacobian constant și diferit de zero) trebuie să fie complet inversabilă — adică să existe o funcție inversă, tot polinomială, care „desface" transformarea perfect. Timp de 87 de ani, nimeni n-a putut nici s-o demonstreze, nici s-o infirme.
Cine a făcut descoperirea și cum
Levent Alpöge, teoretician al numerelor și cercetător la Anthropic, a anunțat rezultatul pe rețelele sociale în iulie 2026. Contextul e aproape banal: un prieten l-a întrebat despre conjectură, iar Alpöge a decis să pună Claude Fable 5 să exploreze problema, informal, într-o seară obișnuită. Important de precizat: Anthropic nu a publicat un raport oficial detaliat despre proces — informația vine din postarea personală a lui Alpöge, iar gradul exact de „autonomie" a AI-ului în procesul de descoperire nu e documentat public în detaliu.
Ce înseamnă, de fapt, „contraexemplu"
Aici e o distincție care contează: găsirea unui contraexemplu infirmă o conjectură, nu o confirmă. Concret, Claude Fable 5 a generat o funcție matematică — o hartă polinomială de la spațiul cu trei dimensiuni complexe la el însuși — care are determinantul Jacobian constant, exact condiția cerută de conjectură, dar care nu e complet inversabilă: trei puncte diferite din spațiu ajung, prin această transformare, în exact același punct de ieșire. Rezultat: conjectura e falsă, cel puțin pentru trei dimensiuni sau mai multe.
Ce rămâne nerezolvat
Important: varianta originală a problemei, formulată pentru doar două dimensiuni încă din 1884, rămâne nerezolvată — contraexemplul găsit de Claude Fable 5 nu o atinge deloc. Vânătoarea continuă pentru cazul bidimensional.
Verificat — și surprinzător de ușor de verificat
Spre deosebire de multe demonstrații AI moderne, care se întind pe sute de pagini greu de urmărit, acest contraexemplu e atât de simplu — o formulă de doar 216 caractere — încât orice matematician cu acces la un program de calcul simbolic l-a putut verifica manual în câteva ore. Chiar Terence Tao, unul dintre cei mai respectați matematicieni în viață, a analizat public rezultatul pe blogul lui — și a menționat că a folosit el însuși un chatbot AI pentru a discuta aspecte ale problemei și a confirma calcule. Rezultatul rămâne, tehnic, „în așteptarea recenziei de la egal la egal" pe platforma openconjectures.org, dar validarea informală din comunitate a venit rapid.
Nu primul AI matematician, dar diferit
DeepMind are deja sisteme dedicate matematicii — AlphaProof a atins nivel de medalie de argint la Olimpiada Internațională de Matematică în 2024, iar AlphaEvolve a rezolvat sau îmbunătățit 67 de probleme matematice cunoscute. Diferența notabilă la cazul Alpöge: Claude Fable 5 nu e un sistem specializat antrenat pentru matematică formală, ci un model de conversație generalist, folosit ad-hoc, de un singur cercetător, într-o seară obișnuită — nu rezultatul unui proiect de cercetare dedicat.
Concluzie
Reacțiile din comunitatea matematică rămân prudente, nu triumfaliste — nimeni nu declară asta un punct de cotitură istoric. Dar simplitatea neobișnuită a contraexemplului sugerează ceva interesant: AI-ul generalist ar putea deveni valoros nu doar pentru a construi demonstrații lungi și complexe, ci pentru a descoperi, aproape din întâmplare, obiecte matematice pe care nimeni nu s-a gândit să le caute exact în acel loc.
Fii primul care comentează acest articol!