OpenAI ka publikuar një koleksion të madh punimesh matematikore të prodhuara nga një model i brendshëm i inteligjencës artificiale, duke përfshirë rezultate që lidhen me probleme të hapura prej vitesh. Publikimi ka ngjallur entuziazëm për potencialin e AI-së në kërkimin shkencor, por edhe shqetësim: shumë nga rezultatet ende nuk kanë prova të verifikuara formalisht dhe ekspertët paralajmërojnë se sasia e madhe e materialit nuk duhet ngatërruar me zbulime të konfirmuara.
Çfarë publikoi OpenAI?
Më 6 tetor 2026, OpenAI publikoi një koleksion të gjerë dorëshkrimesh që paraqesin rezultate të prodhuara nga një model i brendshëm i avancuar. Materialet mbulojnë fusha të ndryshme, përfshirë teorinë e numrave, gjeometrinë, algjebrën, kombinatorikën, topologjinë, probabilitetin dhe fizikën matematikore.
Sipas dokumentacionit të OpenAI, kompania testoi modelin mbi rreth 4,000 probleme dhe publikoi një përzgjedhje rezultatesh që i konsideroi me rëndësi. Shumica e punimeve u prodhuan me të njëjtën procedurë, duke përdorur mesatarisht burime llogaritëse ekuivalente me rreth tri orë të funksionit ChatGPT Pro Thinking për çdo rezultat. Modeli që i prodhoi nuk është bërë publik.
Lexo më shumë në Portalin Tonë
Ndiqni raportimet, artikujt dhe udhëzuesit më të fundit direkt në Busulla.cc.
Eksploro Artikujt →Koleksioni përmban punime të veçanta, argumente mbështetëse dhe variante të provave për rezultate të lidhura. Kjo do të thotë se numri i dorëshkrimeve nuk përfaqëson domosdoshmërisht po aq zbulime të pavarura: disa punime trajtojnë të njëjtin problem nga këndvështrime të ndryshme ose paraqesin pasoja të një rezultati kryesor.
Pse po tërheq vëmendjen komuniteti matematikor?
Matematika është një fushë veçanërisht e rëndësishme për vlerësimin e AI-së, sepse një argument matematikor mund të kontrollohet në mënyrë rigoroze. Një përgjigje që tingëllon bindëse nuk mjafton: çdo hap duhet të mbështetet nga arsyetim i vlefshëm dhe përfundimi duhet të dalë logjikisht nga premisat.
Sipas raportimit të The Verge më 9 tetor, matematikanë të intervistuar nga gazeta përshkruan një përzierje habie, entuziazmi dhe shqetësimi. Disa rezultate u vlerësuan si serioze dhe potencialisht me rëndësi të madhe, ndërsa të tjera ishin të vështira për t’u ndjekur, të shkruara dobët ose ende të pambështetura nga prova formale të mjaftueshme.
Problemi nuk është vetëm nëse modeli mund të prodhojë një zgjidhje. Është edhe nëse studiuesit e tjerë mund ta kuptojnë, ta kontrollojnë dhe ta përdorin atë për të zhvilluar më tej shkencën.
Çfarë është verifikimi formal me Lean?
Lean është një sistem formal për shkrimin dhe kontrollimin e provave matematikore. Ai lejon që një argument të shprehet në një formë që mund të kontrollohet nga kompjuteri, duke ndihmuar në zbulimin e boshllëqeve logjike ose hapave të pambështetur.
Sipas dokumentacionit të koleksionit, rreth 300 nga dorëshkrimet kanë formalizime në Lean. Kjo është një pjesë e konsiderueshme, por jo e gjithë përmbledhja. OpenAI pranon se rezultatet janë në faza të ndryshme verifikimi dhe se disa punime pa formalizim mund të përmbajnë probleme. Kompania thotë se do të shtojë formalizime dhe korrigjime me kalimin e kohës.
Edhe një formalizim nuk e përfundon automatikisht të gjithë punën shkencore. Studiuesit duhet të kontrollojnë nëse prova e formalizuar përputhet me pretendimin në punim, nëse premisat janë të përshtatshme dhe nëse rezultati është vërtet i ri dhe i rëndësishëm.
A ka zgjidhur AI problemet më të famshme të matematikës?
Jo në kuptimin që mund të nxirret nga titujt e bujshëm. Koleksioni përfshin rezultate që lidhen me probleme të njohura, si hipoteza e Riemann-it dhe konjektura e Hodge-it. Disa matematikanë kanë vlerësuar se disa nga rezultatet mund të përfaqësojnë përparim të rëndësishëm në fusha të vështira.
Por një rezultat që lidhet me një problem të famshëm nuk është e njëjta gjë me zgjidhjen përfundimtare të atij problemi. Një rast i veçantë, një version i kufizuar ose një rezultat i ndërmjetëm mund të jetë i vlefshëm pa zgjidhur të gjithë konjekturën.
Hipoteza e Riemann-it, për shembull, mbetet një nga problemet më të rëndësishme të pazgjidhura në matematikë. Publikimi i OpenAI nuk duhet interpretuar si konfirmim se ajo është zgjidhur. Për çdo pretendim të tillë nevojitet verifikim i pavarur dhe shqyrtim nga ekspertët.
Pse matematikanët shqetësohen për cilësinë dhe transparencën?
Një nga kritikat kryesore është se prodhimi i qindra punimeve brenda një kohe të shkurtër e tejkalon kapacitetin e studiuesve për t’i kontrolluar të gjitha. Edhe kur një rezultat duket premtues, verifikimi mund të kërkojë njohuri të specializuara dhe shumë kohë.
The Verge raportoi se disa matematikanë gjetën probleme në mënyrën e paraqitjes së argumenteve, në cilësinë e bibliografive dhe në mënyrën se si pretendimet lidhen me provat e paraqitura. Raportimi përmendi gjithashtu se disa punime u hoqën nga koleksioni pas identifikimit të një gabimi në shenjë që cenonte argumentin.
Ekziston edhe çështja e atribuimit. Kërkimi shkencor nuk është vetëm prodhim përgjigjesh: ai përfshin njohjen e punës së mëparshme, citimin e saktë të studiuesve dhe shpjegimin e lidhjes mes një rezultati të ri dhe njohurive ekzistuese.
OpenAI ka publikuar protokolle për citime dhe rishikime, por kritikët kërkojnë më shumë informacion për modelin e përdorur dhe për mënyrën se si u krijuan rezultatet.
A po kërcënon AI karrierën e matematikanëve?
Publikimi ka ngritur shqetësime për studiuesit e rinj, veçanërisht doktorantët dhe ata që varen nga projektet kërkimore për financim ose përparim në karrierë
Nëse një model prodhon shpejt rezultate në fusha ku studiuesit kanë investuar vite, planet e tyre të kërkimit mund të ndryshojnë papritur.
Megjithatë, kjo nuk do të thotë se matematikanët bëhen të panevojshëm. Rezultatet e gjeneruara nga AI kërkojnë kontroll, interpretim dhe vendosje në kontekst. Studiuesit duhet të përcaktojnë cilat rezultate kanë vlerë, të gjejnë lidhjet mes tyre dhe të identifikojnë pyetje të reja që hapin rrugë për përparim të mëtejshëm.
Sfidë për universitetet dhe institucionet kërkimore do të jetë përshtatja e mënyrave të financimit, vlerësimit dhe trajnimit në një kohë kur prodhimi i ideve mund të përshpejtohet ndjeshëm, por verifikimi mbetet punë e kujdesshme dhe e specializuar.
Çfarë do të ndodhë më tej?
OpenAI thotë se do të vazhdojë të përditësojë koleksionin me formalizime, korrigjime dhe versione të reja. Kompania gjithashtu ka njoftuar se do të mbështesë punëtori dhe takime për t’i ndihmuar matematikanët të shqyrtojnë rezultatet.
Hapi vendimtar do të jetë verifikimi i pavarur. Me kalimin e kohës, komuniteti shkencor do të mund të përcaktojë cilat punime përmbajnë rezultate të sakta dhe të reja, cilat kërkojnë korrigjim dhe cilat kanë ndikim real në zhvillimin e matematikës.
Për publikun, mesazhi kryesor është të mos ngatërrohet sasia e rezultateve me cilësinë e tyre. Në shkencë, një provë e vetme e saktë mund të ketë më shumë vlerë sesa qindra pretendime që nuk janë kontrolluar ende.
Përfundim
Publikimi i OpenAI tregon se modelet e avancuara të AI-së mund të kontribuojnë në mënyrë serioze në kërkimin matematikor dhe të eksplorojnë probleme që kërkojnë njohuri të specializuara. Por ai nxjerr në pah edhe një kufizim të rëndësishëm: prodhimi i rezultateve po përshpejtohet më shpejt sesa mundësia e komunitetit për t’i verifikuar të gjitha.
E ardhmja e matematikës nuk do të varet vetëm nga sa shpejt AI mund të prodhojë një provë. Do të varet edhe nga sa qartë mund ta shpjegojë, sa lehtë mund ta kontrollojnë të tjerët dhe sa besueshëm mund të ndërtohet mbi të. Për momentin, koleksioni i OpenAI është një zhvillim i rëndësishëm kërkimor, por jo një listë zgjidhjesh të konfirmuara për problemet më të mëdha të matematikës.
