Spoj matematike i umjetne inteligencije za otkriće

Henry Kvinge, istraživač umjetne inteligencije u Pacifičkom sjeverozapadnom nacionalnom laboratoriju (PNNL), predvodio je revolucionarne napore da se premosti jaz između matematike i umjetne inteligencije. Njegov tim je stvorio sveobuhvatnu "mapu matematike" temeljenu na ugrađenim tekstovima izvedenih iz Lean Mathematical Library (Mathlib), repozitorija formalnih matematičkih dokaza.

Ovaj alat pruža novi način istraživanja strukture i odnosa unutar matematičkog znanja, nudeći uvide koji bi mogli koristiti i programerima umjetne inteligencije i matematičarima. Kvinge, koji je prvobitno obučen kao matematičar, dugo je bio zainteresiran za presjek umjetne inteligencije i matematike. On vjeruje da se dva polja mogu međusobno poboljšati. Na primjer, umjetna inteligencija može pomoći u analizi i generiranju matematičkog sadržaja, dok matematika nudi rigorozan okvir za razumijevanje ponašanja umjetne inteligencije. Njegov rad se fokusira na kombinatoriku, granu matematike koja se bavi diskretnim strukturama poput grafova i permutacija.

Ova je polja posebno pogodna za primjene umjetne inteligencije zbog svoje strukturirane prirode i obilja podataka. Kako bi podržali ovaj interdisciplinarni pristup, Kvinge i njegov tim razvili su skupove podataka koji predstavljaju stvarnu matematiku na razini istraživanja i alate za ubrzanje matematičkog otkrića pomoću umjetne inteligencije. Ti resursi imaju za cilj poboljšati učinkovitost i dubinu matematičkog istraživanja, omogućujući znanstvenicima da istražuju složene probleme s većom preciznošću. Osim toga, identificirali su matematičke simetrije unutar modela umjetne inteligencije, koji nude nove načine tumačenja i objašnjenja kako ti modeli funkcioniraju interno.

Kao ključni partner u Genesis misiji, inicijativi Ministarstva energetike čiji je cilj stvaranje najmoćnije svjetske znanstvene platforme, doprinosi inicijativama koje nastoji ubrzati otkriće, ojačati nacionalnu sigurnost i pokrenuti energetske inovacije. Filozofija njegovog tima naglašava ne samo rješavanje problema, već i na način koji izaziva nove ideje i perspektive među istraživačima.

Glavni aspekt trenutnog istraživanja Kvingea uključuje ispitivanje da li veliki jezični modeli (LLM), vrsta AI-a koja stoji iza chatbota i pomoćnika za kodiranje, koriste iste opće principe koje ljudi primjenjuju pri obavljanju matematičkih zadataka.

Na primjer, znamo da će se lopta postavljena na vrhu brda spustiti nizbrdo bez da je svjedočila da se to dogodilo. Budući da LLM-ovi djeluju u čisto digitalnom okruženju, matematika služi kao koristan posrednik za proučavanje kako ti modeli obrađuju i rješavaju probleme.

Kvingeov kontinuirani rad nastavlja pomicati granice onoga što je moguće kada matematika i umjetna inteligencija surađuju, nudeći uvid u budućnost računalnog otkrića.