Ballina IA Mes matematikanëve ka shpërthyer një luftë akademike për Problemin e Mijëvjeçarit që...

Mes matematikanëve ka shpërthyer një luftë akademike për Problemin e Mijëvjeçarit që OpenAI thotë se e ka zgjidhur

OpenAI sapo ka njoftuar zgjidhjen e Problemit të Mijëvjeçarit mbi ekuacionet Navier–Stokes falë IA-së, por matematikani Tristan Buckmaster ka ngritur dyshime të forta për transparencën, duke e akuzuar kompaninë se ka shfrytëzuar kërkimet e të tjerëve për të arritur te ky rezultat historik.

OpenAI pretendon se ka gjetur zgjidhjen e njërit prej shtatë Problemeve të Mijëvjeçarit, shtatë sfida matematikore që konsiderohen aq komplekse, saqë Clay Mathematics Institute ka vendosur një çmim prej një milion dollarësh për këdo që arrin të zgjidhë njërën prej tyre. Problemi në fjalë lidhet me ekuacionet Navier–Stokes, të cilat përshkruajnë sjelljen e fluideve, si uji dhe ajri, ndërsa zgjidhja është arritur falë një modeli jashtëzakonisht të fuqishëm të inteligjencës artificiale, të zhvilluar nga kompania e Sam Altman. Megjithatë, njoftimi historik u shoqërua menjëherë nga një polemikë që rrezikon të përfshijë të gjithë botën akademike dhe të nxisë reflektime të reja mbi përdorimin e IA-së në kërkimin shkencor.

Matematikani Tristan Buckmaster ka ngritur, në fakt, disa dyshime mbi transparencën e kësaj procedure. Sipas shkencëtarit, OpenAI mund të ketë përdorur të dhëna dhe kërkime të studiuesve të tjerë – përfshirë edhe të tijat – për të arritur kaq shpejt në zgjidhjen e një enigme matematikore që ka mbetur e pazgjidhur për gati një shekull.

Si arriti OpenAI të zgjidhë një nga Problemet e Mijëvjeçarit

Ekuacionet Navier–Stokes janë, thënë me fjalë shumë të thjeshta, ligjet matematikore që shpjegojnë se si ndryshon shpejtësia e një fluidi nën ndikimin e presionit, viskozitetit dhe forcave të tjera. Megjithatë, Problemi i Mijëvjeçarit shtron një pyetje shumë të saktë: Duke u nisur nga kushte fillestare të rregullta, zgjidhjet mbeten gjithmonë të rregullta apo mund të zhvillojnë një singularitet, domethënë një pikë në të cilën disa madhësi bëhen të pafundme brenda një kohe të fundme? Është një pyetje në dukje abstrakte, e cila ndoshta nuk ia ka prishur kurrë gjumin shumicës së njerëzve që nuk kanë doktoraturë, e megjithatë ka të bëjë me strukturën matematikore mbi të cilën mbështetet përshkrimi ynë i dukurive si turbulenca dhe lëvizja e ajrit, të cilat ndikojnë jashtëzakonisht shumë në jetën tonë.

Përgjigjja e propozuar nga OpenAI shkon në drejtimin e të ashtuquajturit blow-up, një “shpërthim” që mund të ndodhë në kushte të caktuara dhe që bën që shpejtësia e fluideve të bëhet e pafundme. “Kjo provë […] tregon se dinamika e ekuacioneve Navier–Stokes për lëvizjen e fluideve mund të zhvillojë një singularitet në një kohë të fundme”, shpjegon kompania në njoftimin zyrtar për zbulimin.


OpenAI ka zbuluar gjithashtu disa hollësi mbi atë që do të përbënte një rezultat historik. Prova është prodhuar nga një sistem i brendshëm, madje edhe më i fuqishëm se GPT-6 Astra, supermodeli që sapo është prezantuar për publikun e gjerë, me rreth 10.000 agjentë të IA-së që kanë punuar njëkohësisht mbi problemin për 88 orë, përpara se të arrinin në zgjidhje. GPT-6 Astra më pas është përdorur për të verifikuar të gjithë procedurën me një protokoll Lean. Pas 17 orësh të tjera, IA-ja e ka miratuar përfundimisht zbulimin.

Dyshimet e matematikanit Buckmaster

Megjithëse kompania e Altman i ka shpallur tashmë me bujë përfundimet e veta, Problemi i Mijëvjeçarit ende nuk mund të konsiderohet zyrtarisht i zgjidhur. Sipas rregullave të Clay Mathematics Institute, nuk mjafton të publikohet një provë, por është e nevojshme që zgjidhja të publikohet në një forum të kualifikuar, të kalojnë të paktën dy vjet dhe që, ndërkohë, ajo të fitojë pranim të përgjithshëm në komunitetin matematikor. Dhe pikërisht këtu hyjnë në skenë protestat e Tristan Buckmaster, matematikan në New York University.

Publicitet
Besha Group – kontroll teknik i automjeteve

Në një deklaratë me shkrim, të qarkulluar në qarqet akademike, Buckmaster ka pohuar se kishte punuar për rreth një vit mbi probleme të lidhura ngushtë me Problemin e Mijëvjeçarit, së bashku me një tjetër matematikan, Levent Alpöge, i cili gjithashtu punon si studiues për Anthropic, konkurrente e drejtpërdrejtë e OpenAI. Sipas asaj që ka treguar vetë Buckmaster, të dy kishin përdorur mjete të inteligjencës artificiale për të arritur rezultate mbi ekuacione të fluideve të ngjashme me Navier–Stokes dhe, mes këtyre mjeteve, ishte edhe Codex, një model i zhvilluar pikërisht nga OpenAI.

Buckmaster nuk ka dashur të ngrejë akuza të drejtpërdrejta – përkundrazi, një pjesë të madhe të rezultateve të arritura deri tani ia ka atribuar punës së dy shkencëtarëve të tjerë, Diego Córdoba dhe Luis Martínez-Zoroa, kërkimet e të cilëve kanë siguruar bazën për studimet pasuese – por ka treguar se zbulimi i pretenduar nga OpenAI erdhi pikërisht kur ai dhe Alpöge kishin arritur në një pikë kthese për zgjidhjen e tyre të problemit. Nënteksti, pra, duket mjaft i qartë: Buckmaster pyet nëse të gjitha informacionet, të dhënat dhe teoritë që i janë dhënë një modeli të OpenAI mund të jenë përdorur nga vetë kompania për të arritur zgjidhjen e problemit.

“Ky është një moment i tipit Deep Blue–Kasparov”, ka thënë Buckmaster, duke iu referuar përballjes historike të shahut në të cilën një kompjuter arriti, për herë të parë, të mposhtte shahistin më të mirë njerëzor në planet. “Komuniteti duhet të zhvillojë një diskutim serioz dhe pa nxitim për të vendosur se ku duhet të shkojmë nga këtu e tutje”.

Mbrojtja e OpenAI

Pas njoftimit për zgjidhjen, kompania filloi menjëherë të mbrohej nga dyshimet e ngritura nga Buckmaster. Kompania nuk ka përjashtuar mundësinë që të dhënat e mbledhura në formë anonime pas përdorimit të modeleve të IA-së të kenë kontribuar në përmirësimin e njohurive dhe të mekanizmave llogaritës të makinës. Megjithatë, një gjë është të përfitosh nga informacionet që ke në dispozicion dhe tjetër gjë është të vjedhësh punën e të tjerëve.

“U shprehim urimet Levent Alpöge dhe Tristan Buckmaster për punën e tyre të jashtëzakonshme matematikore”, thuhet në një postim të publikuar në X nga profili zyrtar i kompanisë. “Ne – studiuesit dhe agjentët – nuk kemi parë asnjë prej punimeve të tyre në asnjë mënyrë deri në momentin kur ato u publikuan. Në veçanti, të dhëna specifike të përdoruesve nuk janë vënë në dispozicion për qëllimin e zgjidhjes së këtij problemi”.

Megjithatë, pjesa më interesante është përfundimi. “Megjithëse është e pamundur të ketë ndodhur, nuk mund të përjashtojmë që të dhëna të çidentifikuara, të nxjerra nga përdorimi që ata u kanë bërë produkteve tona, të kenë kontribuar në përmirësimin e modeleve tona. Megjithatë, provat tona ndryshojnë në mënyrë të konsiderueshme dhe madje edhe rezultatet e sakta të provuara janë të ndryshme në rastin e Euler-it – me forcim kundrejt pa forcim.”

Loja mbetet ende e hapur

Megjithatë, dyshimet e Buckmaster nuk kufizohen vetëm në çështje teorike. Studiuesi ka treguar gjithashtu për presione të pretenduara që Alpöge të mos përfshihej në një punë të mundshme të përbashkët mbi provën e OpenAI. Buckmaster ka raportuar gjithashtu për biseda telefonike shumë të tensionuara me Sebastien Bubeck, drejtues i kërkimit matematikor në OpenAI.

Gjatë telefonatave – gjithnjë sipas rrëfimit të Buckmaster – Bubeck do t’i kishte zbuluar se IA-ja kishte prodhuar një provë prej rreth 100 faqesh mbi formimin e singulariteteve në ekuacionet Navier–Stokes dhe se një ekip i tërë po punonte mbi problemin, pasi kishin qarkulluar disa zëra për përparimet e Buckmaster dhe Alpöge.

Bubeck, më pas, do të kishte paraqitur dy mundësi: Të publikoheshin paralelisht rezultatet e arritura deri në atë moment, ose të bashkëpunohej për një artikull mbi provën e Navier–Stokes, duke njohur rolin e modelit të OpenAI. Megjithatë, në rastin e dytë, ai do të kishte kërkuar që Alpöge të përjashtohej nga lista e autorëve, për shkak se ishte punonjës i një kompanie konkurrente.

Edhe në këtë rast, megjithatë, deklaratat e Buckmaster janë hedhur poshtë. Në konferencën për shtyp të së martës, 8 tetor, Bubeck konfirmoi se projekti kishte nisur më 1 shtator, pasi kishin qarkulluar zëra mbi përparimet e Buckmaster dhe Alpöge, por mohoi se dikush nga ekipi kishte lexuar punën e tyre përpara publikimit.

Sipas Bubeck, OpenAI kishte zhvilluar në mënyrë të pavarur një rrugë drejt zgjidhjes, duke e përfunduar dhe verifikuar provën me Lean më 6 shtator. Bubeck mohoi gjithashtu se kishte kërkuar përjashtimin e Alpöge, duke pohuar në vend të kësaj se kishte diskutuar mundësinë e një bashkëpunimi në të cilin do të ishte problematike të paraqitej si autor i një prove të realizuar për OpenAI një studiues që punonte për Anthropic.

Të njëjtat qëndrime janë ritheksuar nga Bubeck në një postim në X, ku ka publikuar edhe disa pamje të bisedës me Buckmaster. Duket se beteja për autorësinë e zgjidhjes së Problemit të Mijëvjeçarit sapo ka filluar.

@tetovanews

ARTIKUJ TË NGJASHËMMË SHUMË NGA AUTORI