OpenAI pretendon se ka arritur tri përparime të reja në inteligjencën artificiale në matematikë, fizikë dhe shkenca kompjuterike

OpenAI ka zbuluar tre rezultate të mëtejshme kërkimore të gjeneruara nga modelet e saj të IA-së, duke përfshirë një pretendim që do të përmbyste një teori të pranuar gjerësisht në lidhje me vështirësinë llogaritëse të zgjidhjes së problemeve të caktuara. Puna përfshin analizën matematikore, shkencën kompjuterike dhe fizikën teorike, por kompania po ndjek qasje të ndryshme për t’i bërë gjetjet të disponueshme për shqyrtim.

Zbulimet e fundit vijnë pas një publikimi të 6 tetorit në të cilin OpenAI publikoi qindra dorëshkrime matematikore të gjeneruara nga IA për t’u shqyrtuar nga studiuesit. Këtë herë, ajo ka sjellë akademikë të afirmuar për të ndihmuar në vlerësimin dhe shpjegimin e dy prej rezultateve, duke e lënë punën matematikore të hapur për t’u interpretuar nga studiues të pavarur.

Njoftimet ngrenë një pyetje më të gjerë për komunitetin shkencor – si duhet t’i trajtojnë studiuesit zbulimet e prodhuara nga sistemet e inteligjencës artificiale kur verifikojnë arsyetimin themelor, shpjegojnë rezultatet dhe caktojnë merita që mund të kërkojnë punë të konsiderueshme nga ana e tyre?

Rezultati matematik ka të bëjë me zbutjen lokale për ekuacionin e valës Euklidiane, një problem në analizën e përhapjes së valës. OpenAI thotë se modeli i saj prodhoi një provë që mbulon çdo dimension hapësinor prej dy ose më shumë. Sipas kompanisë, rezultati gjithashtu përcakton supozimet maksimale dhe të dimensionit të Kakeya-s, së bashku me vlerësimet e kufizimit sferik të Stein në të gjithë brendësinë e diapazonit të tyre të parashikuar.

Këto lidhje mund ta bëjnë punën të rëndësishme përtej problemit origjinal. Megjithatë, publikimi përbëhet nga rezultati i modelit dhe jo nga një punim kërkimor i shpjeguar plotësisht dhe i validuar në mënyrë të pavarur. OpenAI ka ftuar matematikanët të shqyrtojnë materialin dhe të zhvillojnë shpjegimet e tyre të arsyetimit.

Supozimi Kakeya ka tërhequr vëmendje të veçantë në kërkimin matematik. Profesori i NYU-së, Hong Wang, mori një Medalje Fields në vitin 2026 për punën e tij në zgjidhjen e supozimit në tre dimensione, sipas njoftimit të OpenAI. Pretendimi më i gjerë i kompanisë mbulon rezultatet në çdo dimension, megjithëse rezultati i ri ende kërkon shqyrtim të kujdesshëm nga specialistët.

Rezultati i shkencës kompjuterike sfidon më drejtpërdrejt një supozim të vendosur. OpenAI thotë se modeli i saj ka gjetur një algoritëm determinist që numëron caktime të kënaqshme për formulat e formës normale konjuktive (CNF) me gjerësi fikse në kohën subeksponenciale dhe hapësirën polinomiale.

Për problemin e kënaqshmërisë me tre variabla, i quajtur zakonisht 3-SAT, rezultati do të hidhte poshtë Hipotezën e Kohës Eksponenciale (ETH). Hipoteza, e propozuar nga Russell Impagliazzo dhe Ramamohan Paturi në vitin 1999, pohon se 3-SAT nuk mund të zgjidhet në kohë subeksponenciale.

ETH ka luajtur një rol të rëndësishëm në shkencën teorike kompjuterike, duke i ndihmuar studiuesit të përcaktojnë kufijtë se sa efikase mund të zgjidhen problemet llogaritëse. Nëse pretendimi i OpenAI i reziston shqyrtimit, kjo mund t’u kërkojë studiuesve të rishqyrtojnë rezultatet që mbështeten në hipotezë. Për momentin, njoftimi duhet të trajtohet si një pretendim që pret verifikim, dhe jo si një ndryshim i vendosur në shkencën kompjuterike.

OpenAI ka organizuar një grup të udhëhequr nga Impagliazzo, Paturi dhe profesori i MIT-it, Ryan Williams, për të hetuar provën e shkencës kompjuterike. Kompania thotë se studiuesit do të ndihmojnë në verifikimin dhe shpjegimin e rezultatit. Me kërkesë të grupit, OpenAI e ka bërë të disponueshme në GitHub shkrimin e gjeneruar nga IA dhe një provë Lean, së bashku me një letër të hapur që fton për reagime se si duhet të vlerësohet pretendimi.

Puna në fizikë po trajtohet ndryshe. OpenAI e përshkruan atë si një provë ekzistence matematikisht rigoroze për disa teori të fushës kuantike bashkëvepruese në katër dimensione, që përfshijnë fushat matëse dhe fermionet. Teoritë përfshijnë kromodinamikën kuantike (KCD), e cila përshkruan bashkëveprimin e fortë, dhe një përfundim të unifikuar të Modelit Standard të fizikës së grimcave.

Materiali i plotë i fizikës nuk është publikuar ende. OpenAI thotë se David Gross do të udhëheqë një grup që përfshin Michael Douglas, Arthur Jaffe, Igor Klebanov dhe Nikita Nekrasov në shqyrtimin e punës dhe ndihmën në shpjegimin e implikimeve të saj.

Vendimi për të përfshirë ekspertë të përzgjedhur është bërë vetë një pikë polemike. Një panel këshillimor i mbledhur nga OpenAI, i njohur si AGMAI, kohët e fundit rekomandoi që kompanitë e IA-së të shmangin dhënien e aksesit të privilegjuar të hershëm individëve të caktuar në kërkimet e gjeneruara. Shqetësimet e tij përfshijnë mundësi të pabarabarta për studiuesit, përdorimin e reputacionit të akademikëve të vendosur për t’u dhënë besueshmëri pretendimeve të paverifikuara dhe rrezikun e paragjykimeve në zgjedhjen e atyre që përfshihen.

Në vend të kësaj, paneli rekomandoi që laboratorët e IA-së të publikojnë rezultatet e tyre përmes depove shkencore, të ofrojnë prova të formalizuara në Lean kur është e mundur, të shpjegojnë se si i kanë zgjedhur problemet dhe të financojnë studiuesit që ndërmarrin punën e kuptimit të rezultateve.

Letra shoqëruese e OpenAI i kërkon komunitetit të kërkimit të ndihmojë në përcaktimin e standardeve për zbulimin, konfliktet e interesit dhe përdorimin e materialit të pabotuar. Gjithashtu ngre pyetjen se si njohja akademike duhet të marrë në konsideratë njerëzit që verifikojnë, korrigjojnë, thjeshtojnë dhe shpjegojnë gjetjet e gjeneruara nga IA, në vend që vetëm sistemin që i prodhon ato i pari.