arXiv: Moonshine — autonomni agent koji generira nove matematičke konjekture i dokazuje teoreme

Matematička istraživanja oduvijek su se smatrala vrhuncem ljudske kreativnosti i apstrakcije — domenom u kojoj strojevi mogu pomoći u izračunima, ali ne i voditi teorijski razvoj. Rad koji su 9. lipnja 2026. objavili Xiaoyang Chen i Xiang Jiang dovodi ovu pretpostavku u pitanje. Moonshine je autonomni istraživački agent koji ne rješava zadane matematičke probleme, nego sam formulira nove matematičke konjekture (mathematical conjectures) — tvrdnje za koje pretpostavljamo da su istinite, ali još nisu dokazane.

Razlika je ključna: dok većina AI sustava napreduje rješavanjem problema koje su formulirali ljudi, Moonshine gradi vlastite teorijske okvire. Cilj je sustav koji ne samo primjenjuje matematiku, već je unapređuje.

Metodologija: ekstrakcija strukture i generiranje konjektura

Moonshineov proces ne počinje konkretnim matematičkim pitanjem. Umjesto toga, agent analizira klasične probleme kako bi identificirao apstraktnu logičku strukturu koja ih definira — ono što čini problem problemom, neovisno o specifičnim matematičkim objektima koje uključuje.

Tu strukturu zatim prenosi u novu domenu, formulira odgovarajuće koncepte i gradi teorijski okvir kroz iterativno generiranje konjektura i identifikaciju prepreka (obstacle identification) — mjesta gdje bi eventualni dokaz naišao na poteškoće i gdje je potrebno razviti nova matematička sredstva.

Ovaj pristup imitira način na koji vrhunski matematičari rade: prepoznavanjem analogija između naizgled nepovezanih problema i konstruiranjem mostova između različitih grana matematike.

Što je Jacobijeva konjektura i zašto je važna za testiranje?

Za demonstraciju sposobnosti istraživači su odabrali Jacobijevu konjekturu (Jacobian conjecture) — jedan od klasičnih otvorenih problema matematike koji pita može li lokalna nedegenerenost preslikavanja jamčiti globalnu injektivnost. Moonshine nije pokušao dokazati ili opovrgnuti Jacobijevu konjekturu izravno — to bi bio standardni pristup, rješavanje zadanog problema.

Umjesto toga, ekstrahirao je njezinu logičku strukturu i prenio ju u potpuno novu domenu: jednoslojevite afino-grebenske sigmoidne mreže (one-hidden-layer affine-ridge sigmoid networks). Rezultat je bila formulacija Neuralne Jacobijeve konjekture (Neural Jacobian Conjecture, NJC): ako jednoslojejna afino-grebenska sigmoidna mreža ima svuda strogo pozitivnu determinantu Jacobijana, tada mora biti globalno injektivna.

Ova konjektura je originalna — nije bila poznata u literaturi — i direktno je inspirirana transferom strukture iz klasičnog problema, a ne ad hoc intuicijom ili pretraživanjem literature.

Dokazi i otvorena pitanja

Formulacija konjekture tek je početak. Moonshine je koristio GPT-5.5-pro i DeepSeek-V4-pro kao jezične modele za generiranje matematičkih dokaza i dobio kompletne dokaze za slučaj N=n+1 — poseban slučaj gdje mreža ima točno jedan neuron više od dimenzije ulaza. Uz to, razvijen je geometrijsko-topološki dokaz koji pristupa problemu s drugačije perspektive.

Međutim, opći slučaj N≥n+2 ostaje otvoren. Moonshine nije uspio dokazati konjekturu za mreže s dva ili više neurona iznad ulazne dimenzije — što ostaje kao izazov za buduća istraživanja na raskrižju matematike i teorije neuronskih mreža.

Oba pristupa pružaju rigoroznu matematičku potvrdu konjekture za poseban slučaj, što je samo po sebi značajan doprinos. Opći slučaj ostaje kao otvoreno pitanje koje poziva matematičare i AI istraživače na daljnju suradnju.

Granica između primjene i stvaranja znanja

Istraživači pozicioniraju Moonshine kao korak prema agentima koji unapređuju matematičko znanje, a ne samo primjenjuju postojeće tehnike. Razlika je filozofski i praktično važna. Aplikacija znanja — rješavanje zadanih problema korištenjem poznatih algoritama i metoda — dugo je bila jačina računalnih sustava. Kreacija znanja — formulacija novih pitanja, prepoznavanje novih struktura, izgradnja teorijskih okvira — smatrala se ekskluzivno ljudskom domenom.

Moonshine ne tvrdi da tu granicu definitvno prelazi: jedan uspješan primjer ne dokazuje opću sposobnost autonomnog matematičkog istraživanja. No prikazuje izvediv metodološki okvir u kojem agent može sistematski ekstrahirati apstraktnu strukturu iz jednog problema i primijeniti je na drugu domenu — što je upravo ono što vrhunski matematičari rade kad “vide” da se isti princip pojavljuje u naizgled nepovezanim područjima matematike.

Sljedeći koraci uključuju proširivanje metodologije na više matematičkih domena, poboljšanje mehanizama za identifikaciju prepreka te napad na opći slučaj N≥n+2 Neuralne Jacobijeve konjekture. Rad je klasificiran u računalnu inteligenciju i funkcionalnu analizu, što odražava njegovu interdisciplinarnu prirodu.