Un sistem de inteligență artificială dezvoltat de start-up-ul Axiom a reușit să furnizeze dovezi pentru mai multe ipoteze matematice care, timp de ani de zile, au rămas fără soluție.
Sistemul AxiomProver a generat în ultimele săptămâni dovezi noi în domenii precum teoria numerelor și geometria algebrică — ramuri ale matematicii care presupun un nivel ridicat de raționament abstract.
Compania apreciază că aceste rezultate sugerează o maturizare a capacităților inteligenței artificiale în sarcini care necesită logică formală și gândire complexă.
Astfel AI a oferit soluții pentru patru întrebări care au blocat comunitatea științifică ani la rând. Instrumente de acest tip sunt deja folosite de matematicieni pentru a testa ipoteze și a explora direcții noi de cercetare
.„Cred că inteligența artificială va deveni un nou instrument intelectual — sau, mai degrabă, un partener intelectual — care va deschide orizonturi mai largi pentru cercetarea matematică”, a declarat matematicianul Dawei Chen.
Unul dintre rezultatele recente se referă la o ipoteză formulată în urmă cu cinci ani de Chen și colegul său, Quentin Gendron. La acel moment, cei doi nu reușiseră să demonstreze o formulă-cheie din teoria numerelor și publicaseră ideea doar sub forma unei ipoteze. Problema a revenit recent în discuție într-un dialog între Chen și matematicianul Ken Ono, care s-a alăturat echipei Axiom. A doua zi, Ono a prezentat o demonstrație generată de AxiomProver. După revizuiri și ajustări realizate de cercetători, rezultatul a fost publicat pe platforma academică arXiv.
