OpenAI twierdzi, że rozwiązało Navier–Stokes. Werdykt: WYMAGA SPRAWDZENIA.
OpenAI twierdzi, że wewnętrzny model, uruchomiony jako około 10 000 równoległych agentów przez 88 godzin, stworzył zweryfikowany w Lean dowód, że równania Navier–Stokesa rozpadają się w skończonym czasie — problem Nagrody Milenijnej otwarty od 1934 roku.
OpenAI twierdzi, że wewnętrzny model, uruchomiony jako około 10 000 równoległych agentów przez 88 godzin, stworzył zweryfikowany w Lean dowód, że równania Navier–Stokesa rozpadają się w skończonym czasie — problem Nagrody Milenijnej otwarty od 1934 roku. Dwanaście godzin wcześniej Tristan Buckmaster z NYU opublikował czterostronicowe oświadczenie o tym, jak przebiegała niedzielna rozmowa telefoniczna z OpenAI („Po co miałbyś niszczyć swoją karierę?”), Terence Tao napisał, że otwarte problemy są teraz wydobywane jak nieodnawialne zasoby, a badacz z Anthropic zajmujący się wstępnym szkoleniem zrezygnował z powodu wyścigu. Ponadto: Meta wprowadza Muse, osobistego agenta z własną maszyną wirtualną. Werdykt: WYMAGA SPRAWDZENIA.
Przeczytaj wydanie pisemne (angielski) ↗
Co obejmuje ten film
- OpenAI: rozpad Navier–Stokesa, ~10 000 agentów, 88 godzin, 130 mld tokenów wyjściowych, zweryfikowane w Lean
- Buckmaster i Alpöge: rok na tym samym podejściu, plotka i niedzielna rozmowa z dwiema ofertami
- Terence Tao: „nawet plotka o kimś pracującym nad problemem może wywołać ogromny, zasilany przez AI wysiłek, aby go rozwiązać”
- Jacob Coxon rezygnuje z Anthropic: oba laboratoria „ścigają się prosto do samo-udoskonalającej się superinteligencji”
- Meta wprowadza Muse: osobisty agent na własnej chmurze VM, w WhatsApp, tylko w USA
Przetłumaczona transkrypcja
Przetłumaczono z oryginalnej narracji angielskiej. Dostępne audio i napisy są kontrolowane przez YouTube.
0:00 Wczoraj OpenAI ogłosiło, że jego AI rozwiązało problem Nagrody Milenijnej, otwarty przez dziewięćdziesiąt lat, wart milion dolarów, w osiemdziesiąt osiem godzin, a dwóch matematyków, którzy spędzili rok nad tym samym problemem, dowiedziało się o tym w niedzielnej rozmowie telefonicznej, która, według jednego z nich, zawierała: po co miałbyś niszczyć swoją karierę? To był długi poniedziałek. O świcie profesor NYU opublikował czterostronicowe oświadczenie; tysiąc sześćset punktów na Hacker News. Po południu OpenAI opublikowało dowód.
0:26 Wieczorem Terence Tao powiedział, że otwarte problemy są teraz wydobywane jak nieodnawialne zasoby, a w nocy badacz z Anthropic zrezygnował na X, czterdzieści cztery miliony wyświetleń, ponieważ oba laboratoria, cytuję, ryzykują naszym życiem. Ponadto Meta wprowadziła osobistego agenta, który działa w WhatsApp i ma swój własny komputer. W tym wideo: dowód, rozmowa telefoniczna, przypis, i zdanie, które Terence Tao chce, aby usłyszały laboratoria.
0:49 Jest środa, 9 września, a to jest The Daily Diff. Najpierw matematyka. Navier–Stokes opisuje, jak poruszają się płyny, a od 1934 roku nikt nie wiedział, czy gładki płyn 3D może osiągnąć osobliwość: prędkość dążąca do nieskończoności w skończonym czasie. System OpenAI mówi, że tak. Zacznij od spoczynku, zastosuj gładką siłę, utrzymuj energię skończoną, a wir wije się do wewnątrz jak spaghetti, aż prędkość eksploduje. Oświadczenia C i D sformułowania Claya, w Lean,
1:16 siedemnaście godzin Astra na weryfikację. Więc płyny mogą eksplodować, co każdy, kto rozlał kawę na MacBooka, wiedział, ale teraz jest to w Lean. Jak: OpenAI ma nowy wewnętrzny model, który nazywa znacznie bardziej zdolnym niż Astra, a 1 września usłyszeli plotkę, że dwa problemy Milenijne zostały rozwiązane, więc skierowali go na każdy otwarty problem. Grupa Navier–Stokes: około dziesięć tysięcy równoległych agentów, sto trzydzieści miliardów tokenów wyjściowych; trzysta miliardów we wszystkich
1:42 problemach. Według cennika Astra, piętnaście milionów dolarów tokenów za nagrodę miliona dolarów, której OpenAI, jak twierdzi, nie będzie rościć, i przy tej marży, kto by. Druga strona. Tristan Buckmaster z NYU i Levent Alpöge, który pracuje w Anthropic, spędzili rok, rozwijając podejście Cordoby i Martíneza-Zoroi z Claude i Codex, płacąc OpenAI z własnych funduszy badawczych Buckmastera. 15 sierpnia uzyskali rozpad dla równań Eulera; Buckmaster nazywa pierwszy dowód LLM najbardziej okropnym, jaki kiedykolwiek czytał,
2:10 i został zweryfikowany w Lean 22 sierpnia. Potem rozeszła się plotka, a 3 września wysłał e-mail do OpenAI: to my, to osobiste, wkrótce opublikujemy. W niedzielę o 12:45 OpenAI poprosiło o spotkanie o dowolnej porze dziś, i dołączył Sébastien Bubeck. Buckmasterowi powiedziano, że model udowodnił wymuszone Navier–Stokes z bardzo małym udziałem człowieka, co w trakcie rozmowy stało się całym zespołem, najpierw łatwiejsze problemy, prompt napisany przez Codex i szalona ilość
2:36 obliczeń. Zapytał, kiedy wysłano pierwszy prompt. W końcu: w ciągu ostatnich kilku dni, po tym, jak informacje o naszej pracy dotarły do OpenAI. Nastąpiły dwie oferty. Jedna: ty publikujesz Eulera, my publikujemy Navier–Stokes następnego dnia. Druga: Buckmaster sam spisuje dowód OpenAI, i, jak mówi, Bubeck dwukrotnie chciał usunąć Alpöge z publikacji, ponieważ pracuje w Anthropic. On odmówił i powiedział, że upubliczni sprawę. Odpowiedź, według oświadczenia: po co miałbyś niszczyć swoją karierę,
3:00 potem: jeśli nie chcesz, żebym był miły, nie muszę być miły. Zazwyczaj to zdanie tuż przed tym, jak głowa konia pojawia się w łóżku. Wersja OpenAI: nikt nie widział ich pracy, żadne dane użytkownika nie zostały udostępnione, i, przypis, nie mogą wykluczyć, że zanonimizowane dane z korzystania przez profesorów z ich produktów pomogły ulepszyć model. Recenzja Alpöge: szacunek dla nich za szczere wyznanie. Sam Altman mówi, że wszyscy działali z uczciwością i hojnością, a druga drużyna
3:25 zagroziła bezpodstawnymi oskarżeniami o plagiat, pisane z jednym i. Więc oficjalne stanowisko: nie kopiowaliśmy twojej pracy domowej, słyszeliśmy, że odrabiasz pracę domową. Terence Tao nazwał wynik profesorów niezwykłym i zauważył, że Buckmaster wyjaśnił mu to przez telefon, co było odświeżającą zmianą od opartych na AI modalności komunikacji. Potem, cztery posty: dobre otwarte problemy są teraz wydobywane jak nieodnawialne zasoby, nawet plotka o kimś pracującym nad jednym wywołuje ogromny wysiłek AI, aby go rozwiązać, więc zachętą jest zaprzestanie dzielenia się kierunkami badań,
3:55 odwracając wieki otwartej nauki. Trzy grupy opublikowały rozpad płynu w jeden weekend; następny artykuł może być NDA. W takim nastroju Jacob Coxon zrezygnował: trzy lata wstępnego szkolenia w OpenAI, potem Anthropic; żadna firma nie działa odpowiedzialnie, mówi, obie ścigają się do samo-udoskonalającej się superinteligencji, a końcowa faza nie powinna być uruchamiana ze Slacka prywatnej firmy. Czterdzieści cztery miliony wyświetleń, w dniu, gdy jedno laboratorium wysłało dziesięć tysięcy agentów za plotką,
4:21 więc wątek został wysłany z demonstracją na żywo. W międzyczasie Meta wysłała Muse: osobistego agenta na własnej chmurze VM z własną przeglądarką, a rozmawiasz z nim w WhatsApp. Tylko w USA, za darmo w większości przypadków. Meta obiecuje wersję, której nawet Meta nie będzie mogła przeczytać, jeszcze w tym roku, bardzo specyficzny sposób opisywania tego roku. Najlepszy komentarz na Hacker News: Nie chcę tak dzielić się moim życiem z Meta. Drugi: ciągle próbuje mi sprzedać wózek.
4:45 Jeśli wolisz to przeczytać, niż usłyszeć, jak to mówię, The Daily Diff ląduje w Twojej skrzynce każdego ranka — za darmo na thedaily_diff.dev, link poniżej. Więc — dzisiejszy werdykt: wymaga sprawdzenia. Dowód się kompiluje; historia nie. Dziesięć tysięcy agentów zamykających dziewięćdziesięcioletni problem w weekend to wynik możliwości roku; ogłaszanie tego niedzielnym telefonem do dwóch osób, od których o tym usłyszeliście, już nie.
5:07 I to tyle na dziś. Jestem Niko z Axrisi. Łącz odpowiedzialnie.
Źródła
- OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
- OpenAI Lean formalizationgithub.com
- Tristan Buckmaster, statement (PDF)cims.nyu.edu
- HN: Buckmaster statementnews.ycombinator.com
- HN: OpenAI postnews.ycombinator.com
- Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
- Terence Tao: open problems mined non-renewablymathstodon.xyz
- HN: Tao threadnews.ycombinator.com
- Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
- GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
- Jacob Coxon's resignation threadx.com
- HN: I resigned from Anthropic todaynews.ycombinator.com
- Meta: Introducing Museabout.fb.com
- Museai.meta.com
- HN: Musenews.ycombinator.com
