OpenAI segist hafa leyst Navier–Stokes. Dómur: NEEDS REVIEW.

Það sem þetta myndband fjallar um

• OpenAI: Navier–Stokes uppblástur, ~10.000 umboðsmenn, 88 klukkustundir, 130B úttakstákn, Lean-staðfest
• Buckmaster og Alpöge: eitt ár á sömu nálgun, orðrómur og símtal á sunnudag með tveimur tilboðum
• Terence Tao: "jafnvel orðrómur um að einhver sé að vinna að vandamáli getur kallað fram gríðarlega mikið af gervigreindardrifinni viðleitni til að klára það"
• Jacob Coxon segir upp hjá Anthropic: báðar rannsóknarstofur "keppast beint að sjálfsbætandi ofurgreind"
• Meta sendir frá sér Muse: persónulegan umboðsmann á eigin skýjamyndavél, í WhatsApp, aðeins í Bandaríkjunum

Þýtt afrit

Þýtt úr upprunalegri enskri frásögn. Tiltækt hljóð og textar eru stjórnaðir af YouTube.

0:00 Í gær tilkynnti OpenAI að gervigreindin þeirra hefði leyst Millennium Prize vandamál, opnað í níutíu ár, ein milljón dollara, á áttatíu og átta klukkustundum, og stærðfræðingarnir tveir sem höfðu eytt ári í sama vandamálið fréttu af því í símtali á sunnudegi sem, samkvæmt öðrum þeirra, innihélt: af hverju myndirðu eyðileggja feril þinn? Þetta var langur mánudagur. Við dögun birti prófessor frá NYU fjögurra síðna yfirlýsingu; sextán hundruð stig á Hacker News. Síðdegis birti OpenAI sönnunina.

0:26 Um kvöldið sagði Terence Tao að opin vandamál væru nú unnin eins og óendurnýjanleg auðlind, og yfir nótt sagði rannsakandi hjá Anthropic upp á X, fjörutíu og fjórar milljónir áhorfa, vegna þess að báðar rannsóknarstofurnar eru, tilvitnun, að tefla lífi okkar í tvísýnu. Einnig sendi Meta frá sér persónulegan umboðsmann sem býr í WhatsApp og hefur sína eigin tölvu. Í þessu myndbandi: sönnunin, símtalið, neðanmálsgreinin, og setningin sem Terence Tao vill að rannsóknarstofurnar heyri.

0:49 Þetta er miðvikudagur, 9. september, og þetta er The Daily Diff. Stærðfræðin fyrst. Navier–Stokes lýsir því hvernig vökvar hreyfast, og síðan 1934 vissi enginn hvort sléttur 3D vökvi gæti náð sérstöðu: hraði farið í óendanleika á endanlegum tíma. Kerfi OpenAI segir já. Byrjaðu í hvíld, beittu sléttum krafti, haltu orkunni endanlegri, og hvirfill snýst inn á við eins og spagettí þar til hraðinn springur upp. Yfirlýsingar C og D af Clay formgerðinni, í Lean,

1:16 sautján klukkustundir af Astra til að staðfesta. Svo vökvar geta sprungið, sem allir sem helltu kaffi á MacBook vissu, en nú er það í Lean. Hvernig: OpenAI er með nýtt innra líkan sem þeir kalla verulega öflugra en Astra, og 1. september heyrðu þeir orðróm um að tvö Millennium vandamál hefðu verið leyst, svo þeir beindu því að hverju opnu vandamáli. Navier–Stokes hópurinn: um tíu þúsund samhliða umboðsmenn, hundrað og þrjátíu milljarðar úttakstákna; þrjú hundruð milljarðar yfir öll

1:42 vandamál. Miðað við Astra listaverð, fimmtán milljónir dollara í tákn fyrir milljón dollara verðlaun sem OpenAI segir að þeir muni ekki gera tilkall til, og með því svigrúmi, hver myndi. Hin hliðin. Tristan Buckmaster hjá NYU og Levent Alpöge, sem vinnur hjá Anthropic, eyddu ári í að þróa nálgun frá Córdoba og Martínez-Zoroa með Claude og Codex, og borguðu OpenAI úr eigin rannsóknarsjóðum Buckmasters. 15. ágúst fengu þeir uppblástur fyrir Euler jöfnurnar; Buckmaster kallar fyrstu LLM sönnunina þá hræðilegustu sem hann hefur nokkurn tíma lesið,

2:10 og hún var staðfest í Lean 22. ágúst. Síðan dreifðist orðrómur, og 3. september sendi hann tölvupóst til OpenAI: það erum við, það er persónulegt, við munum birta fljótlega. Á sunnudaginn klukkan 12:45 bað OpenAI um að hittast hvenær sem er í dag, og Sébastien Bubeck gekk til liðs. Buckmaster var sagt að líkanið hefði sannað knúin Navier–Stokes með mjög litlum mannlegum inntaki, sem í gegnum símtalið varð að heilu teymi, auðveldari vandamál fyrst, beiðni skrifuð af Codex, og geðveikt mikið af

2:36 útreikningskrafti. Hann spurði hvenær fyrsta beiðnin var send. Að lokum: síðustu daga, eftir að upplýsingar um vinnu okkar höfðu náð til OpenAI. Tvö tilboð fylgdu. Eitt: þú birtir Euler, við birtum Navier–Stokes næsta dag. Tvö: Buckmaster einn skrifar sönnun OpenAI, og, segir hann, Bubeck vildi tvisvar að Alpöge færi af blaðinu vegna þess að hann vinnur hjá Anthropic. Hann neitaði og sagðist ætla að fara opinberlega. Svarið, samkvæmt yfirlýsingunni: af hverju myndirðu eyðileggja feril þinn,

3:00 síðan: ef þú vilt ekki að ég sé góður, þarf ég ekki að vera góður. Venjulega línan rétt áður en hrosshöfuð birtist í rúmi. Útgáfa OpenAI: enginn sá vinnu þeirra, engin notendagögn voru opnuð, og, neðanmálsgrein, þeir geta ekki útilokað að afauðkennd gögn frá notkun prófessoranna á vörum þeirra hafi hjálpað til við að bæta líkanið. notkun prófessoranna á vörum þeirra hafi hjálpað til við að bæta líkanið. Umsögn Alpöge: hrósa þeim fyrir að koma hreint fram. Sam Altman segir að allir hafi hagað sér með heiðarleika og örlæti og hitt liðið

3:25 hótaði tilefnislausum ásökunum um ritstuld, stafað með einu i. Svo opinber staða: við afrituðum ekki heimanámið þitt, við heyrðum að þú værir að gera heimanám. Terence Tao kallaði niðurstöður prófessoranna ótrúlegar og tók fram að Buckmaster útskýrði það fyrir honum í síma, hressandi breyting frá gervigreindartengdum samskiptamáta. Síðan, fjögur innlegg: góð opin vandamál eru nú unnin eins og óendurnýjanleg auðlind, jafnvel orðrómur um að einhver sé að vinna að einu kallar fram gríðarlega gervigreindarviðleitni til að klára það, svo hvatinn er að hætta að deila rannsóknarstefnum,

3:55 sem snýr við aldraðri opinnar vísindahefð. Þrír hópar birtu vökva uppblástur á einni helgi; næsta blað getur verið NDA. Sem er skapið sem Jacob Coxon sagði upp í: þrjú ár af forþjálfun hjá OpenAI, síðan Anthropic; hvorugt fyrirtækið er að bregðast ábyrgt við, segir hann, báðir keppast að sjálfsbætandi ofurgreind, og endaleiknum ætti ekki að vera hleypt af stokkunum frá Slack einkafyrirtækis. Fjörutíu og fjórar milljónir áhorfa, á þeim degi sem ein rannsóknarstofa setti tíu þúsund umboðsmenn á orðróm,

4:21 svo þráðurinn var sendur með lifandi sýningu. Á meðan sendi Meta frá sér Muse: persónulegan umboðsmann á eigin skýjamyndavél með eigin vafra, og þú talar við hana í WhatsApp. Aðeins í Bandaríkjunum, ókeypis fyrir flest. Meta lofar útgáfu sem jafnvel Meta getur ekki lesið, síðar á þessu ári, mjög sérstök leið til að lýsa þessu ári. Efsta athugasemd á Hacker News: Ég vil ekki deila lífi mínu með Meta svona. Önnur: hún heldur áfram að reyna að selja mér kerru.

4:45 Ef þú vilt frekar lesa þetta en heyra mig segja það, þá lendir diffið í pósthólfinu þínu á hverjum morgni — ókeypis á the daily diff dot dev, hlekkur hér að neðan. Svo — dómur dagsins: needs review. Sönnunin þýðist; sagan gerir það ekki. Tíu þúsund umboðsmenn sem ljúka níutíu ára gömlu vandamáli á einni helgi er árangur ársins; að tilkynna það með símtali á sunnudegi til þeirra tveggja manna sem þú heyrðir af því frá er ekki.

5:07 Og það er diffið fyrir í dag. Ég er Niko frá Axrisi. Sameinaðu á ábyrgan hátt.

Heimildir

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