Site-urile NoaMedia
Ipoteza lui Riemann, o enigmă matematică veche de peste 150 de ani, a înregistrat progrese neașteptate cu ajutorul inteligenței artificiale matematice. Un model nelansat al Anthropic a extins recent limitele inferioare ale soluțiilor ipotezei, într-un experiment desfășurat în cadrul companiei americane. Aceste rezultate pot schimba modul în care AI contribuie la descoperirile matematice complexe.
Pe scurt:
- Un model nelansat al Anthropic a făcut progrese semnificative în extinderea limitei inferioare a soluțiilor ipotezei lui Riemann folosind AI matematică.
- Modelul a testat 650 de idei, coordonând 60 de sub-agenti și consumând 31 milioane de unități de calcul, fiind instruit de un angajat fără pregătire matematică avansată.
- Rezultatele au fost verificate de matematicieni și formalizate cu asistentul Lean, reflectând un trend al descoperirilor matematice facilitate de Modele Mari de Limbaj.
- Aceste progrese au generat dezbateri privind rolul AI în matematică, inclusiv atribuirea autorilor și responsabilitatea pentru corectitudinea demonstrațiilor.
Progrese în rezolvarea ipotezei lui Riemann cu inteligență artificială matematică
Ipoteza lui Riemann rămâne o problemă centrală în matematică de peste 150 de ani, legată de distribuția numerelor prime. În prezent, o demonstrație completă a ipotezei aduce o recompensă de 1 milion de dolari, sumă încă neaccesată.
Modelele actuale de inteligență artificială nu au rezolvat această problemă, însă au avansat semnificativ în înțelegerea ei. Aceste progrese ridică întrebări privind potențialul AI-ului de a genera noi idei matematice și științifice.
Modelul nelansat al Anthropic și ipoteza lui Riemann
Anthropic a anunțat că un model nelansat a făcut pași importanți în extinderea limitei inferioare a soluțiilor pentru care ipoteza lui Riemann este valabilă. Acest rezultat a fost obținut printr-o metodă neconvențională: un angajat fără pregătire matematică avansată a instruit modelul să încerce să demonstreze ipoteza și l-a lăsat să gestioneze procesul timp de o zi și jumătate.
Modelul a testat 650 de idei diferite, coordonând 60 de sub-agenti și consumând 31 milioane de unități de calcul. Dintre acești sub-agenti, doi au dezvoltat ideile matematice principale, 13 au contribuit la aceste idei, 30 au încercat să genereze noi concepte fără succes, 13 au validat corectitudinea argumentelor, iar doi au redactat lucrarea inițială.
Impactul modelelor Anthropic în matematica contemporană
Rezultatele au fost verificate de matematicienii interni ai Anthropic și formalizate cu ajutorul asistentului de demonstrații Lean, open-source. Aceste realizări se înscriu într-un trend al descoperirilor matematice facilitate de Modele Mari de Limbaj (LLM). În acest an, mai multe probleme Erdos au fost rezolvate cu ajutorul AI, iar modele mai puternice au generat rezultate notabile.
OpenAI a publicat recent zece rezultate majore demonstrate de modelul său „Astra”, iar un alt proiect Anthropic a infirmat o veche conjectură Jacobiană. Aceste evoluții au generat atât entuziasm, cât și preocupări în comunitatea matematică.
Dezbateri privind rolul inteligenței artificiale matematice
Un grup de matematicieni a exprimat îngrijorări legate de impactul AI asupra valorilor fundamentale ale matematicii, în special privind atribuirea clară a autorilor demonstrațiilor și responsabilitatea pentru corectitudinea acestora. În schimb, Timothy Gowers, laureat al Medaliei Fields, a sugerat că influența AI ar putea transforma matematica într-un mod complex și pozitiv.
Gowers a comparat situația cu faptul că stelele nu poartă numele astronomilor, sugerând că absența unei asocieri directe între teoreme și matematicieni nu ar fi neapărat problematică.
Noa Insight
Anthropic a dezvoltat un model nelansat de inteligență artificială matematică care a avansat în rezolvarea ipotezei lui Riemann, o problemă matematică veche de peste 150 de ani. Modelul a testat multiple idei și a fost coordonat fără intervenție matematică avansată, demonstrând o metodă neconvențională de cercetare asistată de AI.
Implicații
Progresul modelului Anthropic a fost verificat de matematicieni și formalizat cu un asistent open-source, consolidând utilizarea modelelor AI în demonstrații matematice complexe și influențând cercetarea în domeniul matematicii contemporane.
Elemente-cheie
- Ipoteza lui Riemann este o problemă matematică legată de distribuția numerelor prime, cu o recompensă de un milion de dolari pentru demonstrarea completă.
- Modelul a testat 650 de idei, a coordonat 60 de sub-agenti și a consumat 31 milioane de unități de calcul în procesul de cercetare.
- Rezultatele au fost verificate intern și formalizate cu ajutorul asistentului de demonstrații Lean, un instrument open-source.
Sursa originală a acestui articol este https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/ (link)
