OpenAI mengatakan telah memecahkan Navier–Stokes. Putusan: PERLU DITINJAU.

Isi video ini

• OpenAI: ledakan Navier–Stokes, ~10.000 agen, 88 jam, 130 miliar token keluaran, terverifikasi Lean
• Buckmaster dan Alpöge: setahun dengan pendekatan yang sama, sebuah rumor, dan panggilan hari Minggu dengan dua tawaran
• Terence Tao: "bahkan rumor seseorang yang mengerjakan masalah dapat memicu sejumlah besar upaya bertenaga AI untuk menyelesaikannya"
• Jacob Coxon mengundurkan diri dari Anthropic: kedua lab "berlomba langsung menuju superintelligence yang dapat meningkatkan diri"
• Meta meluncurkan Muse: agen pribadi di VM cloud-nya sendiri, di WhatsApp, khusus AS

Transkrip terjemahan

Diterjemahkan dari narasi asli bahasa Inggris. Audio dan teks tersedia yang dikontrol oleh YouTube.

0:00 Kemarin, OpenAI mengumumkan AI-nya memecahkan masalah Hadiah Milenium, sembilan puluh tahun terbuka, satu juta dolar, dalam delapan puluh delapan jam, dan dua matematikawan yang menghabiskan setahun untuk masalah yang sama mengetahuinya dalam panggilan telepon hari Minggu yang, menurut salah satu dari mereka, termasuk: mengapa Anda merusak karier Anda? Itu adalah hari Senin yang panjang. Saat fajar seorang profesor NYU memposting pernyataan empat halaman; enam belas ratus poin di Hacker News. Sore hari OpenAI memposting bukti tersebut.

0:26 Malam harinya Terence Tao mengatakan masalah terbuka sekarang ditambang seperti sumber daya yang tidak terbarukan, dan semalam seorang peneliti Anthropic mengundurkan diri di X, empat puluh empat juta tampilan, karena kedua lab, kutipannya, bertaruh dengan hidup kita. Juga, Meta meluncurkan agen pribadi yang hidup di WhatsApp dan memiliki komputernya sendiri. Dalam video ini: buktinya, panggilan teleponnya, catatan kakinya, dan kalimat yang ingin didengar Terence Tao dari lab-lab tersebut.

0:49 Ini hari Rabu, 9 September, dan ini adalah The Daily Diff. Matematika dulu. Navier–Stokes menggambarkan bagaimana fluida bergerak, dan sejak 1934 tidak ada yang tahu apakah fluida 3D yang halus dapat mencapai singularitas: kecepatan menjadi tak terbatas dalam waktu terbatas. Sistem OpenAI mengatakan ya. Mulai dari keadaan diam, terapkan gaya yang halus, jaga energi tetap terbatas, dan pusaran berputar ke dalam seperti spageti sampai kecepatannya meledak. Pernyataan C dan D dari formulasi Clay, di Lean,

1:16 tujuh belas jam Astra untuk memverifikasi. Jadi fluida bisa meledak, yang siapa pun yang menumpahkan kopi ke MacBook tahu, tapi sekarang ada di Lean. Bagaimana: OpenAI memiliki model internal baru yang disebutnya jauh lebih mampu daripada Astra, dan pada 1 September mereka mendengar rumor bahwa dua masalah Milenium telah terpecahkan, jadi mereka mengarahkannya ke setiap masalah terbuka. Kelompok Navier–Stokes: sekitar sepuluh ribu agen bersamaan, seratus tiga puluh miliar token keluaran; tiga ratus miliar di seluruh

1:42 masalah. Dengan harga daftar Astra, lima belas juta dolar token untuk hadiah satu juta dolar yang OpenAI katakan tidak akan diklaimnya, dan pada margin itu, siapa yang akan. Sisi lain. Tristan Buckmaster di NYU dan Levent Alpöge, yang bekerja di Anthropic, menghabiskan setahun mendorong pendekatan oleh Córdoba dan Martínez-Zoroa dengan Claude dan Codex, membayar OpenAI dari dana penelitian Buckmaster sendiri. Pada 15 Agustus mereka mendapatkan ledakan untuk persamaan Euler; Buckmaster menyebut bukti LLM pertama yang paling mengerikan yang pernah dia baca,

2:10 dan itu diverifikasi di Lean pada 22 Agustus. Kemudian rumor menyebar, dan 3 September dia mengirim email ke OpenAI: ini kami, ini pribadi, kami akan segera memposting. Pada hari Minggu pukul 12:45 OpenAI meminta untuk bertemu kapan saja hari ini, dan Sébastien Bubeck bergabung. Buckmaster diberitahu bahwa model tersebut telah membuktikan Navier–Stokes paksa dengan sangat sedikit masukan manusia, yang selama panggilan menjadi seluruh tim, masalah yang lebih mudah dulu, prompt yang ditulis oleh Codex, dan sejumlah besar

2:36 komputasi. Dia bertanya kapan prompt pertama dikirim. Akhirnya: dalam beberapa hari terakhir, setelah informasi tentang pekerjaan kami telah mencapai OpenAI. Dua tawaran menyusul. Satu: Anda memposting Euler, kami memposting Navier–Stokes keesokan harinya. Dua: Buckmaster sendiri menulis bukti OpenAI, dan, katanya, Bubeck dua kali ingin Alpöge keluar dari makalah karena dia bekerja di Anthropic. Dia menolak dan mengatakan dia akan mempublikasikannya. Jawabannya, menurut pernyataan: mengapa Anda merusak karier Anda,

3:00 lalu: jika Anda tidak ingin saya bersikap baik, saya tidak harus bersikap baik. Biasanya kalimat tepat sebelum kepala kuda muncul di tempat tidur. Versi OpenAI: tidak ada yang melihat pekerjaan mereka, tidak ada data pengguna yang diakses, dan, catatan kaki, mereka tidak dapat mengesampingkan bahwa data yang tidak teridentifikasi dari penggunaan produk mereka oleh para profesor membantu meningkatkan model. Ulasan Alpöge: salut kepada mereka karena langsung jujur. Sam Altman mengatakan semua orang bertindak dengan integritas dan kemurahan hati dan tim lainnya

3:25 mengancam tuduhan plagiarisme yang tidak berdasar, dieja dengan satu i. Jadi posisi resminya: kami tidak menyalin pekerjaan rumah Anda, kami mendengar Anda sedang mengerjakan pekerjaan rumah. Terence Tao menyebut hasil para profesor luar biasa dan mencatat Buckmaster menjelaskannya kepadanya melalui telepon, perubahan yang menyegarkan dari modalitas komunikasi berbasis AI. Kemudian, empat postingan: masalah terbuka yang baik sekarang ditambang seperti sumber daya yang tidak terbarukan, bahkan rumor seseorang yang mengerjakannya memicu upaya AI besar-besaran untuk menyelesaikannya, jadi insentifnya adalah berhenti berbagi

3:55 arah penelitian, membalikkan berabad-abad sains terbuka. Tiga kelompok memposting ledakan fluida dalam satu akhir pekan; makalah berikutnya mungkin NDA. Itulah suasana hati Jacob Coxon mengundurkan diri: tiga tahun pra-pelatihan di OpenAI, lalu Anthropic; tidak ada perusahaan yang bertindak secara bertanggung jawab, katanya, keduanya berlomba menuju superintelligence yang dapat meningkatkan diri, dan hasil akhirnya tidak boleh diluncurkan dari Slack perusahaan swasta. Empat puluh empat juta tampilan, pada hari satu lab menempatkan sepuluh ribu agen pada sebuah rumor,

4:21 jadi utasnya dikirim dengan demo langsung. Sementara itu, Meta meluncurkan Muse: agen pribadi di VM cloud-nya sendiri dengan browsernya sendiri, dan Anda berbicara dengannya di WhatsApp. Hanya AS, gratis untuk sebagian besar hal. Meta menjanjikan versi yang bahkan tidak bisa dibaca Meta, akhir tahun ini, cara yang sangat spesifik untuk menggambarkan tahun ini. Komentar Hacker News teratas: Saya tidak ingin berbagi hidup saya dengan Meta seperti ini. Kedua: itu terus mencoba menjual saya kereta dorong.

4:45 Jika Anda lebih suka membaca ini daripada mendengar saya mengatakannya, perbedaan itu mendarat di kotak masuk Anda setiap pagi — gratis di the daily diff dot dev, tautan di bawah. Jadi — putusan hari ini: perlu ditinjau. Buktinya terkompilasi; ceritanya tidak. Sepuluh ribu agen menutup masalah berusia sembilan puluh tahun dalam satu akhir pekan adalah hasil kemampuan tahun ini; mengumumkannya dengan panggilan telepon hari Minggu kepada dua orang yang Anda dengar darinya tidak.

5:07 Dan itulah perbedaannya untuk hari ini. Saya Niko dari Axrisi. Gabungkan dengan bertanggung jawab.

Sumber

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