OpenAI, Navier-Stokes'u çözdüğünü söylüyor. Karar: İNCELENMELİ.

Bu video neleri kapsar

• OpenAI: Navier-Stokes patlaması, ~10.000 ajan, 88 saat, 130 milyar çıktı jetonu, Lean-doğrulamalı
• Buckmaster ve Alpöge: aynı yaklaşımla bir yıl, bir söylenti ve iki teklifle Pazar günü yapılan bir arama
• Terence Tao: "birinin bir problem üzerinde çalıştığı söylentisi bile, onu düzleştirmek için muazzam miktarda yapay zeka destekli çabayı tetikleyebilir"
• Jacob Coxon, Anthropic'ten istifa etti: her iki laboratuvar da "kendini geliştiren süper zekaya doğru yarışıyor"
• Meta, Muse'u piyasaya sürüyor: yalnızca ABD'de WhatsApp'ta kendi bulut VM'sinde kişisel bir ajan

Çevrilmiş deşifre

Orijinal İngilizce anlatımdan çevrilmiştir. Mevcut ses ve altyazılar YouTube tarafından kontrol edilir.

0:00 Dün, OpenAI yapay zekasının bir Milenyum Ödülü problemini çözdüğünü duyurdu, doksan yıldır açık olan, bir milyon dolarlık bir problemi, seksen sekiz saatte, ve aynı problem üzerinde bir yıl harcayan iki matematikçi bunu öğrendi Pazar günkü bir telefon görüşmesinde, onlardan birine göre, şunları içeriyordu: kariyerinizi neden mahvedesiniz ki? Uzun bir Pazartesi idi. Şafakta bir NYU profesörü yayınladı dört sayfalık bir açıklama; Hacker News'te bin altı yüz puan. Öğleden sonra OpenAI kanıtı yayınladı.

0:26 Akşam Terence Tao açık problemlerin artık yenilenemeyen bir kaynak gibi çıkarıldığını söyledi, ve bir Anthropic araştırmacısı X'te gece istifa etti, kırk dört milyon görüntülenme, çünkü her iki laboratuvar da, alıntı olarak, hayatlarımızla kumar oynuyor. Ayrıca, Meta, WhatsApp'ta yaşayan ve kendi bilgisayarı olan kişisel bir ajan piyasaya sürdü. Bu videoda: kanıt, telefon görüşmesi, dipnot, ve Terence Tao'nun laboratuvarların duymasını istediği cümle. Bugün 9 Eylül Çarşamba ve bu The Daily Diff.

0:49 Önce matematik. Navier-Stokes sıvıların nasıl hareket ettiğini tanımlar ve 1934'ten beri hiç kimse pürüzsüz bir 3D sıvının bir tekilliğe ulaşıp ulaşamayacağını bilmiyordu: sonlu sürede hızın sonsuza gitmesi. OpenAI'nin sistemi evet diyor. Durumdan başlayın, pürüzsüz bir kuvvet uygulayın, enerjiyi sonlu tutun, ve bir girdap, hız patlayana kadar spagetti gibi içeri doğru döner. Clay formülasyonunun C ve D ifadeleri, Lean'de, doğrulamak için on yedi saat Astra. Yani sıvılar patlayabilir, ki MacBook'una kahve döken herkes bunu biliyordu,

1:16 ama şimdi Lean'de. Nasıl: OpenAI'nin Astra'dan "önemli ölçüde daha yetenekli" olarak adlandırdığı yeni bir dahili modeli var, ve 1 Eylül'de iki Milenyum probleminin çözüldüğüne dair bir söylenti duydular, bu yüzden onu her açık olana yönlendirdiler. Navier-Stokes grubu: yaklaşık on bin eşzamanlı ajan, yüz otuz milyar çıktı jetonu; tüm problemler arasında üç yüz milyar. Astra liste fiyatlarıyla, bir milyon dolarlık bir ödül için on beş milyon dolarlık jetonlar, OpenAI bunu talep etmeyeceğini söylüyor, ve bu marjla, kim ederdi. Diğer taraf.

1:42 NYU'dan Tristan Buckmaster ve Anthropic'te çalışan Levent Alpöge, Claude ve Codex ile Córdoba ve Martínez-Zoroa'nın bir yaklaşımını bir yıl boyunca zorlayarak geçirdiler, Buckmaster'ın kendi araştırma fonlarından OpenAI'ye ödeme yaparak. 15 Ağustos'ta Euler denklemleri için bir patlama elde ettiler; Buckmaster, ilk LLM kanıtını okuduğu en korkunç şey olarak adlandırıyor, ve 22 Ağustos'ta Lean'de doğrulandı. Sonra bir söylenti yayıldı ve 3 Eylül'de OpenAI'ye e-posta gönderdi: biziz, kişisel, yakında yayınlayacağız. Pazar günü 12:45'te OpenAI o gün herhangi bir zamanda buluşmak istedi,

2:10 ve Sébastien Bubeck katıldı. Buckmaster'a modelin çok az insan girdisiyle zorlanmış Navier-Stokes'u kanıtladığı söylendi, bu görüşme sırasında tüm bir ekip, önce daha kolay problemler, Codex tarafından yazılmış bir komut ve inanılmaz miktarda hesaplama oldu. İlk komutun ne zaman gönderildiğini sordu. Sonunda: son birkaç gün içinde, çalışmamızla ilgili bilgiler OpenAI'ye ulaştıktan sonra. İki teklif geldi. Bir: siz Euler'i yayınlayın, biz ertesi gün Navier-Stokes'u yayınlayalım. İki: OpenAI kanıtını Buckmaster tek başına yazsın ve,

2:36 Bubeck'in iki kez Alpöge'yi makaleden çıkarmak istediğini, çünkü Anthropic'te çalıştığını söylüyor. Reddetti ve kamuoyuna açıklayacağını söyledi. Açıklamaya göre yanıt: kariyerini neden mahvedesin ki, sonra: nazik olmamı istemiyorsan, nazik olmak zorunda değilim. Normalde bir atın kafasının bir yatakta belirmesinden hemen önceki çizgi. OpenAI'nin versiyonu: kimse çalışmalarını görmedi, hiçbir kullanıcı verisine erişilmedi, ve, dipnot, profesörlerin ürünlerini kullanmasından elde edilen kimliği gizlenmiş verilerin modeli geliştirmeye yardımcı olduğunu göz ardı edemezler. Alpöge'nin yorumu: doğruyu söyledikleri için onlara şapka çıkarıyorum.

3:00 Sam Altman herkesin dürüstlük ve cömertlikle hareket ettiğini ve diğer ekibin intihalle ilgili asılsız suçlamalarla tehdit ettiğini söylüyor, tek i ile yazılıyor. Yani resmi pozisyon: ödevinizi kopyalamadık, ödev yaptığınızı duyduk. Terence Tao, profesörlerin sonucunu olağanüstü olarak nitelendirdi ve Buckmaster'ın bunu telefonda kendisine açıkladığını belirtti, yapay zeka tabanlı iletişim yöntemlerinden ferahlatıcı bir değişiklik. Sonra, dört gönderi: iyi açık problemler artık yenilenemeyen bir kaynak gibi çıkarılıyor, birinin üzerinde çalıştığı söylentisi bile onu düzleştirmek için büyük bir yapay zeka çabasını tetikliyor, bu yüzden teşvik araştırma yönlerini paylaşmayı bırakmak, yüzyıllarca süren açık bilimi tersine çevirmek. Üç grup bir hafta sonunda sıvı patlaması yayınladı; bir sonraki makale bir gizlilik anlaşması olabilir.

3:25 Jacob Coxon'un istifa ettiği ruh hali buydu: üç yıl OpenAI'de ön eğitim, sonra Anthropic; hiçbir şirket sorumlulukla hareket etmiyor, dedi, ikisi de kendini geliştiren süper zekaya doğru yarışıyor, ve son oyun özel bir şirketin Slack'inden başlatılmamalıdır. Kırk dört milyon görüntülenme, bir laboratuvarın bir söylenti üzerine on bin ajan gönderdiği gün, bu yüzden konu canlı bir demo ile yayınlandı. Bu arada, Meta Muse'u piyasaya sürdü: kendi bulut VM'sinde kendi tarayıcısıyla kişisel bir ajan, ve onunla WhatsApp'ta konuşuyorsunuz.

3:55 Yalnızca ABD, çoğu şey için ücretsiz. Meta, bu yılın sonlarında, Meta'nın bile okuyamayacağı bir sürüm vaat ediyor, bu yılı tanımlamanın çok özel bir yolu. En çok okunan Hacker News yorumu: Hayatımı Meta ile böyle paylaşmak istemiyorum. İkincisi: bana sürekli bir bebek arabası satmaya çalışıyor. Eğer bunu benim söylemem yerine okumayı tercih ederseniz, fark her sabah gelen kutunuza düşer — thedailydiff.dev adresinde ücretsiz, bağlantı aşağıda. Yani — bugünün kararı: incelenmeli. Kanıt derleniyor; hikaye derlenmiyor.

4:21 On bin ajanın doksan yıllık bir problemi bir hafta sonunda çözmesi, yılın yetenek sonucudur; bunu, hakkında duyduğunuz iki kişiye Pazar günü telefon ederek duyurmak değildir. Ve bugünün farkı bu kadar. Ben Axrisi'den Niko. Sorumlulukla birleştirin. The Daily Diff Axrisi SHIP IT

4:45 NEEDS REVIEW REVERT The Daily Diff Axrisi SHIP IT NEEDS REVIEW REVERT The Daily Diff

5:07 Axrisi SHIP IT NEEDS REVIEW

Kaynaklar

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