The Navier–Stokes Problem and the Agents

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

The Navier–Stokes Problem and the Agents

無料で聴く

ポッドキャストの詳細を見る

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?

まだレビューはありません