Le calcul mental fait son retour !
TF1+ · il y a 7 jours
Malgré cinquante années de progrès en calcul et modélisation, notre compréhension de la sensibilité climatique au CO reste inchangée depuis 1979. Un physicien théoricien examine les défis mathématiques posés par la turbulence océanique et atmosphérique.
La méthode B, technique mathématique de vérification formelle, est utilisée dans l'industrie ferroviaire pour garantir la sûreté des logiciels critiques. Cet exposé explore son application au développement et à la modélisation de systèmes complets, tout en soulevant des défis encore ouverts.
Cette vidéo de la chaîne Passe-science explore en détail le paradoxe de Newcomb, l'un des grands désaccords philosophico-logiques du XXe siècle. Au-delà du problème classique, elle examine plusieurs variations du paradoxe, notamment une version avec répétition, et analyse les arguments en faveur de chaque position (one-boxer vs…
Ouverture par Laurence Broze (femmes et mathématiques) Lecture par Claude Sabbah (CMLS) d'un texte de Michèle Audin
Bien avant l'ordinateur, la géométrie et l'optique ont jeté les fondations de la 3D. Une conférence retrace comment les idées mathématiques se sont transformées en outils techniques pour créer des images.
Leila Schneps, mathématicienne à l'Institut de Mathématiques de Jussieu, propose une exploration de l'oeuvre d'Alexandre Grothendieck et de son impact durable sur la recherche mathématique actuelle.
Bien que toutes les pistes d'athlétisme mesurent 400 mètres, leur géométrie varie : les rayons des virages et les longueurs des lignes droites ne sont pas identiques. Un modèle mathématique intégrant la mécanique, l'énergie et la motivation permet d'étudier comment ces variations affectent les performances des coureurs.
Une conférence d'Amaury Hayat (École des Ponts) explore comment l'IA et l'apprentissage automatique peuvent assister les mathématiciens. Elle couvre l'entraînement de modèles pour générer des insights mathématiques et les progrès récents en démonstration automatisée de théorèmes.