David Bessis – La chute de l’économie du théorème
ENS — amphi Galois 45 rue d'Ulm, Paris, FranceSéminaires des Mathématiques
Chargement de la vue.
Antonin de Courcel and Nicolas Mil-Homens Cavaco
Salle WAntonin de Courcel (ENS) “Effective models in high-dimensional unstable regimes: optimization dynamics at the edge of stability” Nicolas Mil-Homens Cavaco (Louvain) “Expressivity of lazy sinusoidal neural networks: A joint kernel-based and frame-theoretic approach” Antonin de Courcel (DMA) “Effective models in high-dimensional unstable regimes: optimization dynamics at the edge of stability” Nicolas Mil-Homens Cavaco (Université catholique de Louvain) “Expressivity of lazy sinusoidal neural networks: A joint kernel-based and frame-theoretic approach”
Thierry Gallay – Dynamique des tourbillons visqueux dans un demi-plan
Jussieu -- salle 15-16-309 4 Place Jussieu, Paris, FranceSpeaker: Thierry Gallay (Université Grenoble Alpes) Le but de cet exposé est de définir un cadre mathématique permettant de décrire les interactions entre tourbillons et parois pour des écoulements plans à grand nombre de Reynolds. Les phénomènes typiques que l'on souhaite étudier à terme sont le mouvement auto-induit (pour un tourbillon isolé) et l'effet de rebond (pour une paire de tourbillons). Dans la première partie, à caractère tout à fait élémentaire, on explique comment résoudre les équations de Navier-Stokes incompressibles dans un demi-plan en exploitant l'équation d'évolution pour le tourbillon […]
Automath! On the Origin of False Proofs by Means of Bugs in Proof Assistants, Yannick Foster
Institut Henri Poincaré amphithéâtre HermiteProof assistants have entered mainstream mathematical discourse so fast that now they are almost silently accepted as the ultimate guardians of correct proofs. Both the recent forced Euler blowup result by Buckmaster and Alpöge and the solution to the Navier-Stokes problem announced by OpenAI come with proofs verified in the Lean proof assistant, with code almost entirely written using LLMs. Only six months ago an experiment led by Tristan Stérin showed that LLMs are effective at finding bugs in proof assistants: several bugs were found both in Lean and the […]
Antoine Joux
ENS — amphi Galois 45 rue d'Ulm, Paris, FranceSéminaires des Mathématiques
Automath! À qui appartiennent les mathématiques ? Maths + IA Controversy Workshop
Institut Henri Poincaré amphithéâtre HermiteÀ qui appartiennent les mathématiques ? En deux ans à peine, les mathématiques semblent être passées du statut de frontière de l’IA à celui de territoire de l’IA, du statut d’idéal cognitif servant à tester les capacités de raisonnement des modèles d’IA, à celui d’infrastructure de connaissance, productive et mobilisable de façon en partie automatisée. C’est en tous cas le message envoyé par OpenAI (e.g. Contre-exemple à la conjecture d’Erdős), Anthropic (e.g. Contre-exemple à la conjecture jacobienne), Google DeepMind (e.g. AlphaProof) ou encore la DARPA avec le programme ExpMath. Si […]
Cristina Toninelli
ENS — amphi Galois 45 rue d'Ulm, Paris, FranceSéminaires des Mathématiques
Monica Musso (University of Bath)
Campus de Jussieu salle 309 3e étage barre 15-16Estelle Kuhn
ENS — amphi Galois 45 rue d'Ulm, Paris, FranceSéminaires des Mathématiques