{"id":22177,"date":"2025-11-16T15:05:03","date_gmt":"2025-11-16T14:05:03","guid":{"rendered":"https:\/\/djalil.chafai.net\/blog\/?p=22177"},"modified":"2025-12-06T13:17:13","modified_gmt":"2025-12-06T12:17:13","slug":"automath","status":"publish","type":"post","link":"https:\/\/djalil.chafai.net\/blog\/2025\/11\/16\/automath\/","title":{"rendered":"Automath"},"content":{"rendered":"<figure id=\"attachment_22178\" aria-describedby=\"caption-attachment-22178\" style=\"width: 300px\" class=\"wp-caption aligncenter\"><a href=\"https:\/\/automath.dma.ens.fr\/\"><img loading=\"lazy\" class=\"wp-image-22178 size-medium\" src=\"http:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/automath-1-500x500-1-300x300.png\" alt=\"Automath !\" width=\"300\" height=\"300\" srcset=\"https:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/automath-1-500x500-1-300x300.png 300w, https:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/automath-1-500x500-1-80x80.png 80w, https:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/automath-1-500x500-1.png 500w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><figcaption id=\"caption-attachment-22178\" class=\"wp-caption-text\">Logo de Automath !<\/figcaption><\/figure>\n<p style=\"text-align: justify;\">Dans ce qui suit, le terme fourretout \u00ab IA \u00bb ne signifie pas Imminente Autodestruction ou Insens\u00e9e Acc\u00e9l\u00e9ration, mais bel et bien Intelligence Artificielle au sens de \u00ab service informatique faisant appel \u00e0 de l'apprentissage automatique, typiquement \u00e0 base de r\u00e9seaux de neurones, et notamment les LLM ordinaires comme ChatGPT, Gemini, ... \u00bb Quels sont les liens entre IA et math\u00e9matiques ? Il y en a beaucoup. En voici trois, parmi d'autres, \u00e0 distinguer, bien que reli\u00e9s :<\/p>\n<ul style=\"text-align: justify;\">\n<li>le sujet du <strong>droit de l'information vis-\u00e0-vis du traitement automatique<\/strong>,\u00a0<span class=\"il\">qui<\/span>\u00a0explose avec la g\u00e9n\u00e9ralisation de l'usage de l'IA.\u00a0<span class=\"il\">Dans<\/span> l'univers des licences Creative Commons, utilis\u00e9es notamment par la science ouverte, cela a motiv\u00e9 la cr\u00e9ation r\u00e9cente de <b>CC Signals<\/b>.<\/li>\n<li>le sujet des <strong>maths pour l'automatisation<\/strong> et en particulier pour l'IA. Cela concerne un certain nombre de coll\u00e8gues, en optimisation, statistique, ...<\/li>\n<li>le sujet de l'IA pour les maths, et plus g\u00e9n\u00e9ralement de l'<strong>informatisation des maths<\/strong>, car il y a aussi la formalisation des maths (Lean, Coq\/Rocq, ...), et ses interactions avec l'IA. Ce sujet vit une actualit\u00e9 fascinante depuis quelques temps. Avec quelques coll\u00e8gues, nous venons de lancer\u00a0<a href=\"https:\/\/automath.dma.ens.fr\/\">Automath<\/a> pour faire communaut\u00e9 en r\u00e9gion parisienne autour de\u00a0 l\u2019informatisation des maths. Automaths propose pour l'instant un s\u00e9minaire bimestriel, et une liste de diffusion. La page Actualit\u00e9 du site contient de nombreux liens int\u00e9ressants.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">L'IA est une r\u00e9volution informatique de plus pour les math\u00e9matiques et les math\u00e9maticiens. Va-t-elle rendre obsol\u00e8te la technicit\u00e9, donner raison \u00e0 Ren\u00e9 Thom qui disait qu'on peut toujours trouver des idiots pour d\u00e9montrer des th\u00e9or\u00e8mes ? La machine va-t-elle \u00e9galement d\u00e9passer les humains pour l'imagination et l'originalit\u00e9 ? Ces machines restent pour l'instant statiques et peu efficaces \u00e9nerg\u00e9tiquement. Mais les potentialit\u00e9s de progr\u00e8s sont immenses, et la convergence informatique-biologie, ch\u00e8re \u00e0 la science-fiction, pourrait faire partie du si\u00e8cle. C'est peut-\u00eatre le moment de relire The Computer &amp; the Brain de John von Neumann, celui qui, interpell\u00e9 sur les vertiges de la science de son temps, aurait r\u00e9pondu qu'il n'y a pas rem\u00e8de contre le progr\u00e8s.<\/p>\n<p><strong>Liens.<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/creativecommons.org\/2025\/09\/03\/ai-and-the-commons-a-reading-list\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=https:\/\/creativecommons.org\/2025\/09\/03\/ai-and-the-commons-a-reading-list\/&amp;source=gmail&amp;ust=1763198539075000&amp;usg=AOvVaw37g4yNGlvOvtLi4iNiT0LR\">AI and the Commons - A reading List (2025-09-03)<\/a><\/li>\n<li><a href=\"https:\/\/next.ink\/190766\/cc-signals-creative-commons-propose-un-cadre-pour-lutilisation-des-contenus-par-les-ia\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=https:\/\/next.ink\/190766\/cc-signals-creative-commons-propose-un-cadre-pour-lutilisation-des-contenus-par-les-ia\/&amp;source=gmail&amp;ust=1763198539075000&amp;usg=AOvVaw1iIgmFumrGIrrkOdXzTBzr\">CC Signals : un cadre pour l'utilisation des contenus par les IA (2025-07-03)<\/a><\/li>\n<li><a href=\"https:\/\/automath.dma.ens.fr\/\">https:\/\/automath.dma.ens.fr\/<\/a><\/li>\n<\/ul>\n<p><img loading=\"lazy\" class=\"aligncenter wp-image-22270\" src=\"http:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/TheComputerAndTheBrain-188x300.jpg\" alt=\"\" width=\"300\" height=\"478\" srcset=\"https:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/TheComputerAndTheBrain-188x300.jpg 188w, https:\/\/djalil.chafai.net\/blog\/wp-content\/uploads\/2025\/11\/TheComputerAndTheBrain.jpg 627w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dans ce qui suit, le terme fourretout &laquo; IA &raquo; ne signifie pas Imminente Autodestruction ou Insens&eacute;e Acc&eacute;l&eacute;ration, mais bel et bien Intelligence Artificielle au&#8230;<\/p>\n<div class=\"more-link-wrapper\"><a class=\"more-link\" href=\"https:\/\/djalil.chafai.net\/blog\/2025\/11\/16\/automath\/\">Continue reading<span class=\"screen-reader-text\">Automath<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":122},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/22177"}],"collection":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/comments?post=22177"}],"version-history":[{"count":72,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/22177\/revisions"}],"predecessor-version":[{"id":22321,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/22177\/revisions\/22321"}],"wp:attachment":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/media?parent=22177"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/categories?post=22177"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/tags?post=22177"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}