OpenAI yashinda Navier–Stokes. Uamuzi: INAHITAJI KUPITIWA UPya.

Nini video hii inashughulikia

• OpenAI: Mlipuko wa Navier–Stokes, ~mawakala 10,000, masaa 88, tokeni 130B, zimethibitishwa na Lean
• Buckmaster na Alpöge: mwaka mmoja kwa mbinu hiyo hiyo, uvumi, na simu ya Jumapili na ofa mbili
• Terence Tao: "hata uvumi wa mtu anayefanya kazi kwenye tatizo unaweza kusababisha juhudi kubwa za AI kulitatua"
• Jacob Coxon ajiuzulu kutoka Anthropic: maabara zote mbili "zinafanya mbio moja kwa moja kuelekea akili-kuu inayojiboresha yenyewe"
• Meta inasafirisha Muse: wakala binafsi kwenye VM yake ya wingu, ndani ya WhatsApp, Marekani pekee

Nakala iliyotafsiriwa

Imetafsiriwa kutoka simulizi asili ya Kiingereza. Sauti na manukuu yanayopatikana yanadhibitiwa na YouTube.

0:00 Jana, OpenAI ilitangaza AI yake imetatua tatizo la Milenia la Tuzo, miaka tisini wazi, dola milioni moja, kwa masaa themanini na nane, na wanahisabati wawili waliotumia mwaka mmoja kwenye tatizo hilo hilo walijua kuhusu hilo kwenye simu ya Jumapili ambayo, kwa mmoja wao, ilijumuisha: kwa nini uharibu kazi yako? Ilikuwa Jumatatu ndefu. Alfajiri profesa wa NYU alichapisha taarifa ya kurasa nne; pointi elfu moja mia sita kwenye Hacker News. Mchana OpenAI ilichapisha uthibitisho.

0:26 Jioni Terence Tao alisema matatizo wazi sasa yanachimbwa kama rasilimali isiyoweza kurejeshwa, na usiku kucha mtafiti wa Anthropic alijiuzulu kwenye X, kutazamwa mara milioni arobaini na nne, kwa sababu maabara zote mbili ni, nukuu, wanacheza kamari na maisha yetu. Pia, Meta ilisafirisha wakala binafsi anayeishi WhatsApp na ana kompyuta yake mwenyewe. Katika video hii: uthibitisho, simu, maelezo ya chini, na sentensi ambayo Terence Tao anataka maabara zikisikie.

0:49 Ni Jumatano, Septemba 9, na hii ni The Daily Diff. Hisabati kwanza. Navier–Stokes inaeleza jinsi majimaji yanavyotembea, na tangu 1934 hakuna aliyejua kama majimaji laini ya 3D yanaweza kufikia usawa: kasi inakwenda isiyo na kikomo kwa muda mfupi. Mfumo wa OpenAI unasema ndiyo. Anza kwa utulivu, tumia nguvu laini, weka nishati ikiwa na kikomo, na kimbunga kinajipinda ndani kama spaghetti hadi kasi inapolipuka. Taarifa C na D za uundaji wa Clay, katika Lean,

1:16 masaa kumi na saba ya Astra kuthibitisha. Kwa hivyo majimaji yanaweza kulipuka, jambo ambalo mtu yeyote aliyemwaga kahawa kwenye MacBook alijua, lakini sasa iko katika Lean. Jinsi gani: OpenAI ina mfumo mpya wa ndani inauita wenye uwezo mkubwa zaidi kuliko Astra, na Septemba 1 walisikia uvumi kwamba matatizo mawili ya Milenia yalikuwa yametatuliwa, hivyo waliuelekeza kwenye kila tatizo wazi. Kikundi cha Navier–Stokes: takriban mawakala elfu kumi wanaofanya kazi wakati huo huo, tokeni milioni mia moja na thelathini za pato; bilioni mia tatu kwa matatizo yote.

1:42 Kwa bei za orodha za Astra, dola milioni kumi na tano za tokeni kwa tuzo ya dola milioni moja ambayo OpenAI inasema haitadai, na kwa kiasi hicho, nani angefanya. Upande mwingine. Tristan Buckmaster wa NYU na Levent Alpöge, anayefanya kazi Anthropic, walitumia mwaka mmoja kusukuma mbinu ya Córdoba na Martínez-Zoroa na Claude na Codex, wakilipa OpenAI kutoka fedha za utafiti za Buckmaster mwenyewe. Agosti 15 walipata mlipuko kwa milinganyo ya Euler; Buckmaster anauita uthibitisho wa kwanza wa LLM mbaya zaidi kuwahi kusoma,

2:10 na ulihakikishwa katika Lean Agosti 22. Kisha uvumi ukaenea, na Septemba 3 akatumia barua pepe OpenAI: ni sisi, ni ya kibinafsi, tutachapisha hivi karibuni. Jumapili saa 12:45 OpenAI iliomba kukutana wakati wowote leo, na Sébastien Bubeck akajiunga. Buckmaster aliambiwa mfumo ulikuwa umethibitisha Navier–Stokes iliyolazimishwa kwa pembejeo kidogo sana ya binadamu, ambayo wakati wa simu ikawa timu nzima, matatizo rahisi kwanza, ombi lililoandikwa na Codex, na kiasi kikubwa cha

2:36 nguvu ya kompyuta. Aliuliza ni lini ombi la kwanza lilitumwa. Hatimaye: katika siku chache zilizopita, baada ya habari kuhusu kazi yetu kufikia OpenAI. Ofa mbili zilifuata. Moja: unachapisha Euler, sisi tunachapisha Navier–Stokes siku inayofuata. Mbili: Buckmaster pekee anaandika uthibitisho wa OpenAI, na, anasema, Bubeck mara mbili alitaka Alpöge asiondolewe kwenye karatasi kwa sababu anafanya kazi Anthropic. Alikataa na kusema atatangaza hadharani. Jibu, kwa mujibu wa taarifa: kwa nini uharibu kazi yako,

3:00 kisha: usipotaka niwe mzuri, sio lazima niwe mzuri. Kawaida mstari kabla ya kichwa cha farasi kuonekana kitandani. Toleo la OpenAI: hakuna aliyeona kazi yao, hakuna data ya mtumiaji iliyofikiwa, na, maelezo ya chini, hawawezi kuondoa uwezekano kwamba data isiyo na utambulisho kutoka kwa matumizi ya maprofesa wa bidhaa zao ilisaidia kuboresha mfumo. Uhakiki wa Alpöge: pongezi kwao kwa kusema ukweli. Sam Altman anasema kila mtu alifanya kazi kwa uadilifu na ukarimu na timu nyingine

3:25 ilitishia madai yasiyo na msingi ya wizi wa kazi, yaliyoandikwa na i moja. Kwa hivyo msimamo rasmi: hatukukopi kazi yako ya nyumbani, tulisikia unafanya kazi ya nyumbani. Terence Tao aliuita matokeo ya maprofesa ya kushangaza na alibaini Buckmaster alimweleza kwa simu, mabadiliko ya kufurahisha kutoka kwa njia za mawasiliano zinazotokana na AI. Kisha, machapisho manne: matatizo mazuri yasiyotatuliwa sasa yanachimbwa kama rasilimali isiyoweza kurejeshwa, hata uvumi wa mtu anayefanya kazi juu yake husababisha juhudi kubwa za AI kuipunguza, kwa hivyo motisha ni kuacha kushiriki mwelekeo wa utafiti,

3:55 kuharibu karne nyingi za sayansi wazi. Vikundi vitatu vilichapisha mlipuko wa majimaji kwa wikendi moja; karatasi inayofuata inaweza kuwa NDA. Ndiyo hisia ambayo Jacob Coxon alijiuzulu kwayo: miaka mitatu ya mafunzo ya awali katika OpenAI, kisha Anthropic; hakuna kampuni inayofanya kazi kwa uwajibikaji, anasema, zote mbili zinakimbia kuelekea akili-kuu inayojiboresha yenyewe, na mwisho haupaswi kuzinduliwa kutoka kwa Slack ya kampuni binafsi. Kutazamwa mara milioni arobaini na nne, siku moja maabara iliweka mawakala elfu kumi kwenye uvumi,

4:21 hivyo uzi ulisafirishwa na onyesho la moja kwa moja. Wakati huohuo, Meta ilisafirisha Muse: wakala binafsi kwenye VM yake ya wingu na kivinjari chake mwenyewe, na unazungumza naye kwenye WhatsApp. Marekani pekee, bure kwa mambo mengi. Meta inaahidi toleo ambalo hata Meta haiwezi kusoma, baadaye mwaka huu, njia maalum sana ya kuelezea mwaka huu. Maoni ya juu kwenye Hacker News: Sitaki kushiriki maisha yangu na Meta hivi. Ya pili: inaendelea kujaribu kuniuzia kigari cha mtoto.

4:45 Ikiwa ungependa kusoma hii badala ya kunisikia nikisema, diff inafika kwenye kikasha chako kila asubuhi — bure kwenye the daily diff dot dev, kiungo hapo chini. Kwa hivyo — uamuzi wa leo: inahitaji kupitiwa upya. Uthibitisho unakusanywa; hadithi haifanyi hivyo. Mawakala elfu kumi wakifunga tatizo la miaka tisini kwa wikendi ni matokeo ya uwezo wa mwaka; kutangaza hilo kwa simu ya Jumapili kwa watu wawili uliwasikia kutoka kwao sio hivyo.

5:07 Na huo ndio tofauti kwa leo. Mimi ni Niko kutoka Axrisi. Unganisha kwa uwajibikaji.

Vyanzo

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