O versiune de cercetare inedită a lui Claude de la Anthropic a îmbunătățit un rezultat matematic de lungă durată legat de ipoteza Riemann, ridicând limita inferioară cunoscută pentru fracția de zerouri conforme de la 41,6% la 67,2%. Descoperirea, publicată de Anthropic pe 10 august 2026, a apărut nu ca un proiect de cercetare țintit, ci ca un produs secundar neașteptat al unei provocări întâmplătoare: încercați cu adevărat una dintre cele mai faimoase probleme nerezolvate din întreaga matematică. Pentru cele mai recente evoluții în descoperirea bazată pe inteligență artificială, urmați AI Buzz Wire pentru o acoperire continuă.

Ipoteza Riemann, propusă pentru prima dată de Bernhard Riemann în 1859, se referă la distribuția numerelor prime și are o recompensă de un milion de dolari de la Institutul de Matematică Clay. Rămâne nedovedită. Deși Claude nu a rezolvat ipoteza în sine, munca modelului asupra unei sub-probleme conexe reprezintă un avans real în teoria numerelor - unul pe care matematicienii umani l-au validat.

Cum a început provocarea

Efortul a început atunci când Jarred Sumner, un membru al personalului Anthropic care nu este matematician, l-a determinat pe Claude să „ipună cu adevărat” ipoteza Riemann, lăsând toate deciziile matematice la latitudinea modelului. Încercarea inițială a lui Claude a implicat generarea și testarea a aproximativ 650 de idei, dintre care niciuna nu a dat rezultate. După ce Sumner a încurajat modelul să încerce din nou, Claude a petrecut aproximativ o zi și jumătate coordonând aproximativ 60 de subagenți care au explorat problema mai profund.

În timpul acestei a doua încercări, Claude a descoperit o modalitate de a depăși limita inferioară de ultimă generație. Modelul a constatat că combinarea rezultatelor matematicienilor Baluyot, Goldston, Suriajaya și Turnage-Butterbaugh cu lucrările anterioare ale lui Bombieri a oferit o cale de a împinge proporția cunoscută de zerouri care satisfac ipoteza de la 41,6% la 67,2%.

Un sistem de auto-verificare, care se îndoiește de sine

Ceea ce face rezultatul deosebit de izbitor este cât de riguros și-a verificat Claude propria descoperire înainte de a o prezenta. Modelul a trimis subagenți pentru a revizui dovezile, a căuta contraexemple, a descărca 54 de lucrări din arXiv pentru a confirma că rezultatul nu a fost deja publicat și pentru a demonstra independent descoperirea de la zero. Întregul efort a consumat 31 de milioane de jetoane de ieșire în două sesiuni în Claude Code.

Poate cel mai remarcabil, Claude a fost inițial sceptic cu privire la propriul rezultat. Modelul a învățat din datele de instruire despre dificultatea extremă a problemelor deschise în matematică și limitele cunoscute ale sistemelor AI. Se pare că a avut nevoie de sugestii încurajatoare înainte ca Claude să accepte că constatarea sa este validă. După cum a remarcat Anthropic în anunțul său: „Poate că Claude, ca mulți dintre noi, subestimează rata progresului AI”.

Validare umană și verificare formală

Constatarea nu s-a bazat doar pe cuvântul lui Claude. Doi matematicieni de la Anthropic - Levent Alpöge și Ralph Furman - au studiat lucrările lui Claude și au produs o notă tehnică informală pentru experți. Alpöge făcuse anterior titluri pentru că a folosit Claude pentru a infirma conjectura jacobiană veche de 87 de ani, o descoperire matematică separată raportată la începutul lunii august.

Claude a produs, de asemenea, o dovadă formală verificată de mașină a rezultatului său folosind Lean, un asistent de demonstrare care verifică argumentele matematice cu ajutorul software-ului. Formalizarea, creată împreună cu membrul personalului Anthropic Eric Easley, trece de instrumentul standard de validare numit comparator.

Experții externi Brian Conrey și Dan Goldston, ambii autorități recunoscute în studiul funcției zeta Riemann, au examinat lucrarea cu un preaviz scurt și au validat abordarea.

Ce înseamnă rezultatul

Funcția zeta Riemann descrie distribuția numerelor prime: fiecare zero al funcției contribuie succesiv cu detalii mai fine la succesiunea numerelor prime. Ipoteza Riemann prezice că toate zerourile care determină numerele prime se află de-a lungul unei singure linii verticale în planul complex. Demonstrarea acestui lucru a devenit una dintre cele mai importante presupuneri din matematică, cu sute de rezultate depinzând de aceasta ca o presupunere.

Deși nimeni nu a dovedit sau infirmat ipoteza completă, matematicienii au făcut progrese progresive cuantificând proporția minimă de zerouri care se află pe linie. De-a lungul deceniilor de cercetare, acea constantă cunoscută a fost împinsă la 41,6%. Îmbunătățirea lui Claude la 67,2% este cel mai mare salt unic din această măsură din ultimii ani.

Anthropic a avertizat că tehnicile folosite de Claude este puțin probabil să conducă la o demonstrație completă a ipotezei Riemann. Cu toate acestea, rezultatul demonstrează că modelele AI pot extinde raza de acțiune a ideilor matematicienilor în direcții noi și uneori surprinzătoare.

Un model de descoperiri matematice AI

Avansul zeta Riemann urmează o listă tot mai mare de descoperiri matematice asistate de AI. La începutul anului 2026, un model OpenAI numit Astra a rezolvat zece probleme matematice nerezolvate de mult cu dovezi verificate de mașină. Claude Fable 5 al lui Anthropic infirmase conjectura jacobiană cu săptămâni mai devreme. Aceste rezultate sugerează că modelele AI de frontieră se deplasează dincolo de recunoașterea modelelor și generarea de text pe teritoriul cercetării matematice autentice.

Descoperirea lui Claude Riemann zeta se deosebește într-un singur aspect: nu a fost produsul unui program de cercetare dirijată. A apărut atunci când un non-matematician a adresat unui model AI o întrebare nerezonabilă, iar modelul a răspuns cu ceva ce niciun om nu a mai găsit până acum.

Rămâi înaintea AI

Pentru cele mai recente știri de ultimă oră, descoperiri în cercetare și analize din industrie, accesați AI Buzz Wire.

Citiți mai multe știri AI