OpenAI vyřešila Navier-Stokesovu rovnici hrubou silou za 40 milionů dolarů

Model Astra-next si za 88 hodin sáhl na Millennium Prize

OpenAI zveřejnila řešení jednoho z nejhlubších matematických problémů. Podle zprávy z Latent Space k tomu model Astra-next potřeboval zhruba 10 tisíc běžících agentů a 130 miliard tokenů, což stálo přes 40 milionů dolarů. Během 88 hodin hledání agenti objevili singularitu v Navier-Stokesových rovnicích, čímž splnili podmínky pro zisk druhé Millennium Prize v historii.

Matematiku čeká stejný osud jako šachy

Tohle je definitivní konec éry, kdy hluboké matematické důkazy vyžadovaly desetiletí lidské intuice a elegantních myšlenkových skoků. Pro výzkumné instituce a univerzity to znamená, že se hřiště radikálně naklonilo. Kdo nemá rozpočet v řádu desítek milionů dolarů na jeden výpočetní běh, vypadává z extraligy teoretických objevů.

Hrubá síla neznamená porozumění celku

Nalezení singularity hrubým prohledáváním stavového prostoru ještě neznamená, že AI chápe fundamentální fyziku plynů a kapalin lépe než my. Našla anomálii, kterou jsme po ní chtěli najít. Záznam z 88hodinového běhu bude pravděpodobně naprosto nečitelný, takže ověření důkazu člověkem zabere roky.

Následovat bude peer review a boj o kredity

Klíčové bude sledovat, jak se k důkazu postaví Clay Mathematics Institute. Otázkou je nejen to, jestli je důkaz formálně správně, ale komu institut milionovou odměnu případně přidělí (firmě, konkrétním výzkumníkům, nebo ji zablokuje s tím, že ji může dostat jen člověk).

Lilithin verdikt

Matematika se stala soutěží o to, kdo dokáže zaplatit nejdražší serverovnu na světě.