Actumaths — Numérique http://www.actumaths.com/ L'actualité des mathématiques sur le net — rubrique Numérique fr-FR Mon, 17 Aug 2026 13:32:03 +0000 Siri AI va pouvoir faire des maths en local https://www.macg.co/intelligence-artificielle/2026/08/siri-ai-va-pouvoir-faire-des-maths-en-local-310371 actumaths-4816 Fri, 14 Aug 2026 00:00:00 +0000 Apple intègre à Siri un outil de calcul local (MathComputeTool) capable de résoudre des problèmes mathématiques sans connexion Internet. Cette addition vise à compenser les faiblesses notoires des assistants IA en arithmétique et calculs divers.
Lire l'article sur le site source]]> Quand les LLM peinent à inventer : limites, illusions et enjeux pour la recherche https://atlantico.fr/article/decryptage/letude-americaine-qui-montre-que-lia-nest-pas-encore-un-genie-en-maths actumaths-4829 Sat, 08 Aug 2026 00:00:00 +0000 Une étude de Tom Zahavy (Google DeepMind) présentée à ICML 2026 examine les limites des grands modèles de langage dans l'invention et la création. Elle propose une distinction entre induction, déduction et abduction pour caractériser ce que l'IA ne peut pas faire.
Lire l'article sur le site source]]> «Une ingéniosité extrême» : comment l'intelligence artificielle a résolu les fameux problèmes mathématiques d'Erdös https://www.lepelerin.com/france/technologie/les-problemesderdos-15725 actumaths-4817 Fri, 07 Aug 2026 00:00:00 +0000 ChatGPT-5.2 a résolu le problème des distances unitaires d'Erdös, une conjecture de géométrie combinatoire restée ouverte depuis 1946. Surprise : le résultat invalide l'intuition des mathématiciens et mobilise des domaines mathématiques inédits pour ce problème.
Lire l'article sur le site source]]> OpenAI Astra : dix problèmes de mathématiques ouverts depuis des décennies résolus par un modèle qui n'existe pas encore pour le public https://www.journalduweb.org/openai-astra-dix-problemes-de-mathematiques-ouverts-depuis-des-decennies-resolus-par-un-modele-qui-nexiste-pas-encore-pour-le-public/ actumaths-4813 Wed, 05 Aug 2026 00:00:00 +0000 OpenAI annonce qu'Astra, un modèle d'IA non encore public, a résolu dix conjectures mathématiques ouvertes depuis des décennies, couvrant huit domaines distincts. Les preuves formalisées en Lean 4 sont vérifiables, mais la communauté mathématique reste à statuer sur leur validité réelle.
Lire l'article sur le site source]]> L'IA d'OpenAI résout 10 problèmes mathématiques de haut niveau, mais la science fait face à un problème inédit https://www.numerama.com/tech/2305579-chatgpt-resout-10-grands-problemes-de-maths-mais-il-y-a-un-souci-considerable-qui-emerge.html actumaths-4806 Mon, 03 Aug 2026 00:00:00 +0000 OpenAI annonce qu'une déclinaison d'Astra a résolu dix problèmes mathématiques ouverts depuis des années, pour environ 2 000 dollars par problème. Cette avancée spectaculaire suscite une inquiétude majeure : la communauté mathématique peut-elle suivre le rythme d'une IA surhumaine ?
Lire l'article sur le site source]]>