OpenAI sanoo ratkaisseensa Navier–Stokes-yhtälöt. Tuomio: TARVITSEE TARKASTELUA.

Mitä tämä video käsittelee

• OpenAI: Navier–Stokes-räjähdys, ~10 000 agenttia, 88 tuntia, 130 miljardia lähtötokenia, Lean-vahvistettu
• Buckmaster ja Alpöge: vuosi saman lähestymistavan parissa, huhu ja sunnuntaipuhelu kahdella tarjouksella
• Terence Tao: "edes huhu jonkun työskentelystä ongelman parissa voi laukaista massiivisen tekoälypohjaisen ponnistelun sen tasoittamiseksi"
• Jacob Coxon eroaa Anthropicista: molemmat laboratoriot "kiihdyttävät suoraan itsestään parantuvaan superälyyn"
• Meta julkaisee Musen: henkilökohtainen agentti omalla pilvi-VM:llä, WhatsAppissa, vain Yhdysvalloissa

Käännetty transkriptio

Käännetty alkuperäisestä englanninkielisestä selostuksesta. Käytettävissä olevan äänen ja tekstitysten hallinta tapahtuu YouTuben kautta.

0:00 Eilen OpenAI ilmoitti, että sen tekoäly ratkaisi Millennium-palkinto-ongelman, yhdeksänkymmentä vuotta avoimena, miljoona dollaria, kahdeksassakymmenessäkahdeksassa tunnissa, ja kaksi matemaatikkoa, jotka viettivät vuoden saman ongelman parissa, kuulivat siitä sunnuntaipuhelussa, joka toisen heistä mukaan sisälsi: miksi pilaisit urasi? Oli pitkä maanantai. Aamunkoitteessa NYU:n professori julkaisi nelisivuisen lausunnon; kuusitoista sataa pistettä Hacker Newsissa. Iltapäivällä OpenAI julkaisi todisteen.

0:26 Illalla Terence Tao sanoi, että avoimia ongelmia louhitaan nyt kuin uusiutumattomia luonnonvaroja, ja yön yli Anthropicin tutkija erosi X:ssä, neljäkymmentäneljä miljoonaa näyttökertaa, koska molemmat laboratoriot, lainausmerkein, leikkivät elämällämme. Lisäksi Meta julkaisi henkilökohtaisen agentin, joka elää WhatsAppissa ja jolla on oma tietokone. Tässä videossa: todiste, puhelu, alaviite, ja lause, jonka Terence Tao haluaa laboratorioiden kuulevan.

0:49 On keskiviikko, syyskuun 9. päivä, ja tämä on The Daily Diff. Ensin matematiikka. Navier–Stokes kuvaa nesteiden liikettä, ja vuodesta 1934 kukaan ei tiennyt, voiko tasainen 3D-neste osua singulariteettiin: nopeus muuttuu äärettömäksi äärellisessä ajassa. OpenAI:n järjestelmä sanoo kyllä. Aloita levosta, käytä tasaista voimaa, pidä energia äärellisenä, ja pyörre kiertyy sisäänpäin kuin spagetti, kunnes nopeus räjähtää. Clay-muotoilun lauseet C ja D, Leanissa,

1:16 seitsemäntoista tuntia Astraa vahvistamaan. Joten nesteet voivat räjähtää, minkä jokainen, joka läikytti kahvia MacBookille, tiesi, mutta nyt se on Leanissa. Miten: OpenAI:lla on uusi sisäinen malli, jota se kutsuu merkittävästi Astraa kyvykkäämmäksi, ja syyskuun 1. päivänä he kuulivat huhun, että kaksi Millennium-ongelmaa oli ratkaistu, joten he osoittivat sen jokaiseen avoimeen ongelmaan. Navier–Stokes-ryhmä: noin kymmenen tuhatta samanaikaista agenttia, sata kolmekymmentä miljardia lähtötokenia; kolmesataa miljardia kaikissa

1:42 ongelmissa. Astran listahinnoilla viisitoista miljoonaa dollaria tokeneita miljoonan dollarin palkinnosta, jota OpenAI sanoo, ettei se lunasta, ja sillä marginaalilla, kuka lunastaisi. Toinen puoli. Tristan Buckmaster NYU:sta ja Levent Alpöge, joka työskentelee Anthropicissa, viettivät vuoden edistäen Córdoban ja Martínez-Zoroan lähestymistapaa Clauden ja Codexin kanssa, maksaen OpenAI:lle Buckmasterin omista tutkimusvaroista. Elokuun 15. päivänä he saivat Eulerin yhtälöiden räjähdyksen; Buckmaster kutsuu ensimmäistä LLM-todistusta hirveimmäksi, jonka hän on koskaan lukenut,

2:10 ja se vahvistettiin Leanissa elokuun 22. päivänä. Sitten huhu levisi, ja syyskuun 3. päivänä hän lähetti sähköpostia OpenAI:lle: se olemme me, se on henkilökohtaista, julkaisemme pian. Sunnuntaina kello 12:45 OpenAI pyysi tapaamista "minä hetkenä tahansa tänään", ja Sébastien Bubeck liittyi mukaan. Buckmasterille kerrottiin, että malli oli todistanut pakotetun Navier–Stokesin hyvin vähällä ihmisen panoksella, mistä puhelun aikana tuli "kokonainen tiimi", "helpommat ongelmat ensin", "Codexin kirjoittama ohje" ja "järjetön määrä

2:36 laskentatehoa". Hän kysyi, milloin ensimmäinen ohje lähetettiin. Lopulta: "muutaman viime päivän aikana, sen jälkeen kun tieto työstämme oli tavoittanut OpenAI:n". Kaksi tarjousta seurasi. Yksi: te julkaisette Eulerin, me julkaisemme Navier–Stokesin seuraavana päivänä. Kaksi: Buckmaster yksin kirjoittaa OpenAI-todisteen, ja, hän sanoo, Bubeck halusi kahdesti Alpögen pois paperista, koska tämä työskentelee Anthropicissa. Hän kieltäytyi ja sanoi, että hän julkistaisi asian. Vastaus lausunnon mukaan: miksi pilaisit urasi,

3:00 sitten: jos et halua minun olevan mukava, minun ei tarvitse olla mukava. Normaalisti lause juuri ennen kuin hevosen pää ilmestyy sänkyyn. OpenAI:n versio: kukaan ei nähnyt heidän työtään, käyttäjätietoihin ei päästy käsiksi, ja, alaviite, he eivät voi sulkea pois sitä mahdollisuutta, että professorien tuotteiden käytöstä saatu tunnistamaton tieto auttoi mallin parantamisessa. Alpögen arvio: hatunnosto heille suorasta tunnustamisesta. Sam Altman sanoo, että kaikki toimivat rehellisesti ja anteliaasti, ja toinen tiimi

3:25 uhkasi perusteettomilla syytöksillä plagioinnista, kirjoitettu yhdellä i:llä. Joten virallinen kanta: emme kopioineet kotitehtäviänne, kuulimme, että teitte kotitehtäviä. Terence Tao kutsui professoreiden tulosta merkittäväksi ja totesi Buckmasterin selittäneen sen hänelle puhelimessa, virkistävää vaihtelua tekoälypohjaisista viestintämuodoista. Sitten neljä viestiä: hyviä avoimia ongelmia louhitaan nyt kuin uusiutumattomia luonnonvaroja, jopa huhu jonkun työskentelystä yhden parissa laukaisee massiivisen tekoälyponnistuksen sen tasoittamiseksi, joten kannustin on lopettaa tutkimussuuntien jakaminen,

3:55 kääntäen vuosisatojen avoimen tieteen suunnan. Kolme ryhmää julkaisi nestesärähdyksen yhdessä viikonlopussa; seuraava paperi saattaa olla salassapitosopimus. Mikä on tunnelma, johon Jacob Coxon erosi: kolme vuotta esikoulutusta OpenAI:ssa, sitten Anthropicissa; kumpikaan yritys ei toimi vastuullisesti, hän sanoo, molemmat kiihdyttävät itsestään parantuvaan superälyyn, eikä loppupeliä pitäisi käynnistää yksityisen yrityksen Slackista. Neljäkymmentäneljä miljoonaa katselukertaa, sinä päivänä kun yksi laboratorio laittoi kymmenen tuhatta agenttia huhun perään,

4:21 joten ketju julkaistiin live-demon kanssa. Samaan aikaan Meta julkaisi Musen: henkilökohtaisen agentin omalla pilvi-VM:llä ja omalla selaimella, ja puhut sille WhatsAppissa. Vain Yhdysvalloissa, ilmainen useimmissa asioissa. Meta lupaa version, jota edes Meta ei voi lukea, myöhemmin tänä vuonna, erittäin spesifi tapa kuvata tätä vuotta. Hacker Newsin suosituin kommentti: En halua jakaa elämääni Metan kanssa näin. Toinen: se yrittää jatkuvasti myydä minulle lastenvaunuja.

4:45 Jos haluaisit mieluummin lukea tämän kuin kuulla minun sanovan sen, diff saapuu sähköpostiisi joka aamu – ilmaiseksi osoitteessa thedailydiff.dev, linkki alla. Joten – tämän päivän tuomio: TARVITSEE TARKASTELUA. Todiste kääntyy; tarina ei. Kymmenen tuhatta agenttia sulkemassa yhdeksänkymmentä vuotta vanhaa ongelmaa viikonlopussa on vuoden kyvykkyystulos; sen ilmoittaminen sunnuntaipuhelulla kahdelle ihmiselle, joilta kuulit siitä, ei ole.

5:07 Ja tämä on tämän päivän diff. Olen Niko Axrisista. Yhdistä vastuullisesti.

Lähteet

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