{"id":15678,"date":"2026-10-28T19:07:29","date_gmt":"2026-10-28T18:07:29","guid":{"rendered":"https:\/\/dailyai.com\/?p=15678"},"modified":"2026-10-28T19:07:29","modified_gmt":"2026-10-28T18:07:29","slug":"dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more","status":"publish","type":"post","link":"https:\/\/dailyai.com\/fr\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","title":{"rendered":"Point presse DailyAI\u00a0: L\u2019IA v\u00e9rifie la plus longue d\u00e9monstration math\u00e9matique, et 4 autres."},"content":{"rendered":"

Bienvenue dans le briefing DailyAI, les cinq plus grandes actualit\u00e9s du jour en mati\u00e8re d'IA.<\/strong> Des agents d'IA ont r\u00e9\u00e9crit la plus longue d\u00e9monstration math\u00e9matique sous forme de code v\u00e9rifiable par ordinateur et ont d\u00e9couvert des erreurs pass\u00e9es inaper\u00e7ues pendant des d\u00e9cennies. Un mod\u00e8le Claude non publi\u00e9 a r\u00e9ussi \u00e0 s'introduire dans Chrome, Safari et Linux au sein du laboratoire d'Anthropic\u00a0; Google vend ses puces d'IA \u00e0 ses concurrents\u00a0; deux gouvernements ont pris des mesures pour emp\u00eacher les chatbots de se lier d'amiti\u00e9 avec des enfants\u00a0; et une famille affirme que ChatGPT a dissuad\u00e9 leur fille de prendre son traitement contre l'\u00e9pilepsie.<\/p>\n

Entrons dans le vif du sujet.<\/p>\n

La preuve qui a pris 24 jours<\/h2>\n

Commen\u00e7ons par 15\u00a0000. C\u2019est approximativement le nombre de pages que couvre la Classification des groupes simples finis, une d\u00e9monstration \u00e9labor\u00e9e par une centaine de math\u00e9maticiens sur plusieurs d\u00e9cennies. Une start-up nomm\u00e9e Axiom affirme Des essaims d'agents d'IA l'ont transform\u00e9 en 43,1 millions de lignes de code v\u00e9rifiables en 24 jours.<\/a>. C'est blog de recherche<\/a> et site du projet<\/a> Saisissez les nombres, et le code est dans un d\u00e9p\u00f4t public<\/a>.<\/p>\n

\n

La plus grande d\u00e9monstration math\u00e9matique de l'histoire est d\u00e9sormais v\u00e9rifi\u00e9e par ordinateur. Axiom annonce aujourd'hui la formalisation automatique Lean compl\u00e8te de la Classification des groupes simples finis, le \u201c\u00a0tableau p\u00e9riodique des sym\u00e9tries\u00a0\u201d. Ce document de pr\u00e8s de 15\u00a0000 pages a \u00e9t\u00e9 \u00e9labor\u00e9 par plus de 100 math\u00e9maticiens de diff\u00e9rentes g\u00e9n\u00e9rations.<\/p>\n

\u2014 Axiom (@axiommathai) 27 octobre 2026<\/a><\/p><\/blockquote>\n

Le th\u00e9or\u00e8me est une liste exhaustive des \u00e9l\u00e9ments constitutifs de la sym\u00e9trie, une sorte de tableau p\u00e9riodique des math\u00e9matiques. Le code est \u00e9crit en Lean, un langage o\u00f9 un petit programme fiable v\u00e9rifie chaque \u00e9tape, emp\u00eachant ainsi toute \u00e9vidence. Le plus int\u00e9ressant r\u00e9side dans les d\u00e9couvertes faites en cours de route\u00a0: 34 cas o\u00f9 les r\u00e9sultats math\u00e9matiques publi\u00e9s ne correspondaient pas aux affirmations, dont un argument de 1986 qui a n\u00e9cessit\u00e9 une d\u00e9monstration enti\u00e8rement nouvelle.<\/p>\n

\n

C'est vraiment impressionnant (et utile !). CFSG est l'un des plus grands exploits des math\u00e9matiques du XXe si\u00e8cle. La complexit\u00e9 et la longueur de sa formalisation me rendent encore plus admiratif des personnes qui ont cr\u00e9\u00e9 et compris la d\u00e9monstration \u00e0 l'origine, sans l'aide d'ordinateurs\u2026<\/p>\n

\u2014 Thomas Bloom (@thomasfbloom) 28 octobre 2026<\/a><\/p><\/blockquote>\n

En clair\u00a0: personne en dehors d\u2019Axiom n\u2019a encore reproduit le processus de v\u00e9rification, et Lean se contente de confirmer la bonne suite des \u00e9tapes, sans pour autant que la conclusion finale ait la signification que les math\u00e9maticiens lui attribuent. Pourtant, c\u2019est tout le contraire d\u2019un chatbot qui semble s\u00fbr de lui. Lorsqu\u2019un v\u00e9rificateur rigoureux \u00e9value le travail, les erreurs de l\u2019IA sont d\u00e9tect\u00e9es au lieu d\u2019\u00eatre dissimul\u00e9es.<\/p>\n

Claude s'introduit par effraction, puis le signale.<\/h2>\n

Anthropic dit un in\u00e9dit Claude<\/span><\/span> Mod\u00e8le trouv\u00e9 et encha\u00een\u00e9 avec des failles de s\u00e9curit\u00e9<\/a> dans Chrome, Safari, Android, Windows et Linux. son poste de recherche<\/a>, L'\u00e9quipe Frontier Red Team de l'entreprise d\u00e9crit cinq cha\u00eenes d'attaque fonctionnelles. Celle ciblant Chrome permettait d'acc\u00e9der \u00e0 une application sur Mac depuis une page web, en dehors de l'environnement isol\u00e9 du navigateur, et de la lancer en quelques secondes, sans aucune intervention de l'utilisateur. Anthropic a recens\u00e9 62 failles dans Chrome, toutes qualifi\u00e9es de critiques ou d'\u00e9lev\u00e9es.<\/p>\n

Chaque bug a \u00e9t\u00e9 signal\u00e9 en premier et corrig\u00e9, et aucun n'a \u00e9t\u00e9 observ\u00e9 lors d'attaques r\u00e9elles., Les notes de Hacker News<\/a>. Ce qui est inqui\u00e9tant, c'est la tendance\u00a0: des comp\u00e9tences autrefois r\u00e9serv\u00e9es \u00e0 une poign\u00e9e d'\u00e9quipes d'\u00e9lite sont d\u00e9sormais accessibles \u00e0 tous. La solution pratique est certes fastidieuse, mais indispensable\u00a0: mettez \u00e0 jour Chrome vers la version\u00a0156 ou ult\u00e9rieure, installez les derniers correctifs pour Safari, Android et Windows, et red\u00e9marrez r\u00e9guli\u00e8rement votre ordinateur.<\/p>\n

Google vend ses puces \u00e0 la concurrence<\/h2>\n

Les puces d'IA internes de Google, appel\u00e9es TPU, quittent leurs locaux. Oracle<\/span><\/span> et Google a d\u00e9clar\u00e9<\/a> Elles seront propos\u00e9es sur le cloud d'Oracle \u00e0 partir de 2027, une premi\u00e8re en dehors de Google. Le m\u00eame jour, OpenAI aurait annonc\u00e9 son intention de les acqu\u00e9rir., comme nous l'avons \u00e9voqu\u00e9 pr\u00e9c\u00e9demment<\/a>.<\/p>\n

Le chiffre \u00e0 surveiller est $62,5 milliards, l'estimation de TD Cowen concernant les ventes de TPU de Google l'ann\u00e9e prochaine., CNBC rapporte<\/a>. Wells Fargo atteint m\u00eame 17 000,99 milliards de dollars. Notre analyse\u00a0: si Google vend r\u00e9ellement ses puces \u00e0 OpenAI et Anthropic, ses deux principaux concurrents, Nvidia aura enfin un adversaire de taille, et la concurrence devrait \u00e0 terme se r\u00e9percuter sur le co\u00fbt de l\u2019IA pour le reste d\u2019entre nous.<\/p>\n

Les chatbots ont re\u00e7u l'ordre d'arr\u00eater de jouer les meilleurs amis<\/h2>\n

Deux gouvernements se sont attaqu\u00e9s au m\u00eame probl\u00e8me le m\u00eame jour. La gouverneure de New York, Kathy Hochul a sign\u00e9 une loi interdisant 12 fonctionnalit\u00e9s de chatbot aux moins de 18 ans<\/a>, allant de la pr\u00e9tention d'\u00eatre humain \u00e0 la m\u00e9morisation des d\u00e9tails personnels d'un enfant issus de conversations pass\u00e9es. Les amendes atteignent $25\u00a0000 par infraction \u00e0 compter du 1er janvier 2027., Fortune rapporte<\/a>, et ces interdictions concernent \u00e9galement toute personne dont l'\u00e2ge n'a pas \u00e9t\u00e9 confirm\u00e9 par l'entreprise.<\/p>\n

En Australie, la chambre basse a adopt\u00e9 une loi sur la s\u00e9curit\u00e9 des enfants<\/a> avec un amendement tardif visant les chatbots qui simulent l'intimit\u00e9 \u00e9motionnelle et favorisent la d\u00e9pendance de l'enfant au d\u00e9triment des relations humaines, Le Guardian rapporte<\/a>. Il manque encore l'approbation du S\u00e9nat. En r\u00e9sum\u00e9, le message adress\u00e9 aux entreprises d'IA est clair\u00a0: soit vous v\u00e9rifiez l'\u00e2ge, soit vous d\u00e9sactivez la m\u00e9moire, la flatterie et la personnalit\u00e9 pour toute personne dont l'\u00e2ge n'est pas confirm\u00e9.<\/p>\n

Un proc\u00e8s concernant un m\u00e9dicament contre l'\u00e9pilepsie<\/h2>\n

L'affaire qui d\u00e9montre la raison d'\u00eatre de ces r\u00e8gles est survenue la m\u00eame semaine. Une famille a poursuivi OpenAI<\/span><\/span><\/a> En Californie, une famille a d\u00e9clar\u00e9 que GPT-4o, un ancien mod\u00e8le ChatGPT, avait \u00e9labor\u00e9 un plan de sevrage progressif qui a entra\u00een\u00e9 l'arr\u00eat brutal du traitement anti\u00e9pileptique de leur fille, Bowen Wan. Cette derni\u00e8re est d\u00e9c\u00e9d\u00e9e en f\u00e9vrier. Le New York Times a examin\u00e9 plus de 270\u00a0000 de ses messages et a constat\u00e9 qu'elle avait exprim\u00e9 son inqui\u00e9tude concernant ce sevrage \u00e0 au moins 158 reprises., TechCrunch rapporte<\/a>.<\/p>\n

Les avocats de sa famille<\/a> OpenAI soutient que les conseils sur les m\u00e9dicaments devraient \u00eatre strictement interdits aux chatbots, \u00e0 l'instar des textes prot\u00e9g\u00e9s par le droit d'auteur. L'organisation a qualifi\u00e9 cette affaire de d\u00e9solante et a affirm\u00e9 que les mod\u00e8les les plus r\u00e9cents sont plus performants pour d\u00e9tecter les situations d'urgence. Ces arguments n'ont pas encore \u00e9t\u00e9 test\u00e9s devant les tribunaux. La conclusion est simple\u00a0: un chatbot peut expliquer un m\u00e9dicament, mais seul le m\u00e9decin prescripteur est habilit\u00e9 \u00e0 modifier la posologie.<\/p>\n

Fin de la communication<\/h2>\n

Voil\u00e0 pour mercredi. Lorsqu'une IA est soumise \u00e0 un contr\u00f4le rigoureux (compilateur, \u00e9quipe de d\u00e9veloppement d'un fournisseur ou loi), elle devient plus utile et moins risqu\u00e9e. En l'absence de contr\u00f4le, des dommages peuvent survenir. C'est dans cette lacune que se concentrent actuellement la plupart des efforts de recherche.<\/p>\n

\u00c0 demain.<\/p>","protected":false},"excerpt":{"rendered":"

Des agents d'IA ont v\u00e9rifi\u00e9 la plus longue d\u00e9monstration math\u00e9matique en 24 jours, et un mod\u00e8le Claude non publi\u00e9 a p\u00e9n\u00e9tr\u00e9 dans Chrome, Safari et Linux lors de tests.
\nPar ailleurs, Google vend ses puces d'IA \u00e0 ses concurrents, New York et l'Australie limitent le nombre de chatbots, et un proc\u00e8s est en cours concernant un m\u00e9dicament contre l'\u00e9pilepsie.<\/p>","protected":false},"author":1,"featured_media":15679,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[338],"class_list":["post-15678","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","tag-roundup"],"yoast_head":"\nDailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more<\/title>\n<meta name=\"description\" content=\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dailyai.com\/fr\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\" \/>\n<meta property=\"og:description\" content=\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dailyai.com\/fr\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/\" \/>\n<meta property=\"og:site_name\" content=\"DailyAI\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-28T18:07:29+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"DailyAI\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:site\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"DailyAI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"},\"author\":{\"name\":\"DailyAI\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/5238bb16667080993f51f7fba82ad6c6\"},\"headline\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\",\"datePublished\":\"2026-10-28T18:07:29+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"},\"wordCount\":965,\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"keywords\":[\"Roundup\"],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\",\"name\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"datePublished\":\"2026-10-28T18:07:29+00:00\",\"description\":\"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#primaryimage\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15678.jpg\",\"width\":1472,\"height\":832,\"caption\":\"A flat illustration of a tall navy stack of paper sheets with a small navy cube above it and a large red tick beside it.\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/dailyai.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"name\":\"DailyAI\",\"description\":\"The AI economy, measured.\",\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/dailyai.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"width\":4501,\"height\":934,\"caption\":\"DailyAI\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/DailyAIOfficial\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/dailyaiofficial\\\/\",\"https:\\\/\\\/www.youtube.com\\\/@DailyAIOfficial\"],\"legalName\":\"Zero Hour Investments FZCO\",\"foundingDate\":\"2023\",\"slogan\":\"The AI economy, measured.\",\"description\":\"DailyAI tracks the AI economy in numbers: data trackers, research and plain-English news on jobs, spending, pricing and funding.\",\"address\":{\"@type\":\"PostalAddress\",\"addressCountry\":\"AE\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"contactType\":\"customer support\",\"url\":\"https:\\\/\\\/dailyai.com\\\/contact\\\/\"},\"founder\":{\"@type\":\"Person\",\"name\":\"David Merry\",\"url\":\"https:\\\/\\\/dailyai.com\\\/author\\\/davidmerry\\\/\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"]}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/5238bb16667080993f51f7fba82ad6c6\",\"name\":\"DailyAI\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dailyai-ai-mark-512.png\",\"caption\":\"DailyAI\"},\"description\":\"Your go-to destination for all things AI. We are dedicated to providing easy to understand and accessible news, updates, reviews, and features on the ever-evolving AI industry. Stay informed as we unravel the latest advancements, breakthroughs, and trends shaping the world of AI.\",\"sameAs\":[\"https:\\\/\\\/dailyai.com\"],\"url\":\"https:\\\/\\\/dailyai.com\\\/fr\\\/author\\\/atech\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Point presse DailyAI\u00a0: L\u2019IA v\u00e9rifie la plus longue d\u00e9monstration math\u00e9matique, et 4 autres.","description":"Des agents IA v\u00e9rifient la plus longue d\u00e9monstration math\u00e9matique, Claude pirate Chrome, Google vend des TPU, des lois sur les chatbots pour enfants et un proc\u00e8s contre ChatGPT concernant un m\u00e9dicament contre l'\u00e9pilepsie.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dailyai.com\/fr\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_locale":"fr_FR","og_type":"article","og_title":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more","og_description":"AI agents check maths' longest proof, Claude breaks into Chrome, Google sells TPUs, chatbot laws for kids, and a ChatGPT lawsuit over epilepsy medicine.","og_url":"https:\/\/dailyai.com\/fr\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","og_site_name":"DailyAI","article_published_time":"2026-10-28T18:07:29+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg","type":"image\/jpeg"}],"author":"DailyAI","twitter_card":"summary_large_image","twitter_creator":"@DailyAIOfficial","twitter_site":"@DailyAIOfficial","twitter_misc":{"\u00c9crit par":"DailyAI","Dur\u00e9e de lecture estim\u00e9e":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#article","isPartOf":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"},"author":{"name":"DailyAI","@id":"https:\/\/dailyai.com\/#\/schema\/person\/5238bb16667080993f51f7fba82ad6c6"},"headline":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more","datePublished":"2026-10-28T18:07:29+00:00","mainEntityOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"},"wordCount":965,"publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","keywords":["Roundup"],"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","url":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/","name":"Point presse DailyAI\u00a0: L\u2019IA v\u00e9rifie la plus longue d\u00e9monstration math\u00e9matique, et 4 autres.","isPartOf":{"@id":"https:\/\/dailyai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","datePublished":"2026-10-28T18:07:29+00:00","description":"Des agents IA v\u00e9rifient la plus longue d\u00e9monstration math\u00e9matique, Claude pirate Chrome, Google vend des TPU, des lois sur les chatbots pour enfants et un proc\u00e8s contre ChatGPT concernant un m\u00e9dicament contre l'\u00e9pilepsie.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#primaryimage","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15678.jpg","width":1472,"height":832,"caption":"A flat illustration of a tall navy stack of paper sheets with a small navy cube above it and a large red tick beside it."},{"@type":"BreadcrumbList","@id":"https:\/\/dailyai.com\/2026\/10\/dailyai-briefing-ai-checks-maths-longest-proof-plus-4-more\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dailyai.com\/"},{"@type":"ListItem","position":2,"name":"DailyAI Briefing: AI checks maths\u2019 longest proof, plus 4 more"}]},{"@type":"WebSite","@id":"https:\/\/dailyai.com\/#website","url":"https:\/\/dailyai.com\/","name":"DailyAI","description":"L\u2019\u00e9conomie de l\u2019IA, mesur\u00e9e.","publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dailyai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","width":4501,"height":934,"caption":"DailyAI"},"image":{"@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/DailyAIOfficial","https:\/\/www.linkedin.com\/company\/dailyaiofficial\/","https:\/\/www.youtube.com\/@DailyAIOfficial"],"legalName":"Zero Hour Investments FZCO","foundingDate":"2023","slogan":"The AI economy, measured.","description":"DailyAI suit l\u2019\u00e9conomie de l\u2019IA en chiffres : trackers de donn\u00e9es, \u00e9tudes et actualit\u00e9s en langage clair sur l\u2019emploi, les d\u00e9penses, les prix et les financements.","address":{"@type":"PostalAddress","addressCountry":"AE"},"contactPoint":{"@type":"ContactPoint","contactType":"customer support","url":"https:\/\/dailyai.com\/contact\/"},"founder":{"@type":"Person","name":"David Merry","url":"https:\/\/dailyai.com\/author\/davidmerry\/","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"]}},{"@type":"Person","@id":"https:\/\/dailyai.com\/#\/schema\/person\/5238bb16667080993f51f7fba82ad6c6","name":"DailyAI","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-ai-mark-512.png","caption":"DailyAI"},"description":"Votre destination privil\u00e9gi\u00e9e pour tout ce qui concerne l'IA. Nous nous engageons \u00e0 fournir des informations, des mises \u00e0 jour, des analyses et des reportages faciles \u00e0 comprendre et accessibles sur l'industrie de l'IA en constante \u00e9volution. Restez inform\u00e9 en d\u00e9couvrant les derni\u00e8res avanc\u00e9es, perc\u00e9es et tendances qui fa\u00e7onnent le monde de l'IA.","sameAs":["https:\/\/dailyai.com"],"url":"https:\/\/dailyai.com\/fr\/author\/atech\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/comments?post=15678"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15678\/revisions"}],"predecessor-version":[{"id":15680,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15678\/revisions\/15680"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/media\/15679"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/media?parent=15678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/categories?post=15678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/tags?post=15678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}