OpenAI ogłasza rozwiązanie problemu milenijnego Naviera-Stokesa oraz dowód Lean

OpenAI ogłosiło, że jego wewnętrzny system dostarczył odpowiedzi na problem istnienia i gładkości Naviera-Stokesa: pod wpływem gładkich sił zewnętrznych, początkowo w spoczynku i gładkie trójwymiarowe nieściśliwe płyny mogą w ograniczonym czasie tworzyć osobliwości, a cały proces zachowuje ograniczoną energię. Wynik ten odpowiada propozycjom C i D w oficjalnym oświadczeniu Instytutu Badań Matematycznych Clay'a, a także opublikowano równocześnie artykuł oraz formalny dowód w Lean, który czeka na niezależną recenzję ze strony środowiska akademickiego. Projekt wykorzystał wewnętrzny model znacznie silniejszy niż GPT-6 Astra, z około 10 000 równoległych agentów, którzy w ciągu około 88 godzin stworzyli dowód, wysyłając 2,7 miliona wiadomości i generując około 130 miliardów tokenów wyjściowych, a formalizacja i weryfikacja w Lean zajęły dodatkowe 17 godzin. OpenAI nie ma zamiaru ubiegać się o nagrodę milenijną. Na początku OpenAI błędnie sądziło, że pracownicy Anthropic, Levent Alpöge oraz profesor Uniwersytetu Nowojorskiego, Tristan Buckmaster, również rozwiązali ten problem, ale później potwierdzono, że obaj rozwiązali problem wymuszonej równania Eulera i uznano ich pierwszeństwo w tej kwestii.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.