36 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
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.
Une conférence de l'Académie des sciences réunit des chercheurs de haut niveau pour explorer les enjeux des mathématiques : formation citoyenne, plaisir intellectuel et langage de la science contemporaine.
Actu