Serija ‘Što je sljedeće’ MIT Technology Reviewa istražuje industrije, trendove i tehnologije, pružajući vam prvi pogled na budućnost. U travnju je američka Agencija za napredne istraživačke projekte u obrani (DARPA) pokrenula novu inicijativu pod nazivom expMath, koja se nada ubrzati napredak u području istraživanja koje je temelj širokog spektra ključnih primjena u stvarnom svijetu, od računalnih znanosti do medicine i nacionalne sigurnosti.
“Matematika je izvor ogromnog utjecaja, ali se uglavnom radi na način na koji se radila stoljećima—ljudi stojeći pred pločama,” rekao je program menadžer DARPA-e Patrick Shafto u videu koji predstavlja inicijativu. Moderni svijet temelji se na matematici, koja nam omogućuje modeliranje složenih sustava poput protoka zraka oko zrakoplova, fluktuacija financijskih tržišta i protoka krvi kroz srce. Napredak u naprednoj matematici može otključati nove tehnologije, poput kriptografije koja je bitna za privatno komuniciranje i online bankarstvo, te kompresije podataka koja omogućuje prijenos slika i videa putem interneta.
No, napredak u matematici može trajati godinama. DARPA želi ubrzati stvari. Cilj expMath-a je potaknuti matematičare i istraživače umjetne inteligencije da razviju alat za suradnju s umjetnom inteligencijom, koji bi mogao razlomiti velike i složene matematičke probleme na manje i jednostavnije, koje je lakše razumjeti i brže riješiti.
Matematičari koriste računala već desetljećima kako bi ubrzali izračune ili provjerili istinitost određenih matematičkih izjava. Nova vizija je da bi im AI mogao pomoći riješiti probleme koji su prethodno bili nerješivi. No, postoji velika razlika između AI koja može riješiti probleme postavljene u srednjoj školi i AI koja bi mogla (teoretski) riješiti probleme s kojima se profesionalni matematičari bave tijekom cijele svoje karijere.
Na jednoj strani su alati koji bi mogli automatizirati određene zadatke za koje su zaposleni matematičari; na drugoj su alati koji bi mogli pomaknuti ljudsko znanje izvan postojećih granica. Unatoč napretku, još uvijek ima mnogo neodgovorenih pitanja i problema koje AI ne može riješiti. Jedan od izazova je da AI treba upravljati stvarno velikim nizovima koraka kako bi riješila kompleksne matematičke probleme.
Nedavno je startup Epoch AI razvio novi test pod nazivom FrontierMath, koji je dizajniran za ispitivanje granica onoga što današnja AI može učiniti. Većina problema nije viđena prije i većina se drži u tajnosti kako bi se izbjeglo zagađivanje podataka za obuku. FrontierMath ima potencijal postati industrijski standard.
Iako su alati poput AlphaEvolve i PatternBoost u velikoj mjeri korisni, istina je da pravi proboji još uvijek dolaze iz ljudskih umova. Dok tehnologija napreduje, matematičari se suočavaju s izazovima koje AI još uvijek ne može riješiti.
