Mudell ta’ OpenAI ċaħad konġettura ċentrali fil-ġeometrija diskreta

Għal kważi 80 sena, il-matematiċi studjaw mistoqsija qarrieqa fis-sempliċità tagħha: jekk tqiegħed $n$ punti fil-pjan, kemm-il par ta’ punti jistgħu jkunu eżattament f’distanza $1$ minn xulxin?

Din hija l-problema tad-distanza unitarja fil-pjan, li ġiet proposta għall-ewwel darba minn Paul Erdős fl-1946. Hija waħda mill-aktar mistoqsijiet magħrufa fil-ġeometrija kombinatorja, faċli biex tgħidha u notevolment diffiċli biex tissolva. Il-ktieb tal-2005 Research Problems in Discrete Geometry, ta’ Brass, Moser, u Pach, isejħilha “possibilment l-aktar problema magħrufa (u l-aktar sempliċi biex tiġi spjegata) fil-ġeometrija kombinatorja.” Noga Alon, kombinatorista ewlieni f’Princeton, jiddeskriviha bħala “waħda mill-problemi favoriti ta’ Erdős.” Erdős saħansitra offra premju monetarju għas-soluzzjoni ta’ din il-problema.

Illum, naqsmu avvanz kbir dwar il-problema tad-distanza ta’ unità. Minn mindu sar ix-xogħol oriġinali ta’ Erdős, it-twemmin prevalenti kien li l-kostruzzjonijiet tal-“gradilja kwadra” murija aktar ’l isfel kienu essenzjalment ottimali biex jimmassimizzaw in-numru ta’ pari f’distanza ta’ unità. Mudell intern ta’ OpenAI ċaħad din il-konġettura li ilha teżisti, billi pprovda familja infinita ta’ eżempji li jagħtu titjib polinomjali. Il-prova ġiet iċċekkjata minn grupp ta’ matematiċi esterni. Huma kitbu wkoll dokument akkumpanjanti li jispjega l-argument u jipprovdi aktar sfond u kuntest dwar is-sinifikat tar-riżultat.

Ir-riżultat huwa notevoli wkoll għall-mod kif instab. Il-prova ġiet minn mudell ġdid tar-raġunament għal skop ġenerali, aktar milli minn sistema mħarrġa speċifikament għall-matematika, imsaħħa biex tfittex strateġiji ta’ prova, jew immirata lejn il-problema tad-distanza ta’ unità b’mod partikolari. Bħala parti minn sforz usa’ biex nittestjaw jekk mudelli avvanzati jistgħux jikkontribwixxu għar-riċerka fruntiera, evalwajnieh fuq ġabra ta’ problemi ta’ Erdős. F’dan il-każ, ipproduċa prova li ssolvi l-problema miftuħa.

Din il-prova hija pass importanti għall-komunitajiet tal-matematika u tal-AI. Timmarka l-ewwel darba li problema miftuħa prominenti, ċentrali għal subqasam tal-matematika, ġiet solvuta b’mod awtonomu mill-AI. Turi wkoll il-fond tar-raġunament li dawn is-sistemi issa jappoġġjaw. Il-matematika tipprovdi ambjent ta’ prova partikolarment ċar għar-raġunament: il-problemi huma preċiżi, il-provi potenzjali jistgħu jiġu ċċekkjati, u argument twil jaħdem biss jekk ir-raġunament jibqa’ koerenti mill-bidu sal-aħħar. Il-metodu li bih ġiet solvuta l-problema huwa notevoli wkoll. Il-prova ġġib ideat mhux mistennija u sofistikati mit-teorija alġebrika tan-numri biex jiġu applikati għal mistoqsija ġeometrika elementari.

Tim Gowers, rebbieħ tal-Midalja Fields, jikteb fid-dokument akkumpanjanti li r-riżultat huwa “pass importanti fil-matematika tal-AI.” Skont it-teoriku tan-numri ewlieni Arul Shankar, “Fl-opinjoni tiegħi dan id-dokument juri li l-mudelli attwali tal-AI jmorru lil hinn milli jkunu biss għajnuna għall-matematiċi umani – huma kapaċi jkollhom ideat oriġinali u inġenjużi, u mbagħad iwettquhom sal-milja tagħhom”.

Il-prova hija disponibbli hawn⁠(jinfetaħ f’tieqa ġdida). Id-dokument akkumpanjanti minn matematiċi esterni ewlenin huwa disponibbli hawn⁠(jinfetaħ f’tieqa ġdida). Tista’ ssib verżjoni mqassra tal-chain of thought tal-mudell hawn⁠(jinfetaħ f’tieqa ġdida).

Ħa jkun $u(n)$ l-akbar numru possibbli ta’ pari f’distanza ta’ unità fost $n$ punti fil-pjan. Eżempji li jilħqu rata ta’ tkabbir lineari huma faċli biex jinbnew: it-tqegħid ta’ $n$ punti fuq linja jagħti $n-1$ pari, filwaqt li gradilja kwadra tagħti madwar $2n$ pari. Il-kostruzzjoni li qabel kienet l-aħjar magħrufa, li ġejja minn gradilja kwadra skalarizzata mill-ġdid, tirriżulta li tagħti saħansitra aktar: $n^{1 + C / \log \log(n)}$ għal kostanti $C$. Peress li $\log \log(n)$ għandu tendenza lejn l-infinit ma’ $n$, it-terminu addizzjonali fl-esponent għandu tendenza lejn $0$, jiġifieri dawn il-kostruzzjonijiet jiksbu tkabbir biss kemxejn aktar mgħaġġel minn wieħed lineari. Għal għexieren ta’ snin, kien maħsub b’mod mifrux li din ir-rata kienet essenzjalment l-aħjar possibbli, u li ebda kostruzzjoni ma setgħet ittejjeb b’mod sinifikanti fuq il-gradilja kwadra. F’termini tekniċi, Erdős ikkonġettura limitu ta’ fuq ta’ $n^{1+o(1)}$ fejn l-$o(1)$ addizzjonali jindika terminu li għandu tendenza lejn $0$ ma’ $n$.

Ir-riżultat il-ġdid tagħna jiċħad din il-konġettura. B’mod aktar preċiż, għal infinitament ħafna valuri ta’ $n$, il-prova tibni konfigurazzjonijiet ta’ $n$ punti b’mill-inqas $n^{1+\delta}$ pari f’distanza ta’ unità, għal xi esponent fiss $\delta > 0$. (Il-prova oriġinali tal-AI ma tagħtix $\delta$ espliċitu, iżda raffinament li ġej mill-professur tal-matematika ta’ Princeton Will Sawin wera li wieħed jista’ jieħu $\delta=0.014$.)

L-istorja tal-problema tgħin biex wieħed jara għaliex ir-riżultat huwa sorprendenti. L-aħjar limitu t’isfel magħruf kien baqa’ essenzjalment l-istess mill-kostruzzjoni oriġinali ta’ Erdős tal-1946. L-aħjar limitu ta’ fuq, $O(n^{4/3})$, imur lura għal xogħol ta’ Spencer, Szemerédi, u Trotter fl-1984, u minkejja raffinamenti aktar tard u xogħol strutturali relatat minn Székely, Katz u Silier, Pach, Raz, u Solymosi u minn oħrajn, il-limitu ta’ fuq baqa’ essenzjalment l-istess. Bħala evidenza favur il-konġettura, Matoušek u Alon-Bucić-Sauermann studjaw il-problema b’distanzi mhux Ewklidjani fil-pjan, u ppruvaw li "il-biċċa l-kbira" ta’ dawn id-distanzi mhux Ewklidjani jobdu l-konġettura f’ċertu sens.

B’mod sorprendenti, l-ingredjenti ewlenin tal-kostruzzjoni ġejjin minn parti differenti ħafna tal-matematika magħrufa bħala teorija alġebrika tan-numri, li tistudja kunċetti bħall-fattorizzazzjoni f’estensjonijiet tal-interi magħrufa bħala oqsma alġebriċi tan-numri.

F’livell għoli, il-prova tibda b’idea ġeometrika familjari u timbottaha f’direzzjoni mhux mistennija.

Il-limitu t’isfel oriġinali ta’ Erdős jista’ jinftiehem permezz tal-interi Gaussiani: numri tal-forma $a+bi$, fejn $a$ u $b$ huma interi u $i$ hija l-għerq kwadru ta’ $-1$. L-interi Gaussiani jestendu l-interi ordinarji u, bħalhom, igawdu proprjetajiet bħal fattorizzazzjoni unika fi primi. Estensjonijiet bħal dawn tal-interi ordinarji jew tar-razzjonali huma magħrufa bħala oqsma alġebriċi tan-numri. L-argument il-ġdid jissostitwixxi l-interi Gaussiani b’ġeneralizzazzjonijiet aktar ikkumplikati mit-teorija alġebrika tan-numri b’simetriji aktar sinjuri li jistgħu joħolqu ħafna aktar differenzi ta’ tul unità.

L-argument preċiż juża għodod bħal torrijiet infiniti ta’ class field u t-teorija ta’ Golod–Shafarevich biex juri li l-oqsma tan-numri meħtieġa għall-argument tassew jeżistu. Dawn l-ideat kienu magħrufa sew mit-teoriċi alġebriċi tan-numri, iżda kienet sorpriża kbira li dawn il-kunċetti għandhom implikazzjonijiet għal mistoqsijiet ġeometriċi fil-pjan Ewklidjan.

Dan ir-riżultat jimmarka mument importanti fl-interazzjoni bejn l-AI u l-matematika: sistema ta’ AI solviet b’mod awtonomu problema miftuħa li ilha teżisti u li tinsab fiċ-ċentru ta’ qasam attiv. Joffri wkoll ħarsa bikrija lejn tip ġdid ta’ kollaborazzjoni bejn l-AI u l-matematiċi umani. F’dan il-każ, ix-xogħol akkumpanjanti tal-matematiċi esterni jagħti stampa sostanzjalment aktar rikka mis-soluzzjoni oriġinali waħedha.

Kif jikteb Thomas Bloom fin-nota akkumpanjanti:

“Meta nivvaluta l-importanza u l-influwenza ta’ prova ġġenerata mill-AI, mistoqsija li nagħmel lili nnifsi hija: dan għallimna xi ħaġa ġdida dwar il-problema? Nifhmu aħjar il-ġeometrija diskreta issa? Naħseb li t-tweġiba hija iva moderata: dan juri li l-kostruzzjonijiet tat-teorija tan-numri għandhom ħafna aktar x’jgħidu dwar dawn it-tipi ta’ mistoqsijiet milli ssuspettajna; barra minn hekk, li t-teorija tan-numri meħtieġa tista’ tkun profonda ħafna. Bla dubju ħafna teoristi alġebriċi tan-numri se jagħtu ħarsa mill-qrib lejn problemi miftuħa oħra fil-ġeometrija diskreta fix-xhur li ġejjin.”

Ir-rabta mhux mistennija bejn it-teorija alġebrika tan-numri u l-ġeometrija diskreta żvelata mis-soluzzjoni hija parti minn dak li jagħmel ir-riżultat notevoli. Ma ssolvix sempliċement konġettura speċifika, iżda tista’ tipprovdi lill-matematiċi b’pont biex jibdew jesploraw aktar problemi relatati.

Bloom jindika wkoll possibbiltà usa’:

“Il-fruntieri tal-għarfien huma mimlijin quċċati, u bla dubju x-xhur u s-snin li ġejjin se jaraw suċċessi simili f’ħafna oqsma oħra tal-matematika, fejn problemi miftuħa li ilhom jeżistu jiġu solvuti minn AI li tiżvela rabtiet mhux mistennija u timbotta l-makkinarju tekniku eżistenti sal-limitu tiegħu. L-AI qed tgħinna nesploraw b’mod aktar sħiħ il-katidral tal-matematika li bnejna tul is-sekli; liema għeġubijiet oħra li għadhom ma dehrux qed jistennew fil-ġenb?”

Dan ir-riżultat jipprovdi eżempju promettenti: AI li tikkontribwixxi mhux biss soluzzjoni, iżda skoperta matematika li s-sinifikat tagħha jsir aktar ċar u aktar rikk permezz tal-fehim uman sussegwenti.

Il-konklużjoni hija akbar minn dan ir-riżultat partikolari. Raġunament matematiku aħjar jista’ jagħmel lill-AI sieħeb ta’ riċerka aktar b’saħħtu: xi ħaġa li tista’ żżomm flimkien linji diffiċli ta’ ħsieb, torbot ideat bejn oqsma mbiegħda tal-għarfien, toħroġ toroq promettenti li l-esperti forsi ma tawx prijorità, u tgħin lir-riċerkaturi jagħmlu progress fuq problemi li inkella jkunu kumplessi wisq jew jieħdu wisq ħin biex jiġu indirizzati.

Dawk il-kapaċitajiet huma importanti lil hinn mill-matematika. Jekk mudell jista’ jżomm argument ikkumplikat koerenti, jgħaqqad ideat bejn oqsma mbiegħda tal-għarfien, u jipproduċi xogħol li jiflaħ għall-iskrutinju tal-esperti, dawk huma wkoll abbiltajiet utli fil-bijoloġija, il-fiżika, ix-xjenza tal-materjali, l-inġinerija, u l-mediċina, u huma parti mit-triq tagħna fit-tul lejn riċerka aktar awtomatizzata: sistemi li jistgħu jgħinu lix-xjenzati u lill-inġiniera jesploraw aktar ideat u jsegwu mistoqsijiet tekniċi aktar diffiċli.

L-AI waslet biex tibda tieħu rwol serju ħafna fil-partijiet kreattivi tar-riċerka, u l-aktar importanti fir-riċerka tal-AI nnifisha. Għalkemm dan il-progress mhuwiex mhux mistenni, isaħħaħ l-urġenza li nħossu dwar il-fehim ta’ din il-fażi li jmiss tal-iżvilupp tal-AI, l-isfidi tal-allinjament ta’ sistemi intelliġenti ħafna, u l-futur tal-kollaborazzjoni bejn il-bniedem u l-AI.

Dak il-futur xorta jiddependi fuq il-ġudizzju uman. L-għarfien espert isir aktar siewi, mhux inqas. L-AI tista’ tgħin fit-tfittxija, tissuġġerixxi, u tivverifika. In-nies jagħżlu l-problemi li huma importanti, jinterpretaw ir-riżultati, u jiddeċiedu liema mistoqsijiet għandhom isegwu wara.