OpenAI Навье-Стоксийг шийдсэн гэж мэдэгдлээ. Дүгнэлт: ШИНЭЭР ХЯНАХ ШААРДЛАГАТАЙ.

Энэ видео юуг хамардаг

• OpenAI: Навье–Стоксийн дэлбэрэлт, ~10,000 агент, 88 цаг, 130 тэрбум гаралтын токен, Lean-ээр баталгаажуулсан
• Бакмастер ба Алпёж: нэг жил ижил арга барил дээр, цуу яриа, ням гарагийн дуудлагаар хоёр санал
• Теренс Тао: "хэн нэгэн асуудал дээр ажиллаж байна гэсэн цуурхал ч гэсэн түүнийг "тэгшилж" устгахын тулд хиймэл оюун ухаанд суурилсан асар их хүчин чармайлт гаргахад хүргэж чадна"
• Жейкоб Коксон Антропикоос огцорчээ: хоёр лаборатори "өөрийгөө сайжруулдаг хэт тагнуул руу шууд уралдаж байна"
• Meta Muse-ийг гаргалаа: WhatsApp-д, өөрийн үүлэн VM дээр ажилладаг хувийн агент, зөвхөн АНУ-д

Орчуулсан бичлэг

Англи хэл дээрх эх хувилбараас орчуулсан. Боломжтой дуу болон хадмал орчуулгыг YouTube хянадаг.

0:00 Өчигдөр OpenAI өөрийн хиймэл оюун ухаан Мянганы шагналын нэг асуудлыг шийдсэнээ зарлав. ерэн жилийн турш нээлттэй байсан, нэг сая долларын, наян найман цагийн дотор, мөн ижил асуудал дээр нэг жил зарцуулсан хоёр математикч үүнийг мэдэв Ням гарагт хийсэн утасны яриагаар, тэдний нэгнийхээр: та яагаад өөрийн карьераа сүйрүүлж байна вэ? Энэ бол урт даваа гараг байлаа. Үүрийн гэгээгээр Нью-Йоркийн Их Сургуулийн профессор нийтлэв дөрвөн хуудас мэдэгдэл; Hacker News дээр арван зургаан зуун оноо авсан. Үдээс хойш OpenAI нотолгоог нийтлэв.

0:26 Орой нь Теренс Тао нээлттэй асуудлуудыг одоо нөхөн сэргээгдэхгүй нөөц шиг олборлож байна гэж хэлсэн бөгөөд шөнөжингөө Антропикийн судалгааны ажилтан X дээр огцорчээ, дөчин дөрвөн сая үзэлт, учир нь хоёр лаборатори, иш татвал, бидний амьдралаар мөрийцөж байна. Мөн, Meta WhatsApp-д амьдардаг, өөрийн компьютертэй хувийн агентыг гаргалаа. Энэ видеонд: нотолгоо, утасны яриа, зүүлт, мөн Теренс Тао лабораториудыг сонсохыг хүссэн өгүүлбэр.

0:49 Өнөөдөр есдүгээр сарын 9-ний Лхагва гараг, энэ бол The Daily Diff. Эхлээд математикийн тухай. Навье-Стокс шингэн хэрхэн хөдөлдөгийг тодорхойлдог ба 1934 оноос хойш хэн ч гөлгөр 3D шингэн singularity-д хүрч болох эсэхийг мэдээгүй: хурд хязгаартай хугацаанд хязгааргүй болох. гөлгөр 3D шингэн singularity-д хүрч болох эсэхийг мэдээгүй: хурд хязгааргүй болох. OpenAI-ийн систем тийм гэж хэлдэг. Амарч байхаас эхлээд, гөлгөр хүч хэрэглэж, энергийг хязгаартай байлга, тэгээд эргүүлэг дотогшоо спираль хэлбэртэйгээр спагетти шиг орооцолдож, хурд нь дэлбэрнэ. Клэй томъёоллын C ба D мэдэгдлүүд, Lean-д,

1:16 Астрагаар баталгаажуулахад арван долоон цаг зарцуулсан. Тиймээс шингэн дэлбэрч болно, MacBook дээрээ кофе асгасан хэн ч үүнийг мэддэг байсан, гэхдээ одоо энэ нь Lean-д байна. Хэрхэн: OpenAI нь Астрагаас "илүү чадвартай" гэж нэрлэдэг шинэ дотоод загвартай бөгөөд есдүгээр сарын 1-нд хоёр Мянганы асуудал шийдэгдсэн тухай цуурхал сонссон тул тэд үүнийг нээлттэй бүх асуудлууд руу чиглүүлжээ. есдүгээр сарын 1-нд хоёр Мянганы асуудал шийдэгдсэн тухай цуурхал сонссон тул тэд үүнийг нээлттэй бүх асуудлууд руу чиглүүлжээ. Навье–Стоксийн бүлэг: арван мянга орчим зэрэгцээ агент, нэг зуун гучин тэрбум гаралтын токен; бүх асуудлуудад нийлээд гурван зуун тэрбум.

1:42 асуудлууд. Астрагийн жагсаалтын үнээр, нэг сая долларын шагналын төлөө арван таван сая долларын токеныг OpenAI авна гэж хэлээгүй, мөн тийм ашигтай байхад, асуудлууд. Астрагийн жагсаалтын үнээр, нэг сая долларын шагналын төлөө арван таван сая долларын токеныг OpenAI авна гэж хэлээгүй, мөн тийм ашигтай байхад, хэн ч авахгүй. Нөгөө тал. Нью-Йоркийн Их Сургуулийн Тристан Бакмастер болон Антропикт ажилладаг Левент Алпёж нар Кордоба болон Мартинес-Зороа нарын Клод болон Кодексээр хийсэн арга барилыг нэг жил түлхэж, Бакмастерын өөрийн судалгааны сангаас OpenAI-д төлбөр хийж байжээ. Наймдугаар сарын 15-нд тэд Эйлерийн тэгшитгэлүүдийн хувьд дэлбэрэлт үүсгэсэн; Бакмастер эхний LLM нотолгоог өөрийн уншиж байсан хамгийн аймшигтай нь гэж нэрлэдэг, Эйлерийн тэгшитгэлүүдийн хувьд дэлбэрэлт үүсгэсэн; Бакмастер эхний LLM нотолгоог өөрийн уншиж байсан хамгийн аймшигтай нь гэж нэрлэдэг,

2:10 мөн үүнийг наймдугаар сарын 22-нд Lean-д баталгаажуулсан. Тэгээд нэг цуурхал тарж, есдүгээр сарын 3-нд тэр OpenAI-д и-мэйл илгээсэн: энэ бид, энэ хувийн, бид удахгүй нийтлэнэ. Тэгээд нэг цуурхал тарж, есдүгээр сарын 3-нд тэр OpenAI-д и-мэйл илгээсэн: энэ бид, энэ хувийн, бид удахгүй нийтлэнэ. Ням гарагт 12:45-д OpenAI өнөөдөр хэзээ нэгэн цагт уулзах хүсэлт тавьж, Себастьян Бубек нэгдэв. Бакмастерт энэ загвар нь Навье-Стоксийг маш бага хүний оролцоотойгоор нотолсон гэж хэлсэн бөгөөд энэ нь ярианы явцад бүтэн баг болж хувирсан, Бага хүний оролцоотойгоор нотолсон гэж хэлсэн бөгөөд энэ нь ярианы явцад бүтэн баг болж хувирсан, эхлээд хялбар асуудлууд, Кодексээр бичсэн prompt, мөн асар их тооцоолол.

2:36 Тэр анхны prompt хэзээ илгээгдсэн тухай асуув. Эцэст нь: сүүлийн хэдэн өдөр, манай ажлын тухай мэдээлэл OpenAI-д хүрсний дараа. Хоёр санал дагалдсан. Эцэст нь: сүүлийн хэдэн өдөр, манай ажлын тухай мэдээлэл OpenAI-д хүрсний дараа. Хоёр санал дагалдсан. Нэг: та Эйлерийг нийтэл, бид маргааш Навье–Стоксийг нийтэлнэ. Хоёр: Бакмастер ганцаараа OpenAI-ийн нотолгоог бичиж, тэрний хэлснээр, тэрний хэлснээр, Бубек Алпёжийг Антропикт ажилладаг учраас хоёр удаа уг цааснаас хасахыг хүссэн. Тэр татгалзаж, олон нийтэд зарлана гэж хэлэв. Мэдэгдлийн дагуух хариулт: та яагаад карьераа сүйрүүлж байна вэ,

3:00 тэгээд: хэрэв та намайг сайхан харьцахыг хүсэхгүй бол, би сайхан харьцах шаардлагагүй. Ер нь адууны толгой орноос унахын өмнөх мөр. OpenAI-ийн хувилбар: хэн ч тэдний ажлыг хараагүй, хэрэглэгчийн өгөгдөл рүү хандаагүй, мөн, зүүлт, профессоруудын бүтээгдэхүүнийг ашигласан үедээ өгсөн танихгүй өгөгдөл загварыг сайжруулахад тусалсан эсэхийг тэд үгүйсгэхгүй. ашигласан үедээ өгсөн танихгүй өгөгдөл загварыг сайжруулахад тусалсан эсэхийг тэд үгүйсгэхгүй. Алпёжийн үнэлгээ: үнэнээ хэлсэнд нь магтъя. Сэм Алтман хүн бүр шударга, өгөөмөр сэтгэлээр ажилласан бөгөөд нөгөө баг шударга, өгөөмөр сэтгэлээр ажилласан бөгөөд нөгөө баг

3:25 хулгайн гэсэн үндэслэлгүй буруутгалаар сүрдүүлсэн гэж хэлсэн, нэг "i"-ээр бичигдсэн. Тиймээс албан ёсны байр суурь: бид таны даалгаврыг хуулбарлаагүй, бид таныг даалгавар хийж байсан гэж сонссон. Теренс Тао профессоруудын үр дүнг гайхалтай хэмээн тэмдэглэж, Бакмастер түүнд утасдаж тайлбарласан нь хиймэл оюун ухаанд суурилсан харилцааны хэлбэрээс сэргээсэн өөрчлөлт болсон гэв. тайлбарласан нь хиймэл оюун ухаанд суурилсан харилцааны хэлбэрээс сэргээсэн өөрчлөлт болсон гэв. Тэгээд дөрвөн нийтлэл: сайн нээлттэй асуудлуудыг одоо нөхөн сэргээгдэхгүй нөөц шиг олборлож байна, хэн нэгэн асуудал дээр ажиллаж байна гэсэн цуурхал ч гэсэн түүнийг "тэгшилж" устгахын тулд асар их хиймэл оюун ухааны хүчин чармайлт гаргахад хүргэж, ингэснээр судалгааны чиглэлийг хуваалцахаа зогсоох урамшууллыг бий болгож, олон зуун жилийн нээлттэй шинжлэх ухааныг эсрэгээр эргүүлж байна.

3:55 түүнийг "тэгшилж" устгахын тулд асар их хиймэл оюун ухааны хүчин чармайлт гаргахад хүргэж, ингэснээр судалгааны чиглэлийг хуваалцахаа зогсоох урамшууллыг бий болгож, олон зуун жилийн нээлттэй шинжлэх ухааныг эсрэгээр эргүүлж байна. Гурван бүлэг нэг амралтын өдөр шингэний дэлбэрэлтийн тухай нийтлэв; дараагийн баримт бичиг NDA байж магадгүй. Энэ нь Жейкоб Коксоны Гурван бүлэг нэг амралтын өдөр шингэний дэлбэрэлтийн тухай нийтлэв; дараагийн баримт бичиг NDA байж магадгүй. Энэ нь Жейкоб Коксоны огцорсон сэтгэл санаа: OpenAI-д гурван жил сургалтын өмнөх ажил хийгээд, дараа нь Антропикт; аль ч компани хариуцлагатай ажиллахгүй байна, тэр хэлэхдээ, хоёулаа өөрийгөө сайжруулдаг хэт тагнуул руу уралдаж байна, мөн эцсийн үр дүнг хувийн компанийн Slack-ээс эхлүүлж болохгүй. Нэг лаборатори цуурхал дээр арван мянган агентыг байрлуулсан тэр өдөр дөчин дөрвөн сая үзэлт, тиймээс уг бичлэг амьд демо-той хамт гарсан.

4:21 Нэг лаборатори цуурхал дээр арван мянган агентыг байрлуулсан тэр өдөр дөчин дөрвөн сая үзэлт, тиймээс уг бичлэг амьд демо-той хамт гарсан. Үүний зэрэгцээ, Meta Muse-ийг гаргалаа: өөрийн хөтөчтэй, өөрийн үүлэн VM дээр ажилладаг хувийн агент, та WhatsApp-д үүнтэй ярилцаж болно. хөтөчтэй, өөрийн үүлэн VM дээр ажилладаг хувийн агент, та WhatsApp-д үүнтэй ярилцаж болно. Зөвхөн АНУ-д, ихэнх зүйлд үнэгүй. Meta энэ жилийн сүүлээр Meta ч уншиж чадахгүй хувилбарыг амлаж байна, энэ жилийг тодорхойлсон маш тодорхой арга. Хакер Мэдээний шилдэг сэтгэгдэл: Би амьдралаа Meta-тай иймэрхүү байдлаар хуваалцахыг хүсэхгүй байна. Хоёрдугаарт: энэ надад хүүхдийн тэрэг зарахыг хичээсээр байна.

4:45 Хэрэв та үүнийг сонсохоос илүү уншихыг хүсвэл, diff таны имэйл хаягаар өглөө бүр ирнэ — daily diff dot dev хаягаар үнэгүй, холбоос доор байна. өглөө бүр ирнэ — daily diff dot dev хаягаар үнэгүй, холбоос доор байна. Тиймээс — өнөөдрийн дүгнэлт: хянан үзэх шаардлагатай. Нотолгоо нэгдэж байна; түүх тэгж нэгдэхгүй. Арван мянган агент ерэн настай асуудлыг нэг амралтын өдөр шийдсэн нь энэ жилийн чадавхийн үр дүн юм; үүнийг ням гарагт таны сонссон хоёр хүнд утасдаж зарлах нь тэгж биш. жилийн чадавхийн үр дүн юм; үүнийг ням гарагт таны сонссон хоёр хүнд утасдаж зарлах нь тэгж биш.

5:07 Мөн энэ бол өнөөдрийн diff. Би Axrisi-гийн Нико байна. Хариуцлагатай нэгтгэ.

Эх сурвалжууд

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