Az OpenAI azt állítja, megoldotta a Navier–Stokes egyenletet. Ítélet: ÁTTEKINTÉS SZÜKSÉGES.

Amit ez a videó tartalmaz

• OpenAI: Navier–Stokes „felfúvódás”, ~10 000 ügynök, 88 óra, 130B kimeneti token, Lean-verified
• Buckmaster és Alpöge: egy év ugyanazon a megközelítésen, egy pletyka, és egy vasárnapi hívás két ajánlattal
• Terence Tao: „még a pletyka is arról, hogy valaki egy problémán dolgozik, hatalmas AI-vezérelt erőfeszítést válthat ki annak elsimítására”
• Jacob Coxon lemond az Anthropicnál: mindkét labor „egyenesen az önfejlesztő szuperintelligencia felé rohan”
• A Meta bemutatja a Muse-t: egy személyes ügynök saját felhő VM-en, WhatsAppban, csak az USA-ban

Lefordított átirat

Az eredeti angol narrációból fordítva. A rendelkezésre álló hangot és feliratokat a YouTube vezérli.

0:00 Tegnap az OpenAI bejelentette, hogy mesterséges intelligenciája megoldott egy Millenniumi Díj problémát, kilencven éve nyitott, egymillió dollár, nyolcvannyolc óra alatt, és a két matematikus, akik egy évet töltöttek ugyanazon a problémán, erről egy vasárnapi telefonhívás során értesültek, ami az egyikük szerint tartalmazta: miért tennéd tönkre a karrieredet? Hosszú hétfő volt. Hajnalban egy NYU professzor posztolt egy négylapos nyilatkozatot; ezerhatszáz ponttal a Hacker News-on. Délután az OpenAI közzétette a bizonyítékot.

0:26 Este Terence Tao azt mondta, hogy a nyitott problémákat most úgy bányásszák, mint egy nem megújuló erőforrást, és éjszaka egy Anthropic kutató lemondott az X-en, negyvennégy millió megtekintés, mert mindkét labor, idézem, az életünkkel játszik. A Meta is bemutatott egy személyes ügynököt, amely a WhatsAppban él és saját számítógéppel rendelkezik. Ebben a videóban: a bizonyíték, a telefonhívás, a lábjegyzet, és az a mondat, amit Terence Tao szeretné, ha a laborok meghallanának.

0:49 Szeptember 9-e, szerda van, és ez a The Daily Diff. Először a matematika. A Navier–Stokes leírja a folyadékok mozgását, és 1934 óta senki sem tudta, hogy egy sima 3D folyadék elérhet-e szingularitást: a sebesség véges időn belül végtelenné válását. Az OpenAI rendszere szerint igen. Nyugalmi állapotból indulva, sima erőt alkalmazva, véges energiát tartva, egy örvény spirálisan befelé tekeredik, mint a spagetti, amíg a sebesség fel nem robban. A Clay-féle megfogalmazás C és D állításai, Lean nyelven,

1:16 tizenhét órás Astra ellenőrzéssel. Tehát a folyadékok felrobbanhatnak, amit bárki tudott, aki kávét öntött a MacBookjára, de most már Leanben is benne van. Hogyan: az OpenAI-nak van egy új belső modellje, amelyet lényegesen képzettebbnek nevez az Astránál, és szeptember 1-jén hallottak egy pletykát, hogy két Millenniumi probléma megoldódott, ezért ráirányították az összes nyitottra. A Navier–Stokes csoport: mintegy tízezer párhuzamos ügynök, százharminc milliárd kimeneti token; háromszáz milliárd az összes

1:42 problémára vonatkozóan. Astra listaáron tizenöt millió dollár értékű token egy egymillió dolláros díjért, amit az OpenAI állítása szerint nem fog igényelni, és ilyen árréssel, ki is tenné. A másik oldal. Tristan Buckmaster a NYU-n és Levent Alpöge, aki az Anthropicnál dolgozik, egy évet töltöttek Córdoba és Martínez-Zoroa megközelítésének továbbfejlesztésével Claude és Codex segítségével, Buckmaster saját kutatási alapjaiból fizetve az OpenAI-nak. Augusztus 15-én felfúvódást kaptak az Euler-egyenletekhez; Buckmaster az első LLM bizonyítékot a valaha olvasottak közül a leghorribilisabbnak nevezi,

2:10 és augusztus 22-én Leanben is ellenőrizték. Aztán elterjedt egy pletyka, és szeptember 3-án e-mailt küldött az OpenAI-nak: mi vagyunk, ez személyes, hamarosan posztolunk. Vasárnap 12:45-kor az OpenAI találkozót kért még aznapra, és Sébastien Bubeck is csatlakozott. Buckmasternek elmondták, hogy a modell nagyon kevés emberi beavatkozással bebizonyította az erőltetett Navier–Stokes-t, ami a hívás során egy egész csapattá, majd könnyebb problémákká, a Codex által írt prompttá és őrült mennyiségű

2:36 számítási teljesítménnyé vált. Megkérdezte, mikor küldték az első promptot. Végül: az elmúlt néhány napban, miután munkánkról információk jutottak el az OpenAI-hoz. Két ajánlat következett. Egy: te posztolod az Eulert, mi posztoljuk a Navier–Stokes-t másnap. Kettő: Buckmaster egyedül írja meg az OpenAI bizonyítékát, és, elmondása szerint, Bubeck kétszer is le akarta venni Alpögét a cikkről, mert az Anthropicnál dolgozik. Ő visszautasította, és azt mondta, nyilvánosságra hozza. A válasz a nyilatkozat szerint: miért tennéd tönkre a karrieredet,

3:00 aztán: ha nem akarod, hogy kedves legyek, nem kell kedvesnek lennem. Általában ez a mondat közvetlenül azelőtt hangzik el, hogy egy ló feje felbukkan az ágyban. Az OpenAI verziója: senki sem látta a munkájukat, nem fértek hozzá felhasználói adatokhoz, és, lábjegyzet, nem zárhatják ki, hogy a professzorok termékeinek használatából származó, azonosíthatatlan adatok segítettek a modell fejlesztésében. Alpöge véleménye: elismerés nekik, amiért egyenesen tisztázták a helyzetet. Sam Altman azt mondja, mindenki tisztességgel és nagylelkűen járt el, a másik csapat pedig

3:25 alaptalan plágiumvádakkal fenyegetőzött, egy "i" betűvel írva. Tehát a hivatalos álláspont: nem másoltuk le a házi feladatodat, hallottuk, hogy házi feladatot csinálsz. Terence Tao figyelemre méltónak nevezte a professzorok eredményét, és megjegyezte, hogy Buckmaster telefonon elmagyarázta neki, ami üdítő változás az AI-alapú kommunikációs módokhoz képest. Aztán, négy bejegyzés: a jó nyitott problémákat most már úgy bányásszák, mint egy nem megújuló erőforrást, még egy pletyka is arról, hogy valaki dolgozik egyen, hatalmas AI-erőfeszítést vált ki annak elsimítására, így az ösztönző a kutatási irányok megosztásának leállítása,

3:55 évszázados nyílt tudományt megfordítva. Három csoport posztolt folyadék „felfúvódásról” egy hétvége alatt; a következő cikk lehet egy titoktartási megállapodás. Ez az a hangulat, amibe Jacob Coxon lemondott: három év előképzés az OpenAI-nál, majd az Anthropicnál; egyik cég sem jár el felelősségteljesen, mondja, mindkettő az önfejlesztő szuperintelligencia felé rohan, és a végjátékot nem egy magáncég Slackjéből kellene elindítani. Negyvennégy millió megtekintés, azon a napon, amikor az egyik labor tízezer ügynököt vetett be egy pletykára,

4:21 így a szál egy élő demóval együtt került publikálásra. Eközben a Meta kiadta a Muse-t: egy személyes ügynököt saját felhő VM-en, saját böngészővel, és a WhatsAppban beszélhetsz vele. Csak az USA-ban, a legtöbb dologhoz ingyenes. A Meta idén később ígér egy olyan verziót, amit még a Meta sem tud elolvasni, ami nagyon specifikus módja ennek az évnek a leírására. Legjobb Hacker News komment: Nem akarom így megosztani az életemet a Metával. Második: folyamatosan babakocsit próbál eladni nekem.

4:45 Ha inkább elolvasnád ezt, mint hallgatnád, ahogy mondom, a "diff" minden reggel megérkezik a bejövő leveleid közé — ingyenesen a the daily diff dot dev címen, link lent. Szóval – a mai ítélet: áttekintés szükséges. A bizonyíték összeáll; a történet nem. Tízezer ügynök, akik egy kilencven éves problémát oldanak meg egy hétvége alatt, az az év képességbeli eredménye; de bejelenteni azt egy vasárnapi telefonhívással annak a két embernek, akiktől hallottál róla, az nem.

5:07 És ez volt a mai különbség. Niko vagyok az Axrisitől. Felelősségteljesen egyesítsétek.

Források

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com