OpenAI teigia, kad išsprendė Navier-Stokes lygtis. Verdiktas: REIKALINGAS ĮVERTINIMAS.

Kas aptariama šiame vaizdo įraše

• OpenAI: Navier-Stokes „išsipūtimas“, apie 10 000 agentų, 88 valandos, 130 mlrd. išvesties žetonų, patikrinta su Lean.
• Buckmasteris ir Alpöge: metus dirbo prie tos pačios prieigos, gandas ir sekmadienio skambutis su dviem pasiūlymais.
• Terence'as Tao: „net gandas apie tai, kad kažkas dirba prie problemos, gali sukelti milžinišką AI pastangų bangą, kad ją išspręstų“.
• Jacobas Coxonas atsistatydina iš Anthropic: abi laboratorijos „tiesiogiai lenktyniauja link savaime tobulėjančio superintelekto“.
• Meta išleidžia „Muse“: asmeninį agentą, veikiantį nuosavoje debesies virtualioje mašinoje, programoje WhatsApp, tik JAV.

Išverstas transkriptas

Išversta iš originalo anglų kalbos. Galimas garso ir subtitrų valdymas per YouTube.

0:00 Vakar OpenAI paskelbė, kad jos AI išsprendė Tūkstantmečio prizo problemą, devyniasdešimt metų atvira, vienas milijonas dolerių, per aštuoniasdešimt aštuonias valandas, o du matematikai, kurie metus praleido prie tos pačios problemos, sužinojo apie tai per sekmadienio telefono skambutį, kuriame, anot vieno iš jų, buvo: kam jūs sugadintumėte savo karjerą? Tai buvo ilgas pirmadienis. Auštant NYU profesorius paskelbė keturių puslapių pareiškimą; šešiolika šimtų taškų Hacker News. Popiet OpenAI paskelbė įrodymą.

0:26 Vakare Terence'as Tao pasakė, kad atviros problemos dabar kasamos kaip neatsinaujinantis išteklius, o per naktį Anthropic tyrėjas atsistatydino X tinkle, keturiasdešimt keturi milijonai peržiūrų, nes abi laboratorijos, cituoju, rizikuoja mūsų gyvybėmis. Be to, „Meta“ išleido asmeninį agentą, kuris veikia „WhatsApp“ ir turi savo kompiuterį. Šiame vaizdo įraše: įrodymas, telefono skambutis, išnaša, ir sakinys, kurį Terence'as Tao nori, kad laboratorijos išgirstų.

0:49 Šiandien trečiadienis, rugsėjo 9 d., ir tai yra „The Daily Diff“. Pirma, matematika. Navier–Stokes aprašo skysčių judėjimą, ir nuo 1934 metų niekas nežinojo, ar sklandus 3D skystis gali pasiekti singuliarumą: greitis tampa begalinis per baigtinį laiką. OpenAI sistema sako taip. Pradėkite nuo ramybės būsenos, pritaikykite tolygią jėgą, išlaikykite baigtinę energiją, ir sūkurys spirališkai susisuka į vidų kaip spagečiai, kol greitis „išsipučia“. Clay formulavimo teiginiai C ir D, naudojant Lean,

1:16 septyniolika valandų Astra patikrinimui. Taigi skysčiai gali sprogti, ką žinojo kiekvienas, išpylęs kavos ant MacBook, bet dabar tai yra Lean. Kaip: OpenAI turi naują vidinį modelį, kurį vadina žymiai pajėgesniu nei Astra, ir rugsėjo 1 d. jie išgirdo gandą, kad buvo išspręstos dvi Tūkstantmečio problemos, todėl jie nukreipė jį į kiekvieną atvirą problemą. Navier–Stokes grupė: apie dešimt tūkstančių sinchroninių agentų, šimtas trisdešimt milijardų išvesties žetonų; trys šimtai milijardų visoms

1:42 problemoms. Pagal Astra kainoraštį, penkiolika milijonų dolerių žetonų už milijono dolerių prizą, kurio OpenAI, kaip teigia, nereikalaus, ir su tokia marža, kas gi norėtų. Kita pusė. Tristanas Buckmasteris iš NYU ir Leventas Alpöge, dirbantis Anthropic, metus stūmė Córdobos ir Martínez-Zoroa metodą su Claude ir Codex, mokėdami OpenAI iš Buckmasterio tyrimų lėšų. Rugpjūčio 15 d. jie pasiekė Oilerio lygčių sprogimą; Buckmasteris vadina pirmąjį LLM įrodymą pačiu baisiausiu, kokį kada nors skaitė,

2:10 ir jis buvo patvirtintas Lean programoje rugpjūčio 22 d. Tada pasklido gandas, ir rugsėjo 3 d. jis parašė el. laišką OpenAI: tai mes, tai asmeniška, netrukus paskelbsime. Sekmadienį 12:45 OpenAI paprašė susitikti bet kuriuo šiandienos metu, ir prisijungė Sébastien Bubeck. Buckmasteriui buvo pasakyta, kad modelis įrodė priverstinį Navier–Stokes su labai mažai žmogaus įvesties, kas per skambutį virto visa komanda, pirma lengvesnės problemos, „Codex“ parašyta užklausa ir beprotiškas kiekis

2:36 skaičiavimo galios. Jis paklausė, kada buvo išsiųsta pirmoji užklausa. Galiausiai: per pastarąsias kelias dienas, po to, kai informacija apie mūsų darbą pasiekė OpenAI. Po to sekė du pasiūlymai. Pirmas: jūs paskelbiate Eulerio, mes paskelbiame Navier–Stokes kitą dieną. Antras: vien Buckmasteris parašo OpenAI įrodymą, ir, jis sako, Bubeckas dukart norėjo, kad Alpöge nebūtų įtrauktas į straipsnį, nes jis dirba Anthropic. Jis atsisakė ir pasakė, kad paviešins. Atsakymas, pagal pareiškimą: kodėl jūs sugadintumėte savo karjerą,

3:00 tada: jei nenorite, kad būčiau malonus, man nereikia būti maloniam. Paprastai ši eilutė pasirodo prieš pat arklio galva atsiranda lovoje. OpenAI versija: niekas nematė jų darbo, jokie vartotojo duomenys nebuvo pasiekti, ir, išnaša, jie negali atmesti, kad deidentifikuoti duomenys iš profesorių naudojimosi jų produktais padėjo tobulinti modelį. Alpöge apžvalga: garbė jiems už tai, kad tiesiai prisipažino. Samas Altmanas sako, kad visi elgėsi su sąžiningumu ir dosnumu, o kita komanda

3:25 grasino nepagrįstais kaltinimais plagiatu, rašomu su viena „i“. Taigi oficiali pozicija: mes nenukopijavome jūsų namų darbų, mes girdėjome, kad jūs darėte namų darbus. Terence'as Tao profesorių rezultatą pavadino nepaprastu ir pažymėjo, kad Buckmasteris jam paaiškino tai telefonu, gaivus pokytis, palyginti su AI pagrindu veikiančiomis komunikacijos priemonėmis. Tada, keturi įrašai: geros atviros problemos dabar kasamos kaip neatsinaujinantis išteklius, net gandas apie tai, kad kažkas prie vienos dirba, sukelia milžiniškas AI pastangas ją išspręsti, todėl atsiranda paskata nebedalintis tyrimų

3:55 kryptimis, atšaukiant šimtmečius trukusią atvirąją mokslą. Trys grupės paskelbė apie skysčių „išsipūtimą“ per vieną savaitgalį; kitas darbas gali būti su konfidencialumo sutartimi. Tokia nuotaika Jacobas Coxonas atsistatydino: trejus metus išankstinio mokymo OpenAI, tada Anthropic; nei viena įmonė nesielgia atsakingai, jis sako, abi lenktyniauja dėl savaime tobulėjančio superintelekto, o galutinio žaidimo neturėtų pradėti privati įmonės Slack. Keturiasdešimt keturi milijonai peržiūrų tą dieną, kai viena laboratorija ant gandų pasitelkė dešimt tūkstančių agentų,

4:21 todėl gija buvo paskelbta su gyva demonstracija. Tuo tarpu „Meta“ išleido „Muse“: asmeninį agentą, veikiantį nuosavoje debesies VM su savo naršykle, ir jūs su juo bendraujate „WhatsApp“. Tik JAV, dauguma funkcijų nemokamos. „Meta“ žada versiją, kurios net „Meta“ negalės skaityti, vėliau šiais metais, labai specifinis būdas apibūdinti šiuos metus. Geriausias „Hacker News“ komentaras: nenoriu taip dalintis savo gyvenimu su „Meta“. Antra: ji vis bando man parduoti vežimėlį.

4:45 Jei verčiau tai skaitytumėte, nei klausytumėte, kaip aš tai sakau, skirtumas pasieks jūsų pašto dėžutę kiekvieną rytą – nemokamai „thedailydiff.dev“, nuoroda žemiau. Taigi – šiandienos verdiktas: reikalingas įvertinimas. Įrodymas sukompiliuojamas; istorija – ne. Dešimt tūkstančių agentų, išsprendusių devyniasdešimties metų senumo problemą per savaitgalį, yra metų galimybių rezultatas; jo paskelbimas sekmadienio telefono skambučiu dviem žmonėms, iš kurių apie tai išgirdote, nėra.

5:07 Ir tai yra šiandienos skirtumas. Aš esu Niko iš Axrisi. Sujunkite atsakingai.

Šaltiniai

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