OpenAI njofton modelin e saj “të ardhshëm madhor” Astra, duke publikuar dhjetë zgjidhje matematikore që më parë ishin të pazgjidhura

OpenAI ka publikuar raportin e saj të matematikës, duke konfirmuar zyrtarisht emrin Astra për herë të parë. Kompania thotë se një version i brendshëm i Astra-s, “familjes së saj të ardhshme të modeleve kryesore”, zgjidhi dhjetë probleme të hapura në matematikë dhe shkencën teorike kompjuterike. Matematikanët nuk kishin bërë përparim në asnjërën prej tyre për të paktën një dekadë, dhe shumë më gjatë në shumicën e rasteve.

Rezultatet mbulojnë fusha që variojnë nga gjeometria me dimensione të larta dhe teoria e kodimit deri te teoria e grupeve, kompleksiteti kuantik, kriptografia e rrjetës dhe kombinatorika ekstremale. Një provë vërteton ekzistencën e grupeve jo-sofike, duke zgjidhur një pyetje të madhe të hapur në teorinë e grupeve.

Thomas Bloom, një matematikan i Universitetit të Mançesterit i cili drejton erdosproblems.com, i quajti rezultatet “lajm i madh” mbi X. Ai i konsideron ato më domethënëse sesa kundërshembulli i supozimit të distancës njësi të botuar në maj . “Ndoshta jo më i madh se sa do të kishte qenë një provë e distancës njësi, por për sa i përket konstruksioneve, kjo është e madhe”, shkroi Bloom.

Bloom gjithashtu hodhi poshtë idenë se IA po zëvendëson matematikanët , duke argumentuar se ky pretendim nuk ka shumë kuptim kur IA mbështetet në më shumë se një shekull teori matematikore, është ndërtuar nga matematikanë dhe është trajnuar mbi gjithçka që matematikanët kanë shkruar ndonjëherë.

Noam Brown, një nga studiuesit pas teknologjisë së arsyetimit me kohën e testimit të përdorur nga Astra, tha në X se OpenAI ishte përpjekur dhe kishte dështuar të zgjidhte edhe probleme të tjera të mëdha. “Mjerisht, nuk ka ende Probleme të Çmimit të Mijëvjeçarit”, shkroi ai. Instituti i Matematikës Clay ofron 1 milion dollarë për zgjidhjen e secilës prej shtatë Problemeve të Çmimit të Mijëvjeçarit, por vetëm një është zgjidhur që kur çmimet u shpallën në vitin 2000. Brown shtoi, “Por gjithashtu, ne nuk shpenzuam shumë për secilin problem. Është e mundur ta shtyjmë llogaritjen e kohës së testimit shumë më tej”. Ai e quajti Astra një “hap të madh për arsyetimin shkencor”.

OpenAI thotë se tokenët e përdorur për të gjeneruar të dhjetë zgjidhjet do të kishin kushtuar rreth 2,000 dollarë me çmimet e API-t të Sol. Pasi modeli prodhoi argumentet e tij, njerëzit punuan me të njëjtin model për t’i shndërruar ato në punime kërkimore. Modeli gjithashtu formalizoi çdo provë në Lean , duke krijuar certifikata të saktësisë matematikore të verifikueshme nga makina, dhe OpenAI publikoi një përshkrim të procesit të arsyetimit të modelit për secilën zgjidhje .

OpenAI tha se studiuesit e saj ndihmuan në përgatitjen e dokumenteve dhe në formalizimin e provave, dhe se kompania merr përgjegjësinë për saktësinë e tyre. Megjithatë, argumentet matematikore vetë erdhën nga Astra.

Kompania argumentoi se pretendimi i autorësisë njerëzore për një provë të gjeneruar tërësisht nga IA do të keqinterpretonte si kontributin e sistemit ashtu edhe natyrën e punës intelektuale të vërtetë njerëzore, duke iu referuar Deklaratës së Leidenit mbi IA-në dhe Matematikën si një referencë për mënyrën se si duhet të caktohen kreditet në kërkimin e asistuar nga IA.

OpenAI po punon në një familje të re modelesh, të quajtur përkohësisht “Astra”, që është menduar të jetë shumë më e aftë në detyra afatgjata sesa çdo gjë që kompania ka prodhuar deri më tani.

Drejtori ekzekutiv Sam Altman e demonstroi Astra-n para politikanëve dhe rregullatorëve në Uashington, DC, këtë javë. OpenAI theksoi aftësinë e sistemit për të koordinuar agjentë të shumtë gjatë periudhave të gjata për të trajtuar probleme veçanërisht të vështira. Kompania vuri në dukje projekte komplekse dhe matematikë të avancuar si raste të mundshme përdorimi. The Information raportoi detajet, duke cituar tre persona të njohur me planet.

Sipas raportit, Astra do të formonte një klasë të re modelesh së bashku me familjet ekzistuese Sol, Terra dhe Luna të OpenAI. Nëse do të dalë në shitje si GPT-6 apo si një variant brenda linjës GPT-5, diçka si GPT 5.7, ende nuk është vendosur. Nuk ka as një datë lançimi.

OpenAI gjithashtu planifikon të publikojë së shpejti një raport që tregon se si kompania e përdori inteligjencën e saj më të përparuar për të zgjidhur dhjetë probleme matematikore të pazgjidhura më parë. Qëllimi është të tregojë se çfarë mund të bëjnë tashmë modelet e saj aktuale.

Modelet janë tashmë në fazën e testimit, sipas The Information. Pritet që ato të jenë të parat që do të kalojnë nëpër kornizën e re të planifikuar të administratës Trump për inteligjencën artificiale, e cila do të kërkonte që modelet e inteligjencës artificiale t’i dorëzohen qeverisë federale përpara se të publikohen. Administrata synon ta finalizojë kornizën deri në fund të kësaj jave.

Një pyetje kyçe është nëse modelet mund të shmangin gabimet e llogaritjes së të dhënave gjatë rrjedhave të gjata të punës dhe të korrigjohen vetë kur një proces del nga kursi ndërsa konteksti vazhdon të rritet. Kjo mbetet një dobësi e madhe në sistemet agjentike të sotme. Konfigurimet me shumë agjentë si Astra mund të performojnë edhe më keq në detyra të lidhura ngushtë, siç është planifikimi, sepse shpenzimet e koordinimit dhe gabimet e llogaritjes së të dhënave mund të eliminojnë çdo fitim.

Thashethemet për Astra-n përputhen me deklaratat e mëparshme nga kompania. Shkencëtari kryesor Jakub Pachocki tha në podcastin zyrtar të OpenAI verën e kaluar se kompania dëshiron të ndërtojë sisteme të inteligjencës artificiale që mund të punojnë mbi një problem për orë të tëra ose ditë . Sistemet aktuale shpesh kufizohen në detyra të shkurtra, por OpenAI dëshiron modele që mund të planifikojnë, arsyetojnë dhe eksperimentojnë në horizonte kohore më të gjata. Në fund të vitit të kaluar, kompania madje ngriti çështjen se si të mendohen sistemet që mund të zgjidhin detyra që një njeriu do t’i duheshin shekuj për t’i përfunduar.

Deri në mars të vitit 2028, OpenAI dëshiron të ketë një studiues të inteligjencës artificiale plotësisht autonom që mund të drejtojë projekte kërkimore më vete, dhe ky sistem do të varet gjithashtu nga proceset afatgjata të inteligjencës artificiale. Që në shtator të këtij viti, kompania planifikon të ketë një sistem të inteligjencës artificiale me aftësi të nivelit të praktikantëve të kërkimit që do të përshpejtonte ndjeshëm shkencëtarët njerëzorë. Astra mund të përfundojë si ky sistem.

Pachocki tha gjithashtu se këto sisteme do të kenë nevojë për shumë më tepër aftësi llogaritëse. Planet afatgjata të infrastrukturës së OpenAI pasqyrojnë këtë ambicie. Nëse të ardhurat e startup-it rriten mjaftueshëm shpejt për të financuar atë ndërtim masiv mbetet një çështje e hapur.