Nezverejnený model po 88 hodinách údajne našiel dôkaz k jednému z problémov tisícročia. Matematický výsledok však zatiaľ čaká na nezávislé overenie a sprevádza ho spor o pôvod kľúčových myšlienok.
OpenAI oznámila, že jej dosiaľ nezverejnený model vyriešil jednu z najťažších otázok modernej matematiky. Dôkaz sa týka Navierových–Stokesových rovníc, ktoré opisujú prúdenie kvapalín a plynov. Výsledok však zatiaľ nezískal všeobecné uznanie matematikov a jeho zverejnenie sprevádza ostrý spor o autorstvo a využitie dát.
Otázka patrí medzi sedem takzvaných problémov tisícročia, za ktorých vyriešenie vypísal americký Clayov matematický inštitút odmenu milión dolárov, teda približne 866 800 eur. Zjednodušene povedané, matematici sa snažia zistiť, či sa hladké prúdenie opísané rovnicami môže v konečnom čase zrútiť do singularity, teda stavu, v ktorom niektoré hodnoty rastú bez obmedzenia.
Spoločnosť OpenAI podľa svojho oznámenia spustila 1. septembra skupiny agentov postavených na novom internom modeli. Riešenie sa objavilo po 88 hodinách a na úlohe v najvyťaženejšom okamihu súčasne pracovalo približne 10-tisíc agentov. Vymenili si 2,7 milióna správ a vytvorili približne 130 miliárd výstupných tokenov. Ďalších 17 hodín zabral prevod a kontrola dôkazu pomocou modelu GPT-6 Astra.
Zverejnený dokument má 165 strán. Konštruuje trojrozmerné prúdenie, ktoré sa začína v pokoji, pôsobí naň hladká vonkajšia sila a v konečnom čase dosiahne neobmedzenú rýchlosť, hoci jeho kinetická energia zostáva obmedzená. Podľa OpenAI tým dôkaz napĺňa podstatu riešenia v oficiálnom zadaní problému, a to pre celý priestor aj periodický model prúdenia.
Clayov matematický inštitút na svojom webe problém naďalej označuje za nevyriešený. Podľa jeho pravidiel musí návrh prejsť publikovaním v uznávanom odbornom zdroji, najmenej dvojročným obdobím preverovania a získať všeobecné prijatie svetovej matematickej komunity. OpenAI uviedla, že o finančnú odmenu žiadať nechce.
Oznámenie vyvolalo spor pre prácu matematikov Tristana Buckmastera z New York University a Leventa Alpögeho, ktorý pôsobí v konkurenčnej spoločnosti Anthropic. Dvojica podľa Buckmasterovho verejného vyhlásenia približne rok rozvíjala výskumný smer ďalších vedcov, Diega Córdobu a Luisa Martíneza-Zoroyu, a pri práci používala aj OpenAI Codex. Ukladala doň pracovné verzie svojich textov.
OpenAI poprela, že by jej ľudia alebo agenti pred zverejnením videli prácu oboch matematikov, a uviedla, že pri riešení nepristupovala ku konkrétnym používateľským dátam. Firma však pripustila, že nemôže úplne vylúčiť vplyv anonymizovaných údajov vzniknutých používaním jej produktov na ďalšie zlepšovanie modelov.
Dodala, že oba dôkazy aj presné výsledky sa výrazne líšia. O správnosti matematického prelomu aj o pôvode rozhodujúcich myšlienok tak budú musieť rozhodnúť nezávislé kontroly, nie firemné oznámenie.
