39 vidéos ne sont pas affichées ici : des documentaires qui semblent générés par IA. Ils peuvent être intéressants — les afficher
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…
Contenu insuffisant pour évaluation
Une vidéo YouTube dissèque le parcours atypique d'un polytechnicien neuroatypique, depuis l'IMO jusqu'à Jane Street, en analysant l'épreuve Maths B 2026 de l'X et ses anecdotes marquantes.
Je vous parle de la découverte qui a valu à Bennett & Brassard leur prix Turing.
Ouverture par Laurence Broze (femmes et mathématiques) Lecture par Claude Sabbah (CMLS) d'un texte de Michèle Audin
L'ENS-PSL organise une rencontre autour de Stéphane Mallat, mathématicien récompensé par la médaille d'or du CNRS 2025, pour explorer ses contributions aux mathématiques appliquées, au traitement du signal et à l'intelligence artificielle.
L'ENS-PSL organise une rencontre autour de Stéphane Mallat, mathématicien récompensé par la médaille d'or du CNRS 2025, pour explorer ses contributions aux mathématiques appliquées, au traitement du signal et à l'intelligence artificielle.
Actu