The Navier–Stokes Problem and the Agents

Impossible d'ajouter des articles

Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.

Veuillez réessayer plus tard

Échec de l’élimination de la liste d'envies.

Veuillez réessayer plus tard

Impossible de suivre le podcast

Impossible de ne plus suivre le podcast

The Navier–Stokes Problem and the Agents

Écouter gratuitement

Voir les détails

Offres de saison | 0,99 € par mois pendant les 3 premiers mois

5,99 €/mois par la suite. Des conditions s’appliquent. Annulation mensuelle possible.

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?

Aucun commentaire pour le moment