Veštačka inteligencija počinje da ubrzava napredak na nekim od najtežih matematičkih problema. OpenAI-jev Astra i Anthropic-ov Claude izvestili su o pomacima u proučavanju desetogodišnjih izazova, uključujući Rimanovu hipotezu, ali rezultati zahtevaju strogu ljudsku verifikaciju. Među važnim nerešenim problemima su Collatz, Goldbach, twin primes, Birch–Swinnerton-Dyer, pitanja o π+e i Euler–Mascheroni konstant i problemi pakovanja sfera.
10 Najtežih Matematičkih Problema — Može Li AI Napokon Pomaknuti Granice?
10 Hard Math Problems That Remain UnsolvedGetty Images
Uprkos ogromnom napretku u matematici, brojna osnovna pitanja i dalje ostaju nerešena vekovima. Poslednjih godina veštačka inteligencija počinje da dobija ulogu u istraživanju ovih problema: modeli kao što su OpenAI-jev Astra i Anthropic-ov Claude izveštavali su o značajnim pomacima, ali stručnjaci naglašavaju potrebu za opreznom verifikacijom i etičkim okvirima.
Photo credit: Dave Linkletter
AI i dugotrajni problemi
1. avgusta OpenAI je objavio da je njihov model Astra rešio ili postigao napredak na deset dugotrajnih matematičkih problema, među kojima su Connesova konjektura o rigidnosti, kvantna paralelna repeticija i Ehrhartova konjektura o zapremini. Anthropic je takođe objavio da je verzija njihovog modela Claude ostvarila pomake u proučavanju Rimanove hipoteze kroz analize Rimanove zeta-funkcije. Ipak, obe kompanije i nezavisni matematičari ističu da ideja o konačnom dokazu zahteva ljudsku verifikaciju i dodatna istraživanja.
Photo credit: creative commons
Zašto su matematičari oprezni
Napredak koji dolazi iz AI sistema smatra se obećavajućim, ali i problematičnim: metodološki detalji, greške u formalizaciji i potreba za nezavisnom proverom znače da rezultati modela ne zamjenjuju rigorozan matematički dokaz. U skladu s tim, istraživači su predložili etičke smernice — na primer Leiden deklaraciju o AI i matematici — kako bi se očuvao integritet naučnog rada.
Photo credit: Wolfram Alpha
Neki od najpoznatijih nerešenih problema
Rimanova hipoteza
Rimanova hipoteza, jedan od sedam Milenijumskih problema, tvrdi da svaki netrivijalan nulti koren Rimanove zeta-funkcije ima realni deo 1/2. Hipoteza je ključna za razumevanje raspodele prostih brojeva; iako su AI modeli napravili zanimljive analize zeta-funkcije, hipoteza ostaje nerešena i zahteva potpun matematički dokaz da bi bila prihvaćena.
Photo credit: creative commons
Collatzova konjektura
Jednostavno navedena: za funkciju koja parne brojeve deli na pola, a neparne množi sa tri i doda jedan, Collatzova konjektura tvrdi da će svaka prirodna vrednost na kraju dospeti na 1. Iako su zabeleženi značajni parcijalni rezultati (npr. radovi Terencea Toa i drugih), potpuni dokaz još uvek izmiče.
Photo credit: Getty Images
Goldbahova konjektura
Goldbahova konjektura kaže da je svaki paran broj veći od dva zbir dva prosta broja. Iako su računari proverili ovu tvrdnju za veoma velike opsege, formalni dokaz za sve prirodne brojeve i dalje ne postoji.
Photo credit: creative commons
Konjektura o bliskim prostim brojevima (Twin Primes)
Da li postoji beskonačno mnogo parova prostih brojeva koji se razlikuju za 2? Napredak poslednjih godina je impresivan: Yitang Zhang je 2013. dokazao da postoje beskonačno mnogi parovi prostih brojeva sa razlikom manjom od 70.000.000, a kasnije radovi i kolektivni projekti su taj broj značajno smanjili; najbliže rešenje, uz određene tehničke pretpostavke, svelo je problem na razliku 6. Pojavili su se i neregulisani preprintovi koji tvrde potpuni dokaz, ali oni čekaju na recenziju.
Photo credit: Getty Images
Birch–Swinnerton-Dyer
Ovaj Milenijumski problem bavi se eliptičkim krivama i povezanim L-funkcijama. Iako postoji mnogo dubljeg razumevanja zahvaljujući alatima moderne algebarske geometrije i teorije brojeva, konačan dokaz konjekture ostaje otvoren.
Photo credit: Getty Images
Problemi pakovanja sfera i "kissing number"
Problemi pakovanja sfera obuhvataju praktična i teorijska pitanja o tome kako maksimalno upakovati kugle u prostoru različitih dimenzija. Kissing number (maksimalan broj kugli koje dodiruju jednu kuglu) je rešen za nekoliko niskih dimenzija, ali ostaje otvoreno pitanje u većem broju dimenzija i u opštem obliku.
Unknotting problem (odmotavanje čvorova)
Knot teorija daje formalne metode za prepoznavanje da li je dat čvor u prostoru zaista čvor ili se može odmotati do obične petlje. Algoritmi koji rešavaju problem postoje i zadatak je u klasi NP, ali nije poznato da li postoji polinomni (efikasan) algoritam za sve slučajeve. Pitanje je važan deo teorije računarske složenosti i topologije.
Velike kardinale
Teorija kardinala istražuje "veličine" beskonačnosti. Nakon Cantora, matematičari su definisali i proučavali porodice velikih kardinala; iako su postignuti brojni rezultati i granice, hijerarhija kardinala i dalje sadrži otvorena i duboka pitanja.
Neobične konstante: π + e i Euler–Mascheroni γ
Iako znamo da su π i e transcendentni, ne znamo da li su njihove jednostavne kombinacije (npr. π+e, π·e) algebarske ili transcendentne. Takođe, za Euler–Mascheroni konstantu γ (≈0,5772) nije poznato da li je racionalna; izračunata je na stotine milijardi decimala, ali formalni dokaz o njenoj (ir)racionalnosti ne postoji.
Zaključak
AI donosi nove alate i ubrzava eksperimentalno istraživanje, ali konačne matematičke tvrdnje i dalje zahtevaju stroge dokaze i ljudsku verifikaciju. Mnogi od ovih problema su jednostavni za formulaciju, ali izuzetno zahtevni za dokaz; upravo to ih čini privlačnim i važnim kako za čistu matematiku, tako i za primene i teoriju računarskih algoritama.
Napomena: Rezultati koje navode modeli poput Astre i Claudea treba smatrati potencijalnim napretkom i temeljom za dalja istraživanja — a ne konačnim dokazima dok ih stručna zajednica ne potvrdi.
Pomozite nam da budemo bolji.
