OpenAI ütleb, et lahendas Navier–Stokes'i. Otsus: VAJAB ÜLEVAATAMIST.

Mida see video hõlmab

• OpenAI: Navier–Stokes'i "plahvatus", ~10 000 agenti, 88 tundi, 130 miljardit väljundmärki, Lean-tõestatud
• Buckmaster ja Alpöge: aasta sama lähenemisega, kuulujutt ja pühapäevane kõne kahe pakkumisega
• Terence Tao: "isegi kuulujutt sellest, et keegi probleemiga tegeleb, võib käivitada tohutu hulga tehisintellektil põhinevaid pingutusi selle lahendamiseks"
• Jacob Coxon lahkub Anthropicust: mõlemad laborid "võidujooksul iseenda täiustuva superintellekti poole"
• Meta toob turule Muse'i: isiklik agent oma pilve virtuaalmasinas, WhatsAppis, ainult USA-s

Tõlgitud transkriptsioon

Tõlgitud ingliskeelsest originaaljutustusest. Saadaolevat heli ja subtiitreid kontrollib YouTube.

0:00 Eile teatas OpenAI, et tema tehisintellekt lahendas Millenniumi auhinna probleemi, üheksa aastakümmet lahtine, miljon dollarit, kaheksakümne kaheksa tunniga, ja kaks matemaatikut, kes veetsid aasta sama probleemi kallal, said sellest teada pühapäevasel telefonikõnel, mis ühe nende sõnul sisaldas: miks sa tahaksid oma karjääri rikkuda? See oli pikk esmaspäev. Koidikul postitas NYU professor neljaleheküljelise avalduse; kuusteist sada punkti Hacker Newsis. Pärastlõunal postitas OpenAI tõendi.

0:26 Õhtul ütles Terence Tao, et avatud probleeme kaevandatakse nüüd nagu taastumatut ressurssi, ja üleöö lahkus Anthropicu uurija X-ist, nelikümmend neli miljonit vaatamist, sest mõlemad laborid on, tsiteerides, mängivad meie eludega. Lisaks tõi Meta turule isikliku agendi, mis elab WhatsAppis ja millel on oma arvuti. Selles videos: tõend, telefonikõne, joonealune märkus, ja lause, mida Terence Tao tahab, et laborid kuuleksid.

0:49 On kolmapäev, 9. september, ja see on The Daily Diff. Esmalt matemaatika. Navier–Stokes kirjeldab vedelike liikumist, ja alates 1934. aastast ei teadnud keegi, kas sile 3D-vedelik võib jõuda singulaarsuseni: kiirus muutub piiramatuks piiratud ajaga. OpenAI süsteem ütleb jah. Alustage puhkeasendist, rakendage sujuvat jõudu, hoidke energiat piiratuna, ja keeris spiraalub sissepoole nagu spagetid, kuni kiirus plahvatab. Clay formuleeringu laused C ja D, Leanis,

1:16 seitseteist tundi Astra poolt verifitseerimiseks. Nii et vedelikud võivad plahvatada, mida teadis igaüks, kes kohvi MacBookile ajas, aga nüüd on see Leanis. Kuidas: OpenAI-l on uus sisemine mudel, mida nad nimetavad oluliselt võimekamaks kui Astra, ja 1. septembril kuulsid nad kuulujuttu, et kaks Millenniumi probleemi oli lahendatud, nii et nad suunasid selle igale lahtisele probleemile. Navier–Stokes'i rühm: umbes kümme tuhat samaaegset agenti, sada kolmkümmend miljardit väljundmärki; kolmsada miljardit kõigi

1:42 probleemide lõikes. Astra hinnakirjade järgi, viisteist miljonit dollarit märke ühe miljoni dollari auhinna eest, mida OpenAI ütleb, et nad ei taotle, ja sellise marginaali korral, kes siis taotleks. Teine pool. Tristan Buckmaster NYU-st ja Levent Alpöge, kes töötab Anthropicus, veetsid aasta arendades Córdoba ja Martínez-Zoroa lähenemist Claude'i ja Codexi abil, makstes OpenAI-le Buckmasteri enda uurimisfondidest. 15. augustil said nad Euleri võrrandite jaoks "plahvatuse"; Buckmaster nimetab esimest LLM-i tõestust kõige hirmsamaks, mida ta kunagi lugenud on,

2:10 ja see verifitseeriti Leanis 22. augustil. Seejärel levis kuulujutt, ja 3. septembril saatis ta OpenAI-le e-kirja: see oleme meie, see on isiklik, postitame varsti. Pühapäeval kell 12:45 palus OpenAI kohtuda "igal ajal täna", ja Sébastien Bubeck liitus. Buckmasterile öeldi, et mudel oli tõestanud sunnitud Navier–Stokes'i väga vähese inimliku panusega, mis kõne jooksul muutus terveks meeskonnaks, lihtsamad probleemid esmalt, Codexi kirjutatud vihje ja tohutu hulk

2:36 arvutusvõimsust. Ta küsis, millal esimene vihje saadeti. Lõpuks: viimastel päevadel, pärast seda, kui teave meie töö kohta oli jõudnud OpenAI-sse. Järgnes kaks pakkumist. Üks: teie postitate Euleri, meie postitame Navier–Stokes'i järgmisel päeval. Kaks: Buckmaster üksi kirjutab OpenAI tõestuse kokku, ja, ta ütleb, Bubeck tahtis Alpöge'i kaks korda paberi pealt maha saada, sest ta töötab Anthropicus. Ta keeldus ja ütles, et läheb avalikuks. Vastus, avalduse kohaselt: miks sa tahaksid oma karjääri rikkuda,

3:00 siis: kui sa ei taha, et ma tore oleksin, ei pea ma tore olema. Tavaliselt on see lause vahetult enne seda, kui hobuse pea voodis ilmub. OpenAI versioon: keegi ei näinud nende tööd, kasutajaandmetele juurdepääsu ei olnud, ja, joonealune märkus, nad ei saa välistada, et de-identifitseeritud andmed professorite nende toodete kasutamisest aitasid mudelit täiustada. Alpöge'i ülevaade: kiitus neile, et nad otsekohe puhtalt välja tulid. Sam Altman ütleb, et kõik käitusid ausalt ja suuremeelselt ning teine meeskond

3:25 ähvardas alusetute plagiaadisüüdistustega, kirjutatuna ühe i-ga. Nii et ametlik seisukoht: me ei kopeerinud teie kodutööd, me kuulsime, et te tegite kodutööd. Terence Tao nimetas professorite tulemust märkimisväärseks ja märkis, et Buckmaster selgitas seda talle telefoni teel, värskendav muutus tehisintellektipõhiste kommunikatsiooniviiside kõrval. Seejärel, neli postitust: head lahtised probleemid on nüüd kaevandatud nagu taastumatu ressurss, isegi kuulujutt sellest, et keegi töötab ühega, käivitab massilise tehisintellekti jõupingutuse selle lahendamiseks, nii et stiimuliks on lõpetada uurimissuundade jagamine,

3:55 pöörates tagasi sajanditepikkuse avatud teaduse. Kolm rühma postitasid vedeliku "plahvatuse" ühe nädalavahetuse jooksul; järgmine paber võib olla NDA. See on meeleolu, kuhu Jacob Coxon lahkus: kolm aastat eelkoolitust OpenAI-s, siis Anthropicus; kumbki ettevõte ei käitu vastutustundlikult, ta ütleb, mõlemad võidujooksul iseenda täiustuva superintellekti poole, ja lõppmängu ei tohiks käivitada eraettevõtte Slackist. Nelikümmend neli miljonit vaatamist, päeval, mil üks labor pani kümme tuhat agenti kuulujutule,

4:21 nii et teema lähetati otseülekandega. Vahepeal tõi Meta turule Muse'i: isikliku agendi oma pilve virtuaalmasinas koos oma brauseriga, ja sa räägid sellega WhatsAppis. Ainult USA-s, enamiku asjade jaoks tasuta. Meta lubab versiooni, mida isegi Meta ei saa lugeda, hiljem sel aastal, väga spetsiifiline viis selle aasta kirjeldamiseks. Populaarseim Hacker Newsi kommentaar: ma ei taha oma elu Meta-ga niimoodi jagada. Teine: see üritab mulle pidevalt vankrit müüa.

4:45 Kui eelistad seda lugeda kui mind kuulda, siis vahe jõuab su postkasti igal hommikul – tasuta aadressil the daily diff dot dev, link allpool. Niisiis – tänane otsus: vajab ülevaatamist. Tõend kompileerib; lugu mitte. Kümme tuhat agenti sulgevad üheksakümneaastase probleemi nädalavahetusel on aasta võimekuse tulemus; selle teatamine pühapäevase telefonikõnega kahele inimesele, kellelt sa sellest kuulsid, ei ole.

5:07 Ja see on tänane vahe. Mina olen Niko Axrisist. Liitke vastutustundlikult.

Allikad

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