The Navier–Stokes Problem and the Agents

Ürünler eklenemedi

Üzgünüz, sepetiniz kapasiteye ulaştığı için bu ürünü ekleyemedik.

Sepete ekleme başarısız oldu.

Lütfen daha sonra tekrar deneyin

İstek Listesine ekleme başarısız oldu.

Lütfen daha sonra tekrar deneyin

İstek listesinden kaldırma başarısız oldu.

Lütfen daha sonra tekrar deneyin

Kütüphaneye ekleme başarısız oldu

Lütfen tekrar deneyin

Podcast takip edilemedi

Podcast takibi bırakma başarısız oldu.

The Navier–Stokes Problem and the Agents

Şimdi ücretsiz dinle, üyelik gerekmez

Program ayrıntılarını görüntüle

This Season's Biggest Deal | £0.99/mo for 3 months + £10 Audible bonus

£5.99/mo after 3 months - terms apply. Cancel monthly

Özet

Did OpenAI really solve the Navier–Stokes problem? In this episode, we ask mathematician Gonzalo Caolabora. and AI professor Günter Klambauer what the proof means, why it has been difficult to verify, and whether large language models are discovering mathematics or combining ideas from existing research. We also discuss why AI can excel at problems with verifiable answers, where today’s systems still struggle, and how AI could reshape mathematical research and careers. The big question: as proofs become more automated, what will mathematicians focus on next?

Henüz yorum yok