OpenAI berkata ia menyelesaikan Navier–Stokes. Keputusan: NEEDS REVIEW.
OpenAI berkata model dalamannya, dijalankan sebagai kira-kira 10,000 agen serentak selama 88 jam, menghasilkan bukti yang disahkan Lean bahawa persamaan Navier–Stokes meletup dalam masa terhad — masalah Hadiah Milenium yang terbuka sejak 1934.
OpenAI berkata model dalamannya, dijalankan sebagai kira-kira 10,000 agen serentak selama 88 jam, menghasilkan bukti yang disahkan Lean bahawa persamaan Navier–Stokes meletup dalam masa terhad — masalah Hadiah Milenium yang terbuka sejak 1934. Dua belas jam sebelumnya, Tristan Buckmaster dari NYU menerbitkan kenyataan empat halaman tentang bagaimana panggilan telefon Ahad dengan OpenAI berlaku ("Mengapa anda merosakkan karier anda?"), Terence Tao menulis bahawa masalah terbuka kini dilombong seperti sumber yang tidak boleh diperbaharui, dan seorang penyelidik pra-latihan Anthropic meletak jawatan disebabkan perlumbaan itu. Juga: Meta SHIP IT Muse, agen peribadi dengan VM sendiri. Keputusan: NEEDS REVIEW.
Baca edisi bertulis (Bahasa Inggeris) ↗
Apa yang diliputi video ini
- OpenAI: letupan Navier–Stokes, ~10,000 agen, 88 jam, 130B token output, disahkan Lean
- Buckmaster dan Alpöge: setahun menggunakan pendekatan yang sama, khabar angin, dan panggilan Ahad dengan dua tawaran
- Terence Tao: "bahkan khabar angin tentang seseorang yang sedang mengusahakan masalah dapat mencetuskan sejumlah besar usaha AI untuk menyelesaikannya"
- Jacob Coxon meletak jawatan dari Anthropic: kedua-dua makmal "berlumba terus ke kecerdasan super yang mampu memperbaiki diri"
- Meta SHIP IT Muse: agen peribadi di VM awan sendiri, dalam WhatsApp, AS sahaja
Transkrip terjemahan
Diterjemahkan daripada penceritaan asal Bahasa Inggeris. Audio dan kapsyen yang tersedia dikawal oleh YouTube.
0:00 Semalam, OpenAI mengumumkan AI mereka menyelesaikan masalah Hadiah Milenium, sembilan puluh tahun terbuka, satu juta dolar, dalam lapan puluh lapan jam, dan dua ahli matematik yang menghabiskan setahun untuk masalah yang sama mengetahuinya melalui panggilan telefon Ahad yang, menurut salah seorang daripada mereka, termasuk: mengapa anda merosakkan karier anda? Ia adalah Isnin yang panjang. Pada waktu subuh seorang profesor NYU memuat naik kenyataan empat halaman; enam belas ribu mata di Hacker News. Pada sebelah petang OpenAI memuat naik bukti tersebut.
0:26 Pada sebelah malam Terence Tao berkata masalah terbuka kini dilombong seperti sumber yang tidak boleh diperbaharui, dan semalaman seorang penyelidik Anthropic meletak jawatan di X, empat puluh empat juta tontonan, kerana kedua-dua makmal, quote, bertaruh dengan nyawa kita. Juga, Meta SHIP IT agen peribadi yang tinggal di WhatsApp dan mempunyai komputernya sendiri. Dalam video ini: bukti, panggilan telefon, nota kaki, dan ayat yang Terence Tao mahu makmal dengar.
0:49 Ini hari Rabu, 9 September, dan ini adalah The Daily Diff. Matematik dahulu. Navier–Stokes menerangkan bagaimana cecair bergerak, dan sejak 1934 tiada siapa yang tahu sama ada cecair 3D licin boleh mencapai singulariti: halaju menjadi tak terhingga dalam masa terhad. Sistem OpenAI berkata ya. Mula dalam keadaan rehat, kenakan daya licin, pastikan tenaga terhad, dan pusaran berpusing ke dalam seperti spageti sehingga kelajuan meletup. Pernyataan C dan D dari formulasi Clay, dalam Lean,
1:16 tujuh belas jam Astra untuk disahkan. Jadi cecair boleh meletup, yang diketahui oleh sesiapa yang menumpahkan kopi pada MacBook, tetapi kini ia dalam Lean. Bagaimana: OpenAI mempunyai model dalaman baharu yang disebutnya jauh lebih berkemampuan daripada Astra, dan pada 1 September mereka mendengar khabar angin bahawa dua masalah Milenium telah diselesaikan, jadi mereka mengarahkannya kepada setiap masalah terbuka. Kumpulan Navier–Stokes: kira-kira sepuluh ribu agen serentak, seratus tiga puluh bilion token output; tiga ratus bilion merentasi semua
1:42 masalah. Pada harga senarai Astra, lima belas juta dolar token untuk hadiah satu juta dolar yang OpenAI berkata ia tidak akan tuntut, 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 daripada dana penyelidikan Buckmaster sendiri. Pada 15 Ogos mereka mendapat letupan untuk persamaan Euler; Buckmaster memanggil bukti LLM pertama yang paling mengerikan yang pernah dibacanya,
2:10 dan ia disahkan dalam Lean pada 22 Ogos. Kemudian khabar angin tersebar, dan 3 September dia menghantar e-mel kepada OpenAI: ini kami, ia peribadi, kami akan memuat naik tidak lama lagi. Pada Ahad jam 12:45 OpenAI meminta untuk bertemu pada bila-bila masa hari ini, dan Sébastien Bubeck menyertai. Buckmaster diberitahu model itu telah membuktikan Navier–Stokes yang dipaksa dengan sangat sedikit input manusia, yang dalam panggilan itu menjadi seluruh pasukan, masalah yang lebih mudah dahulu, petunjuk yang ditulis oleh Codex, dan jumlah yang luar biasa
2:36 komputasi. Dia bertanya bila petunjuk pertama dihantar. Akhirnya: dalam beberapa hari yang lalu, selepas maklumat mengenai kerja kami telah sampai kepada OpenAI. Dua tawaran menyusul. Satu: anda memuat naik Euler, kami memuat naik Navier–Stokes keesokan harinya. Dua: Buckmaster sahaja menulis bukti OpenAI, dan, katanya, Bubeck dua kali mahu Alpöge dikeluarkan dari kertas itu kerana dia bekerja di Anthropic. Dia menolak dan berkata dia akan mengumumkannya kepada umum. Balasan, menurut kenyataan itu: mengapa anda merosakkan karier anda,
3:00 kemudian: jika anda tidak mahu saya bersikap baik, saya tidak perlu bersikap baik. Biasanya baris sebelum kepala kuda muncul di atas katil. Versi OpenAI: tiada siapa yang melihat kerja mereka, tiada data pengguna diakses, dan, nota kaki, mereka tidak boleh menolak bahawa data yang tidak dikenal pasti dari penggunaan produk mereka oleh para profesor membantu meningkatkan model itu. Ulasan Alpöge: pujian kepada mereka kerana terus berterus terang. Sam Altman berkata semua orang bertindak dengan integriti dan kemurahan hati dan pasukan lain
3:25 mengancam tuduhan plagiarisme yang tidak berasas, dieja dengan satu i. Jadi kedudukan rasmi: kami tidak meniru kerja rumah anda, kami dengar anda sedang membuat kerja rumah. Terence Tao memanggil hasil profesor itu luar biasa dan menyatakan Buckmaster menjelaskannya kepadanya melalui telefon, perubahan yang menyegarkan dari modaliti komunikasi berasaskan AI. Kemudian, empat catatan: masalah terbuka yang baik kini dilombong seperti sumber yang tidak boleh diperbaharui, malah khabar angin tentang seseorang yang sedang mengusahakan satu mencetuskan usaha AI besar-besaran untuk menyelesaikannya, jadi insentifnya adalah untuk berhenti berkongsi arah penyelidikan,
3:55 membalikkan berabad-abad sains terbuka. Tiga kumpulan memuat naik letupan cecair dalam satu hujung minggu; kertas kerja seterusnya mungkin NDA. Yang mana suasana Jacob Coxon letak jawatan: tiga tahun pra-latihan di OpenAI, kemudian Anthropic; tiada syarikat yang bertindak secara bertanggungjawab, katanya, kedua-duanya berlumba ke kecerdasan super yang mampu memperbaiki diri, dan pengakhiran tidak seharusnya dilancarkan dari Slack syarikat swasta. Empat puluh empat juta tontonan, pada hari satu makmal meletakkan sepuluh ribu agen pada khabar angin,
4:21 jadi thread itu dilancarkan dengan demo langsung. Sementara itu, Meta SHIP IT Muse: agen peribadi di VM awan sendiri dengan pelayar sendiri, dan anda bercakap dengannya di WhatsApp. AS sahaja, percuma untuk kebanyakan perkara. Meta menjanjikan versi yang Meta sendiri tidak boleh baca, akhir tahun ini, cara yang sangat spesifik untuk menggambarkan tahun ini. Komen teratas Hacker News: Saya tidak mahu berkongsi hidup saya dengan Meta seperti ini. Kedua: ia terus cuba menjual saya kereta sorong bayi.
4:45 Jika anda lebih suka membaca ini daripada mendengar saya mengatakannya, the diff tiba di peti masuk anda setiap pagi — percuma di the daily diff dot dev, pautan di bawah. Jadi — keputusan hari ini: NEEDS REVIEW. Bukti itu dikompilasi; cerita itu tidak. Sepuluh ribu agen menyelesaikan masalah berusia sembilan puluh tahun dalam satu hujung minggu adalah hasil kemampuan terbaik tahun ini; mengumumkannya dengan panggilan telefon Ahad kepada dua orang yang anda dengar mengenainya bukanlah begitu.
5:07 Dan itulah perbezaan untuk hari ini. Saya Niko dari Axrisi. Gabungkan dengan bertanggungjawab.
Sumber
- OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
- OpenAI Lean formalizationgithub.com
- Tristan Buckmaster, statement (PDF)cims.nyu.edu
- HN: Buckmaster statementnews.ycombinator.com
- HN: OpenAI postnews.ycombinator.com
- Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
- Terence Tao: open problems mined non-renewablymathstodon.xyz
- HN: Tao threadnews.ycombinator.com
- Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
- GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
- Jacob Coxon's resignation threadx.com
- HN: I resigned from Anthropic todaynews.ycombinator.com
- Meta: Introducing Museabout.fb.com
- Museai.meta.com
- HN: Musenews.ycombinator.com
