OpenAI tvrdí, že vyriešila matematický problém milénia
Keď minulý mesiac OpenAI ohlásila, že jej 10-tisíc agentov vyriešilo takmer storočnú matematickú záhadu, nevídaný pokrok spustil spor o autorstvo. O necelé dva týždne neskôr OpenAI tvrdila, že jej najnovší model vyriešil ďalších sto matematických problémov.
Umelá inteligencia mala v priebehu niekoľkých hodín dokázať vyriešiť problémy, ktorým sa niektorí matematici venovali celý život. Zrazu bola ich celoživotná práca „porazená“ jazykovým modelom, o ktorom niektorí hovoria, že dosahuje všeobecnú inteligenciu a presahuje tú ľudskú.
Najprv sa o svoju prácu báli spisovatelia, potom vizuálni umelci. Dnes stoja pred obhajobou svojho remesla svetoví matematici. Niektorí z nich sa združili do nezávislej skupiny, aby dohliadali na využívanie umelej inteligencie v matematike.
Mnohí vedci sa obávajú, že problém, ktorému sa venovali roky alebo desaťročia, by mohla OpenAI zrazu vyhlásiť za vyriešený. Podozrievajú ju, že to robí najmä ako reklamu pred vstupom na burzu, uvádza magazín The Verge, s ktorým sa rozprával aj jeden z členov dozornej skupiny.
Profesor matematiky Martin Hairer pre The Verge povedal, že posledné týždne boli „veľmi frustrujúcou a intenzívnou skúsenosťou“. Opísal neistotu, ktorú v súčasnosti vedci pociťujú vo svojej práci, ako aj problémy v komunikácii spoločnosti OpenAI s verejnosťou. Tie podľa profesora na Imperial College London a Švajčiarskom federálnom technologickom inštitúte v Lausanne (EPFL) spôsobili, že niektorí vedci majú pochybnosti o nezávislosti dozornej skupiny.
AI vyriešila slávny problém
Interný model OpenAI vypracoval matematický dôkaz k Navierovým-Stokesovým rovniciam, ktorý je jedným zo siedmich problémov milénia. Za vyriešenie každého z nich je vypísaná odmena vo výške jedného milióna dolárov.
Pred takmer 200 rokmi sa Claude-Louis Navier a George Gabriel Stokes snažili matematicky opísať prúdenie tekutín, ako je voda alebo krv. Vytvorili rovnice, ktoré sa dodnes používajú napríklad pri navrhovaní lietadiel alebo pri skúmaní klímy.
Nebolo však isté, či tieto rovnice dokážu správne opísať všetky situácie. Úlohou fyzikov a matematikov v posledných desaťročiach bolo dokázať, či rovnice fungujú vždy, alebo pri niektorých príkladoch prestanú fungovať.
Otázka, či sa plynulé prúdenie tekutín môže v určitom bode zrýchliť až donekonečna, zostávala rovnicami nezodpovedaná približne 90 rokov. Podľa OpenAI jej interný model dokázal, že podľa rovníc k takémuto javu môže dôjsť, čo preukázalo, že rovnice môžu poskytnúť aj nezmyselný výsledok.
Odhaduje sa, že OpenAI trvalo vyriešiť problém 88 hodín a stálo ju to desať až pätnásť miliónov dolárov. OpenAI zároveň tvrdí, že nemá záujem prevziať si finančnú odmenu.
Kontroverzia okolo autorstva
Dôkaz s rozsahom 166 strán zatiaľ neprešiel recenzným konaním a jeho platnosť matematická komunita ešte nezávisle nepotvrdila. Tristan Buckmaster, matematik z New York University, obvinil OpenAI, že pri riešení problému využila jeho predchádzajúcu prácu bez uvedenia zdroja.
Buckmaster spolu s Leventom Alpögem, ktorý pracuje pre konkurenčný Anthropic, pracoval na riešení tohto problému pomocou nástrojov umelej inteligencie od oboch spoločností.