OpenAI thotë se zgjidhi Navier–Stokes. Vendimi: NEVOJitet RISHIKIM.

Çfarë mbulon kjo video

• OpenAI: shpërthim Navier–Stokes, ~10,000 agjentë, 88 orë, 130B shenja daljeje, verifikuar nga Lean
• Buckmaster dhe Alpöge: një vit mbi të njëjtën qasje, një thashethem, dhe një telefonatë të dielën me dy oferta
• Terence Tao: "edhe thashethemi i dikujt që punon në një problem mund të shkaktojë një sasi masive përpjekjesh të drejtuara nga AI për ta rrafshuar atë"
• Jacob Coxon jep dorëheqjen nga Anthropic: të dy laboratorët po "garojnë drejt superinteligjencës vetë-përmirësuese"
• Meta dërgon Muse: një agjent personal në VM-në e vet cloud, në WhatsApp, vetëm në SHBA

Transkript i përkthyer

Përkthyer nga tregimi origjinal në anglisht. Audio dhe titrat e disponueshme kontrollohen nga YouTube.

0:00 Dje, OpenAI njoftoi se AI e saj zgjidhi një problem të Çmimit të Mijëvjeçarit, nëntëdhjetë vjet i hapur, një milion dollarë, në tetëdhjetë e tetë orë, dhe dy matematikantët që kaluan një vit në të njëjtin problem e mësuan këtë në një telefonatë të dielën që, sipas njërit prej tyre, përfshinte: pse do ta shkatërroje karrierën? Ishte një e hënë e gjatë. Në agim një profesor i NYU postoi një deklaratë katër-faqëshe; gjashtëmbëdhjetëqind pikë në Hacker News. Pasdite OpenAI postoi provën.

0:26 Në mbrëmje Terence Tao tha se problemet e hapura tani po minohen si një burim i papërtëritshëm, dhe gjatë natës një studiues i Anthropic dha dorëheqjen në X, dyzet e katër milionë shikime, sepse të dy laboratorët janë, citoj, duke luajtur bixhoz me jetën tonë. Gjithashtu, Meta dërgoi një agjent personal që jeton në WhatsApp dhe ka kompjuterin e vet. Në këtë video: prova, telefonata, shënimi, dhe fjalia që Terence Tao dëshiron që laboratorët të dëgjojnë.

0:49 Është e mërkurë, 9 shtator, dhe kjo është The Daily Diff. Së pari matematika. Navier–Stokes përshkruan se si lëvizin lëngjet, dhe që nga viti 1934 askush nuk e dinte nëse një lëng i lëmuar 3D mund të godasë një singularitet: shpejtësia që shkon në infinit në kohë të kufizuar. Sistemi i OpenAI thotë po. Fillo në qetësi, apliko një forcë të lëmuar, mbaje energjinë të kufizuar, dhe një vorbull spiralizon nga brenda si spageti derisa shpejtësia të shpërthejë. Deklaratat C dhe D të formulimit të Clay, në Lean,

1:16 shtatëmbëdhjetë orë Astra për të verifikuar. Pra lëngjet mund të shpërthejnë, gjë që çdokush që derdhi kafe në një MacBook e dinte, por tani është në Lean. Si: OpenAI ka një model të ri të brendshëm që e quan dukshëm më të aftë se Astra, dhe më 1 shtator ata dëgjuan një thashethem se dy probleme të Mijëvjeçarit ishin zgjidhur, kështu që ata e drejtuan atë nga çdo problem i hapur. Grupi Navier–Stokes: rreth dhjetë mijë agjentë të njëkohshëm, njëqind e tridhjetë miliardë shenja daljeje; treqind miliardë në të gjitha

1:42 problemet. Me çmimet e listës së Astra, pesëmbëdhjetë milionë dollarë shenjash për një çmim një milion dollarësh që OpenAI thotë se nuk do ta kërkojë, dhe me atë marzh, kush do ta bënte. Ana tjetër. Tristan Buckmaster në NYU dhe Levent Alpöge, i cili punon në Anthropic, kaluan një vit duke shtyrë një qasje nga Córdoba dhe Martínez-Zoroa me Claude dhe Codex, duke paguar OpenAI nga fondet e kërkimit të vetë Buckmaster. Më 15 gusht ata morën shpërthim për ekuacionet e Eulerit; Buckmaster e quan provën e parë LLM më të tmerrshmen që ka lexuar ndonjëherë,

2:10 dhe ajo u verifikua në Lean më 22 gusht. Pastaj u përhap një thashethem, dhe më 3 shtator ai i dërgoi email OpenAI: jemi ne, është personale, do të postojmë së shpejti. Të dielën në 12:45 OpenAI kërkoi të takohej në çdo pikë sot, dhe Sébastien Bubeck u bashkua. Buckmasterit iu tha se modeli kishte provuar Navier–Stokes të detyruar me shumë pak input njerëzor, gjë që gjatë telefonatës u bë një ekip i tërë, probleme më të lehta së pari, një nxitje e shkruar nga Codex, dhe një sasi e çmendur e

2:36 llogaritjes. Ai pyeti se kur u dërgua nxitja e parë. Eventualisht: në ditët e fundit, pasi informacioni rreth punës sonë kishte arritur OpenAI. Pasuan dy oferta. Njëra: ju postoni Euler, ne postojmë Navier–Stokes ditën tjetër. Dytë: Buckmaster vetëm shkruan provën e OpenAI, dhe, thotë ai, Bubeck dy herë kërkoi Alpöge jashtë punimit sepse ai punon në Anthropic. Ai refuzoi dhe tha se do të bëhej publik. Përgjigja, sipas deklaratës: pse do ta shkatërroje karrierën tënde,

3:00 pastaj: nëse nuk dëshiron që unë të jem i sjellshëm, nuk më duhet të jem i sjellshëm. Normalisht linja menjëherë para se koka e kalit të shfaqet në një shtrat. Versioni i OpenAI: askush nuk e pa punën e tyre, asnjë të dhënë përdoruesi nuk u aksesua, dhe, shënim, ata nuk mund të përjashtojnë që të dhënat e de-identifikuara nga përdorimi i produkteve të profesorëve ndihmuan në përmirësimin e modelit. Rishikimi i Alpöge: komplimente për ta që u treguan të sinqertë. Sam Altman thotë se të gjithë vepruan me integritet dhe bujari dhe ekipi tjetër

3:25 kërcënoi me akuza të pabazuara plagjiature, shkruar me një i. Pra pozicioni zyrtar: nuk kopjuam detyrat tuaja, dëgjuam se po bënit detyra. Terence Tao e quajti rezultatin e profesorëve të jashtëzakonshëm dhe vuri në dukje se Buckmaster ia shpjegoi atij në telefon, një ndryshim freskues nga modalitetet e komunikimit të bazuara në AI. Pastaj, katër postime: problemet e mira të hapura tani po minohen si një burim i papërtëritshëm, edhe një thashethem i dikujt që punon në një prej tyre shkakton një përpjekje masive të AI për ta rrafshuar atë, kështu që nxitja është të ndalosh ndarjen e drejtimeve të kërkimit,

3:55 duke përmbysur shekuj të shkencës së hapur. Tre grupe postuan shpërthim lëngu në një fundjavë; punimi tjetër mund të jetë një NDA. Kjo është gjendja në të cilën Jacob Coxon dha dorëheqjen: tre vjet para-trajnimi në OpenAI, pastaj Anthropic; asnjëra kompani nuk po vepron me përgjegjësi, thotë ai, të dy po garojnë drejt superinteligjencës vetë-përmirësuese, dhe fundi i lojës nuk duhet të lansohet nga Slack i një kompanie private. Dyzet e katër milionë shikime, në ditën kur një laborator vuri dhjetë mijë agjentë në një thashethem,

4:21 kështu që tematika doli me një demo live. Ndërkohë, Meta dërgoi Muse: një agjent personal në VM-në e vet cloud me shfletuesin e vet, dhe ti flet me të në WhatsApp. Vetëm në SHBA, falas për shumicën e gjërave. Meta premton një version që as Meta nuk mund ta lexojë, më vonë këtë vit, një mënyrë shumë specifike për të përshkruar këtë vit. Komenti kryesor në Hacker News: Nuk dua ta ndaj jetën time me Meta në këtë mënyrë. I dyti: vazhdon të përpiqet të më shesë një karrocë bebesh.

4:45 Nëse preferoni ta lexoni këtë sesa të më dëgjoni duke e thënë, ndryshimi arrin në kutinë tuaj hyrëse çdo mëngjes — falas në the daily diff dot dev, linku më poshtë. Pra — vendimi i sotëm: ka nevojë për rishikim. Prova përpilohet; historia jo. Dhjetë mijë agjentë që mbyllin një problem nëntëdhjetëvjeçar në një fundjavë është rezultati i aftësisë së vitit; njoftimi i tij me një telefonatë të dielën tek dy njerëzit prej të cilëve dëgjuat për të, nuk është.

5:07 Dhe ky është ndryshimi për sot. Unë jam Niko nga Axrisi. Bashkojeni me përgjegjësi.

Burimet

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