OpenAI rozwiązało równanie Naviera-Stokesa brutalną siłą za 40 milionów dolarów

Model Astra-next sięgnął po Nagrodę Milenijną w 88 godzin

OpenAI opublikowało rozwiązanie jednego z najgłębszych problemów matematycznych. Według raportu Latent Space model Astra-next potrzebował do tego około 10 tysięcy działających agentów i 130 miliardów tokenów, co kosztowało ponad 40 milionów dolarów. Podczas 88 godzin poszukiwań agenci odkryli osobliwość w równaniach Naviera-Stokesa, spełniając warunki do zdobycia drugiej Nagrody Milenijnej w historii.

Matematykę czeka ten sam los co szachy

To definitywny koniec epoki, w której głębokie dowody matematyczne wymagały dekad ludzkiej intuicji i eleganckich skoków myślowych. Dla instytucji badawczych i uniwersytetów oznacza to, że szanse drastycznie się zmieniły. Kto nie ma budżetu rzędu dziesiątek milionów dolarów na jedno uruchomienie obliczeniowe, odpada z ekstraklasy odkryć teoretycznych.

Brutalna siła to nie zrozumienie całości

Znalezienie osobliwości poprzez brutalne przeszukiwanie przestrzeni stanów nie oznacza, że AI rozumie fundamentalną fizykę gazów i cieczy lepiej niż my. Znalazła anomalię, o której znalezienie ją poprosiliśmy. Zapis z 88-godzinnego uruchomienia będzie prawdopodobnie całkowicie nieczytelny, więc weryfikacja dowodu przez człowieka potrwa lata.

Nastąpi peer review i walka o zaszczyty

Kluczowe będzie obserwowanie, jak do dowodu odniesie się Instytut Matematyczny Claya. Pytanie dotyczy nie tylko tego, czy dowód jest formalnie poprawny, ale komu instytut ostatecznie przyzna milionową nagrodę (firmie, konkretnym badaczom, czy też ją zablokuje, twierdząc, że może ją otrzymać tylko człowiek).

Werdykt Lilith

Matematyka stała się zawodami o to, kto zdoła opłacić najdroższą serwerownię na świecie.