OpenAI trondit botën e matematikës: Thotë se ka zgjidhur një nga problemet më të mëdha të Mijëvjeçarit - NACIONALE

OpenAI trondit botën e matematikës: Thotë se ka zgjidhur një nga problemet më të mëdha të Mijëvjeçarit

1 orë më parë

nga NACIONALE

OpenAI ka njoftuar se një model i saj i brendshëm - shumë më i aftë se GPT-6 Astra - ka gjetur zgjidhje për problemin Navier-Stokes, një nga shtatë Problemet e Çmimit të Mijëvjeçarit dhe një nga sfidat më të mëdha të matematikës moderne.

Sipas kompanisë, prova tregon se në disa kushte, lëvizja e një fluidi e përshkruar nga ekuacionet Navier-Stokes mund të arrijë në një pikë ku sjellja e saj bëhet matematikisht e pakufizuar brenda një kohe të caktuar.

OpenAI ka publikuar si provën matematikore, ashtu edhe versionin e saj të formalizuar dhe të verifikuar në sistemin Lean.

Problemi, i pazgjidhur për rreth 90 vjet, pyet nëse një fluid tredimensional, i pangjeshshëm dhe fillimisht i rregullt mund të arrijë në një gjendje ku shpejtësia rritet pa kufi brenda një kohe të fundme, pavarësisht viskozitetit që normalisht e zbut lëvizjen.

Sipas OpenAI, sistemi gjeti një konfigurim ku një fluid fillimisht në qetësi, mbi të cilin ushtrohet një forcë e lëmuar, zhvillon një singularitet ndërsa energjia e tij mbetet e fundme gjatë gjithë procesit. Zgjidhja merr formën e një vorbulle që spiralizohet drejt brendësisë dhe zgjatet gjithnjë e më shumë, ndërsa rajoni qendror tkurret dhe shpejtësia rritet. Kompania prapa ChatGPT thotë se kjo vendos formulimet “C” dhe “D” të problemit zyrtar të Millennium Prize.

Pjesa më e pazakontë është mënyra se si OpenAI thotë se është arritur rezultati. Kompania përdori një sistem agjentësh të koordinuar të mundësuar nga një model i ri i brendshëm, të cilin e përshkruan si dukshëm më të aftë se GPT-6 Astra. Grupi që prodhoi zgjidhjen për Navier-Stokes përfshinte rreth 10 mijë agjentë që punonin njëkohësisht, me qasje në mjete për leximin e një versioni të ruajtur të internetit dhe për ekzekutimin e kodit.

Agjentët arritën te zgjidhja më 5 shtator, rreth 88 orë pasi nisi puna. Formalizimi dhe verifikimi në Lean kërkuan edhe 17 orë, duke përdorur GPT-6 Astra. Vetëm për Navier-Stokes, agjentët shkëmbyen 2.7 milionë mesazhe dhe gjeneruan afërsisht 130 miliardë tokenë output. Në të gjitha problemet e provuara, sistemi arriti në 4.9 milionë mesazhe dhe rreth 300 miliardë tokenë.

OpenAI thekson se publikimi synon të tregojë ritmin e përparimit të modeleve të saj dhe se nuk synon të kërkojë Çmimin e Mijëvjeçarit për këtë rezultat.

Lajme të ngjashme