Inženýři: Důkaz Navierových-Stokesových rovnic od OpenAI praxi v dynamice tekutin nezmění

Dne 8. září společnost OpenAI oznámila, že její dosud nezveřejněný interní systém umělé inteligence vytvořil důkaz, že trojrozměrné Navierovy-Stokesovy rovnice mohou v konečném čase vytvořit singularitu, čímž potenciálně vyřešil jeden ze šesti zbývajících problémů tisíciletí, které v roce 2000 stanovil Clayův matematický ústav. Společnost vydala 166stránkový dokument a formální ověření v asistentu důkazů Lean, výsledek však stále čeká na nezávislé odborné posouzení.OpenAI+3

Co důkaz tvrdí

Navierovy-Stokesovy rovnice, které popisují pohyb tekutin, jako je vzduch a voda, se používají téměř dvě století v aplikacích od konstrukce letadel až po předpovídání počasí. Dlouholetou matematickou otázkou bylo, zda se hladká řešení těchto rovnic mohou zhroutit a vytvořit fyzikálně nemožné nekonečné rychlosti.scientificamerican+1

OpenAI tvrdí, že její systém zkonstruoval scénář, v němž tekutina začínající v klidu, vystavená hladké vnější síle, vytvoří vír, který spirálovitě směřuje dovnitř a v konečném čase vyvine neomezenou rychlost, přičemž si zachová konečnou energii. „Náš důkaz ukazuje, že existují tekutiny, které začínají naprosto normálně a podle Navierových-Stokesových rovnic skutečně dosáhnou nekonečné rychlosti v konečném čase,“ uvedl počítačový vědec z OpenAI Ven Chandrasekaran na tiskové konferenci, jak informoval časopis Nature. Společnost uvedla, že si na odměnu 1 milion dolarů nehodlá činit nárok.nature+3

Výpočetní úsilí zahrnovalo přibližně 10 000 souběžných agentů AI běžících na modelu, který je popsán jako schopnější než GPT-6 Astra. Agenti dosáhli výsledku po přibližně 88 hodinách práce, která začala 1. září, s dalšími 17 hodinami na formalizaci v systému Lean.thebrighterside+1

Spor o prvenství

Oznámení vyvolalo spor o matematické prvenství. Matematik z NYU Tristan Buckmaster a výzkumník z Anthropic Levent Alpöge dosahovali pokroku v úzce souvisejících problémech typu blowup pomocí nástrojů AI, včetně modelu Codex od OpenAI. Ve veřejném prohlášení Buckmaster napsal: „Neviděl jsem důkaz OpenAI. Nevím, co jejich model udělal ani jak. Nevím, zda byla použita naše data. Nikoho z ničeho neobviňuji.“ Deník The New York Times uvedl, že OpenAI prohlásila, že je „kategoricky“ nemožné, aby byl její systém ovlivněn nedávnou prací Buckmastera.nytimes+2

Dopady na reálný svět zůstávají vzdálené

Inženýři tvrdí, že výsledek, pokud bude potvrzen, v blízké době mnoho nezmění. „Zkrátka nic moc,“ řekl Justin Beroz, generální ředitel inženýrské firmy ReynKo, k dopadu na praktickou práci v dynamice tekutin. Odborný asistent na NYU Florian Schaefer poznamenal, že rovnice jsou již nyní chápány jako aproximace a zkonstruovaný scénář singularity je příliš umělý na to, aby ovlivnil aplikace v reálném světě.scientificamerican

Držitel Fieldsovy medaile Terence Tao vznesl širší obavy ohledně tempa matematických objevů řízených umělou inteligencí. „Je to trochu jako jít na film a přeskočit z prvních deseti minut rovnou na posledních deset,“ řekl Tao pro The Brighter Side of News. „Technicky jsou všechny dějové linie vyřešeny, ale většina hodnoty zážitku byla ztracena.“ Clayův matematický ústav nadále uvádí Navierovy-Stokesovy rovnice mezi svými nevyřešenými problémy a formální přijetí důkazu zůstává otevřenou otázkou.popularai+1