O dovadă produsă de inteligența artificială și anunțată la începutul acestei luni, ca parte a unui lot de 377 de rezultate matematice derivate din IA, îi cucerește pe experții umani care au petrecut ultimele două săptămâni demontând-o. Scriind pe 19 octombrie, Quanta Magazine a raportat că teoreticienii numerelor au dezambalat acum dovada generată de AI a ipotezei cvasi-Riemann - o versiune mai slabă a ipotezei Riemann, probabil cea mai mare întrebare deschisă din matematică - și verdictul lor este neobișnuit de emfatic.
Jared Duker Lichtman de la Universitatea Stanford a numit-o „cea mai semnificativă realizare AI pentru matematică de până acum, cu o marjă destul de mare”. Maksym Radziwiłł de la Universitatea din New York, a cărui muncă proprie stă la baza unor părți ale dovezii, a descris implicațiile drept „uimitoare”. For more context on this story, see our ongoing artificial intelligence updates.
Ce pretinde ipoteza Quasi-Riemann
Ipoteza Riemann este deschisă de mai bine de 160 de ani. Se referă la funcția zeta Riemann și locațiile zerourilor sale netriviale și este strâns legată de modul în care numerele prime sunt distribuite între numerele întregi. Deoarece numerele prime sunt elementele de bază ale aritmeticii, o dovadă ar remodela zone uriașe ale teoriei numerelor.
Ipoteza este una dintre cele șapte probleme ale Premiului Mileniului numite de Institutul de Matematică Clay și a fost singura problemă preluată din faimoasa listă de 23 de probleme a lui David Hilbert anunțată cu un secol mai devreme.
Scheletul tehnic, așa cum prezintă Quanta, a fost cartografiat pas cu pas de generații. Riemann a arătat în 1859 că zerourile netriviale ale funcției zeta guvernează modul în care numerele prime se subțiază de-a lungul liniei numerice și a demonstrat că pot sta doar într-o bandă verticală în care partea reală a intrării se află între zero și unu. În 1896, doi matematicieni au arătat în mod independent că nu se află zerouri pe marginea dreaptă a benzii - un rezultat suficient de puternic pentru a demonstra teorema numerelor prime. Ipoteza în sine spune că toate zerourile netriviale se află exact pe linia mediană a benzii, unde partea reală este egală cu jumătate. Zerourile triviale la numerele întregi negative chiar sunt deja pe deplin înțelese. Mai mult de 160 de ani de efort s-au restrâns și au testat acea bandă fără a fixa vreodată zerourile.
Ipoteza cvasi-Riemann, sau cvasi-RH, este o afirmație strict mai slabă. Chiar și așa, consecințele sale ajung aproape la fel de departe. „Într-un fel, marea majoritate a consecințelor RH rezultă deja din cvasi-RH”, a spus Radziwiłł pentru Quanta.
De la anunț la verificare
Rezultatul a apărut pentru prima dată pe 6 octombrie, când OpenAI a anunțat 377 de rezultate matematice derivate cu sistemele sale AI. Printre matematicienii profesioniști, anunțul a întâlnit inițial un scepticism măsurat – sistemele AI au produs anterior dovezi pretinse care s-au prăbușit sub controlul experților, iar verificarea a fost mult timp blocajul care separă matematica generată de AI de matematica acceptată.
Potrivit raportului Quanta, această dovadă este diferită: spre deosebire de alte dovezi recente de AI, aceasta a fost dezambalată de experți umani. Teoreticienii numerelor, inclusiv Radziwiłł, Alexander Dunn de la Institutul de Tehnologie din Georgia și alții, au lucrat la argument de la anunț, verificându-i pașii și situându-l în cunoștințele existente.
Verificările au rezistat. „Dovada este o sinteză surprinzătoare a unor idei binecunoscute”, a spus Dunn, care împreună cu Radziwiłł a fost pionierat în tehnici pe care se bazează parțial rezultatul.
Idei vechi, conexiuni ascunse
Poate cel mai frapant aspect al demonstrației, i-au spus matematicienii lui Quanta, este ceea ce nu a cerut. Contrar așteptărilor că soluționarea chiar și a unei forme slăbite a ipotezei Riemann ar necesita mașini fundamental noi, dovada produsă de AI nu a introdus concepte noi. În schimb, a scos la iveală conexiuni ascunse între cele consacrate, combinând tehnici într-un mod pe care niciun om nu a asamblat.
Acest model - noutate prin sinteză neașteptată, mai degrabă decât printr-o nouă teorie - apare ca o semnătură a descoperirii matematice asistate de AI și îi determină pe cercetători să reconsidere unde este cel mai probabil să ajungă primul contribuția mașinii la matematică.
De ce contează pentru cercetarea AI
Rezultatul verificat este o piatră de hotar pentru AI pentru matematică, un domeniu care a accelerat rapid pe măsură ce modelele de raționament s-au îmbunătățit. Anunțul OpenAI din 6 octombrie, pe care l-am acoperit atunci când Institutul pentru Studii Avansate a ridicat întrebări cu privire la lotul de rezultate, a fost cea mai mare afirmație unică de matematică derivată din AI până în prezent. Dovada cvasi-RH este primul rezultat din acel lot care a primit o citire detaliată de către expert și a supraviețuit.
Pentru laboratoarele de inteligență artificială, episodul demonstrează un flux de lucru care poate deveni standard: modelele produc dovezi de candidat la scară, iar experții umani triează, verifică și absorb rezultatele care contează. Pentru matematicieni, consecința imediată este mai restrânsă, dar reală - un corp de consecințe ale ipotezei Riemann care nu mai au nevoie de conjectura completă pentru a se susține.
Quanta notează că matematicienii abia încep să analizeze ce înseamnă demonstrația pentru domeniu. După cum a spus Radziwiłł, implicațiile sunt „uimitoare” – un adjectiv rar atașat unui rezultat care se oprește înainte de ipoteza completă.
Episodul stabilește, de asemenea, un etalon pentru revendicările viitoare. Orice laborator AI care anunță progrese matematice va fi acum măsurat în raport cu quasi-RH: un rezultat revendicat care a fost verificat, verificat și acceptat de experții cel mai bine poziționați pentru a-l respinge.
Nimic din toate acestea nu rezolvă ipoteza Riemann în sine. Conjectura completă rămâne deschisă, iar cvasi-RH este strict mai slabă. Dar, pentru prima dată, un sistem AI a produs o dovadă la frontiera teoriei analitice a numerelor pe care specialiștii de frunte din zonă au despachetat și aprobat-o - un fapt care poate spune la fel de mult despre viitorul cercetării matematice ca și teorema în sine.
Acest articol se bazează pe raportarea revistei Quanta, publicată pe 19 octombrie 2026.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
