OpenAI sê dit het Navier–Stokes opgelos. Uitspraak: NEEDS REVIEW.

Wat hierdie video dek

• OpenAI: Navier–Stokes ontploffing, ~10 000 agente, 88 uur, 130B uitset-tokens, Lean-geverifieer
• Buckmaster en Alpöge: 'n jaar op dieselfde benadering, 'n gerug, en 'n Sondag-oproep met twee aanbiedinge
• Terence Tao: "selfs die gerug van iemand wat aan 'n probleem werk, kan 'n massiewe hoeveelheid AI-aangedrewe pogings ontketen om dit plat te slaan"
• Jacob Coxon bedank by Anthropic: albei laboratoriums "wedloop reguit na selfverbeterende superintelligensie"
• Meta SHIP IT Muse: 'n persoonlike agent op sy eie wolk-VM, in WhatsApp, slegs VSA

Vertaalde transkripsie

Vertaal uit die oorspronklike Engelse vertelling. Beskikbare klank en onderskrifte word deur YouTube beheer.

0:00 Gister het OpenAI aangekondig dat sy KI 'n Millenniumprys-probleem opgelos het, negentig jaar oop, een miljoen dollar, in agt-en-tagtig uur, en die twee wiskundiges wat 'n jaar aan dieselfde probleem gewerk het, het daarvan geleer op 'n Sondagtelefoonoproep wat, volgens een van hulle, ingesluit het: hoekom sou jy jou loopbaan vernietig? Dit was 'n lang Maandag. Met dagbreek het 'n NYU-professor gepos 'n vierbladsy-verklaring; sestienhonderd punte op Hacker News. In die middag het OpenAI die bewys gepos.

0:26 In die aand het Terence Tao gesê oop probleme word nou ontgin soos 'n nie-hernubare hulpbron, en oornag het 'n Anthropic-navorser op X bedank, vier-en-veertig miljoen kyke, omdat albei laboratoriums, aanhaling, met ons lewens dobbel. Ook, Meta SHIP IT 'n persoonlike agent wat in WhatsApp woon en sy eie rekenaar het. In hierdie video: die bewys, die telefoonoproep, die voetnoot, en die sin wat Terence Tao wil hê die laboratoriums moet hoor.

0:49 Dit is Woensdag, 9 September, en dit is The Daily Diff. Eers die wiskunde. Navier–Stokes beskryf hoe vloeistowwe beweeg, en sedert 1934 het niemand geweet of 'n gladde 3D-vloeistof 'n singulariteit kan tref nie: snelheid wat oneindig word in eindige tyd. OpenAI se stelsel sê ja. Begin by rus, pas 'n gladde krag toe, hou die energie eindig, en 'n werwel spiraal na binne soos spaghetti totdat die spoed opblaas. State C en D van die Clay-formulering, in Lean,

1:16 sewentien uur van Astra om te verifieer. So vloeistowwe kan ontplof, wat enigiemand wat koffie op 'n MacBook gemors het, geweet het, maar nou is dit in Lean. Hoe: OpenAI het 'n nuwe interne model wat hulle aansienlik meer bekwaam noem as Astra, en op 1 September het hulle 'n gerug gehoor dat twee Millennium-probleme opgelos is, so hulle het dit gerig op elke oop een. Die Navier–Stokes-groep: ongeveer tienduisend gelyktydige agente, honderd-en-dertig miljard uitset-tokens; driehonderd miljard oor alle

1:42 probleme. Teen Astra-lyspryse, vyftien miljoen dollar se tokens vir 'n een-miljoen-dollar prys wat OpenAI sê dit nie sal eis nie, en teen daardie marge, wie sou. Die ander kant. Tristan Buckmaster by NYU en Levent Alpöge, wat by Anthropic werk, het 'n jaar lank 'n benadering deur Córdoba en Martínez-Zoroa met Claude en Codex gestoot, en OpenAI betaal uit Buckmaster se eie navorsingsfondse. Op 15 Augustus het hulle 'n ontploffing vir die Euler-vergelykings gekry; Buckmaster noem die eerste LLM-bewys die mees afgryslike wat hy ooit gelees het,

2:10 en dit is op 22 Augustus in Lean geverifieer. Toe versprei 'n gerug, en op 3 September het hy OpenAI ge-e-pos: dit is ons, dit is persoonlik, ons sal binnekort pos. Op Sondag om 12:45 het OpenAI gevra om op enige tydstip vandag te ontmoet, en Sébastien Bubeck het aangesluit. Buckmaster is meegedeel dat die model gedwonge Navier–Stokes bewys het met baie min menslike insette, wat tydens die oproep 'n hele span geword het, makliker probleme eerste, 'n aanvraag geskryf deur Codex, en 'n waansinnige hoeveelheid

2:36 berekeninge. Hy het gevra wanneer die eerste aanvraag gestuur is. Uiteindelik: in die afgelope paar dae, nadat inligting oor ons werk OpenAI bereik het. Twee aanbiedinge het gevolg. Een: julle pos Euler, ons pos Navier–Stokes die volgende dag. Twee: Buckmaster skryf alleen die OpenAI-bewys uit, en, sê hy, Bubeck wou twee keer hê dat Alpöge van die artikel af moes wees omdat hy by Anthropic werk. Hy het geweier en gesê hy sal dit publiek maak. Die antwoord, volgens die verklaring: hoekom sou jy jou loopbaan vernietig,

3:00 toe: as jy nie wil hê ek moet gaaf wees nie, hoef ek nie gaaf te wees nie. Normaalweg verskyn die lyn net voor 'n perd se kop in 'n bed. OpenAI se weergawe: niemand het hul werk gesien nie, geen gebruikersdata is toegang verkry nie, en, voetnoot, hulle kan nie uitsluit dat ge-de-identifiseerde data van die professore se gebruik van hul produkte gehelp het om die model te verbeter nie. Alpöge se resensie: kudos aan hulle dat hulle reguit eerlik was. Sam Altman sê almal het met integriteit en vrygewigheid opgetree en die ander span

3:25 het ongefundeerde beskuldigings van plagiaat gedreig, gespel met een i. So die amptelike posisie: ons het nie julle huiswerk gekopieer nie, ons het gehoor julle doen huiswerk. Terence Tao het die professore se resultaat merkwaardig genoem en opgemerk dat Buckmaster dit vir hom oor die telefoon verduidelik het, 'n verfrissende verandering van KI-gebaseerde kommunikasiemetodes. Toe, vier plasings: goeie oop probleme word nou ontgin soos 'n nie-hernubare hulpbron, selfs 'n gerug van iemand wat aan een werk, sneller 'n massiewe KI-poging om dit plat te slaan, so die aansporing is om op te hou om navorsingsrigtings te deel,

3:55 wat eeue se oop wetenskap omkeer. Drie groepe het vloeistofontploffing in een naweek gepos; die volgende artikel mag 'n NDA wees. Wat die stemming is waarin Jacob Coxon bedank het: drie jaar van vooropleiding by OpenAI, toe Anthropic; nie een van die maatskappye tree verantwoordelik op nie, sê hy, albei jaag na selfverbeterende superintelligensie, en die eindspel moet nie vanaf 'n private maatskappy se Slack gelanseer word nie. Vier-en-veertig miljoen kyke, op die dag toe een laboratorium tienduisend agente op 'n gerug geplaas het,

4:21 so die draad is met 'n lewendige demo gestuur. Intussen het Meta Muse gestuur: 'n persoonlike agent op sy eie wolk-VM met sy eie blaaier, en jy praat daarmee in WhatsApp. Slegs VSA, gratis vir die meeste dinge. Meta beloof 'n weergawe wat selfs Meta nie kan lees nie, later hierdie jaar, 'n baie spesifieke manier om hierdie jaar te beskryf. Top Hacker News-kommentaar: Ek wil nie my lewe so met Meta deel nie. Tweedens: dit probeer my steeds 'n stootwaentjie verkoop.

4:45 As jy dit eerder wil lees as om my dit te hoor sê, land die verskil elke oggend in jou inkassie — gratis by the daily diff dot dev, skakel hieronder. So — vandag se uitspraak: NEEDS REVIEW. Die bewys stel saam; die storie doen nie. Tienduisend agente wat 'n negentig jaar oue probleem in 'n naweek oplos, is die bekwaamheidsresultaat van die jaar; om dit aan te kondig met 'n Sondagtelefoonoproep aan die twee mense van wie jy daarvan gehoor het, is nie.

5:07 En dit is The Daily Diff vir vandag. Ek is Niko van Axrisi. Vleg verantwoordelik.

Bronne

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