Három újabb tudományos áttörést jelentett be az OpenAI
Alig egy hónappal azután, hogy több száz kéziratot tett közzé, az OpenAI három újabb jelentős áttörést jelentett be a matematika, a számítástudomány és a fizika területén. A vállalat külső szakértőket, úgynevezett „pásztorokat” vont be az eredmények értelmezésébe és ellenőrzésébe, jóllehet az AGMAI tanácsadó testület óva intett a kiválasztott kutatóknak nyújtott korai hozzáféréstől, és inkább a nyílt platformokon közzétett, Lean-formalizált bizonyításokat szorgalmazza.
A számítástudományi eredmény az 1999-ben felállított exponenciális időhipotézist (ETH) cáfolja meg egy szubexponenciális idejű determinisztikus algoritmussal a 3-SAT esetére. Ennek ellenőrzését a hipotézist eredetileg kidolgozó Russell Impagliazzo és Ramamohan Paturi, valamint Ryan Williams irányítja, a Lean-kódot pedig nyilvánosságra hozták a GitHubon. A fizikában az OpenAI négydimenziós kölcsönható kvantumtérelméletek – köztük a kvantum-színdinamika (QCD) és a standard modell – szigorú létezési bizonyítását mutatta be, David Gross kutatócsoportjának felügyeletével. A matematika terén a modell az euklideszi hullámegyenlet lokális simítására (Sogge-sejtés), valamint a Kakeya- és Stein-féle sejtésekre adott levezetést.
Folytasd az appban — szavazz és szólj hozzá ➔