OpenAI pretendon se ka zgjidhur një nga “Problemet e Mijëvjeçarit” të matematikës
OpenAI tha të martën se modeli i saj i brendshëm i inteligjencës artificiale zgjidhi një nga pyetjet më të mëdha në kërkimin matematikor, por festimi u prit me kritika të ashpra pasi dolën në pah pretendime nga një matematikan i NYU-së se kompania luajti në mënyrë të ndyrë.
OpenAI tha se vërtetoi se ekuacionet Navier-Stokes, të cilat përshkruajnë se si lëvizin lëngjet, mund të “shpërthejnë” – një pikë ku matematika parashikon shpejtësi të pafundme, gjë që nuk mund të ndodhë në natyrë.
Është një nga shtatë Problemet e Çmimit të Mijëvjeçarit, secila me vlerë 1 milion dollarë nga Instituti i Matematikës Clay.
OpenAI thotë se rezultati mori 88 orë dhe afërsisht 10,000 agjentë koordinues të IA-së – kopje të modeleve të saj që punojnë me provën paralelisht – i kontrolluan me Lean, një softuer që verifikon një provë hap pas hapi.
Por ata mund të mos jenë të parët që e gjetën zgjidhjen.
Orë para njoftimit të OpenAI, matematikani i NYU-së, Tristan Buckmaster, tregoi një histori tjetër në një deklaratë katërfaqëshe. Ai dhe Levent Alpöge, një matematikan në rivalin e OpenAI, Anthropic, kishin kaluar gati një vit duke përdorur modele të inteligjencës artificiale për të ndjekur prova të fryrjes së lëngjeve dhe dolën me një zgjidhje deri më 22 gusht.
Buckmaster thotë se më 3 shtator, mes thashethemeve se Anthropic kishte zgjidhur një problem të madh, ai i tregoi një matematikani në OpenAI për projektin, duke theksuar se ishte personal dhe i palidhur me asnjërën kompani.
Tre ditë më vonë, gjatë një telefonate, Sébastien Bubeck i OpenAI i tha atij se një model i brendshëm kishte prodhuar tashmë një provë prej 100 faqesh për modelin e detyruar Navier-Stokes – e njëjta qasje e ngushtë që Buckmaster thotë se pothuajse askush tjetër nuk po e ndiqte.
Buckmaster thotë se Bubeck më pas ofroi dy mundësi: Ose OpenAI publikon një ditë pasi ekipi i tij e publikon, ose Buckmaster e shkruan vetë punimin e tij, duke e lënë Alpöge-n të lirë sepse punon në një laborator rival. Kur Buckmaster tha se do të dilte në bursë në vend të kësaj, ai thotë se Bubeck u përgjigj: “Pse do ta shkatërroje karrierën tënde?”
Nëse nuk do që unë të jem i sjellshëm, atëherë nuk kam pse të jem i sjellshëm, i tha Bubeck Buckmaster-it, sipas deklaratës së tij.
Buckmaster përfundoi duke botuar punimet kërkimore me gjetjet e tij. Levent Alpöge u vlerësua atje, por asnjëri nga studiuesit nuk mori merita nga OpenAI – përveç një citati në Twitter ku pranoi se nuk mund të “përjashtonte që të dhënat e paidentifikuara të nxjerra nga përdorimi i tyre i produkteve tona ndihmuan në përmirësimin e modeleve tona”.
Bubeck, OpenAI dhe Altman mohojnë karakterizimin e Buckmaster për atë që ndodhi. Në një postim pasues, Bubeck ndau tekste duke propozuar një publikim të koordinuar me Alpöge dhe duke ofruar sugjerimet e OpenAI, dhe thotë se veproi me mirëbesim.
Shpresoj se është e qartë nga mesazhi se erdhëm me qëllimet më të mira të mundshme, shkroi ai. Nuk kam kërkuar kurrë që Leventit t’i hiqet autorësia e veprës së tij.
Drejtori ekzekutiv i OpenAI, Sam Altman, e mbrojti Bubeck-un, duke thënë se ai “veproi me integritet dhe bujari gjatë gjithë kohës”, dhe se OpenAI ofroi t’i lejonte ekipit të Buckmaster-it të publikonte i pari pasi të kuptonte se kishin zgjidhur vetëm problemin e Euler-it, jo të plotë të problemit të Navier-Stokes-it.
Në një deklaratë të veçantë, OpenAI tha se nuk e kishte parë kurrë punën e dyshes para publikimit dhe nuk kishte aksesuar në të dhëna specifike të përdoruesit. Megjithatë, kompania nuk e hedh poshtë në mënyrë të qartë këtë mundësi.
Fituesi i Medaljes Fields, Terence Tao, e quajti matematikën themelore të Buckmaster dhe Alpöge një “arritje të jashtëzakonshme”. Është historia e dytë mbi matematikën e inteligjencës artificiale nga të njëjtat dy laboratorë këtë javë, disa ditë pasi Anthropic tha se Claude prodhoi një provë të kontrolluar nga kompjuteri të Teoremës së Fundit të Fermatit.
Rezultati më i përparuar i Buckmaster dhe Alpöge – versioni më i afërt me problemin aktual prej 1 milion dollarësh – mbetet i pabotuar në pritje të një kontrolli përfundimtar të Lean. Askush jashtë OpenAI nuk e ka shqyrtuar në mënyrë të pavarur provën e tij prej 100 faqesh.