Le blog-notes mathématique du coyote

OpenAI a annoncé ce lundi 21 septembre 2026 la création d’un groupe consultatif de mathématiciens de renom, chargé de l’aider à publier ses résultats sans froisser la profession. Une main tendue après des semaines de tensions autour de ses annonces en maths.

Lire l'article de Julien Lausson sur Numerama

On vient d’annoncer la résolution d’un problème majeur de mathématiques par des outils d’intelligence artificielle. Je ne rentrerai pas dans la discussion de ce problème, relatif à l’équation de Navier-Stokes, qui décrit le comportement des fluides (liquides, gaz…) ; je ne suis pas spécialiste de mécanique des fluides ou d’équations aux dérivées partielles. Je voudrais plutôt évoquer le mécanisme par lequel on est arrivé là, et les évolutions possibles tant de certains domaines scientifiques que de certaines industries.

Lire l'article de David Monniaux sur Le Club de Mediapart

Un mathématicien dit avoir approché la résolution d’un problème à un million de dollars avec l’aide de l’IA, celui concernant les fameuses équations de Navier-Stokes. Mais dans l’affaire, il pense que la société d’intelligence artificielle OpenAI a tenté de lui rafler la découverte… et d’écarter un mathématicien travaillant chez Anthropic, son grand rival.

Lire l'article de Julien Lausson sur Numerama

Terence Tao, l’un des plus grands mathématiciens vivants, propose de déclarer certaines catégories de problèmes de maths « hors limites » pour les IA.

Lire l'article de Julien Lausson sur Numerama

Les experts sont formels : la recherche mathématique de haut niveau pourrait bientôt échapper aux humains face aux avancées fulgurantes de l'intelligence artificielle.

Lire l'article de Isabelle Maure sur JVTech

OpenAI affirme qu’une version interne de son modèle Astra a terrassé dix problèmes ouverts majeurs. Mais derrière l’emballement, les mathématiciens font face à un gouffre vertigineux : l’intelligence artificielle génère désormais des démonstrations plus vite que la science n’est capable de les comprendre.

Lire l'article de Julien Lausson sur Numerama

Claude Fable 5 a réfuté la conjecture jacobienne, quelques jours seulement après que les capacités de l'IA Kimi de Chine soient devenues la principale force influençant les marchés du bitcoin.

Lire l'article de Shaurya Malwa sur CoinDesk

Deux champions de la tech chinoise, Huawei et Xiaohongshu, ont annoncé que leurs modèles d'IA avaient chacun obtenu 100% aux questions posées lors de l'Olympiade internationale de mathématiques (IMO) en juillet.
Ce sont les premiers laboratoires d'IA à avoir rendu publics leurs résultats. "Nous sommes ravis de ce résultat, car obtenir un score parfait à l'IMO est extrêmement difficile", s'est félicité Xiaohongshu.
"Jusqu'à présent, aucun grand modèle de langage", la technologie alimentant des outils d'IA, comme les agents conversationnels, "n'avait jamais obtenu un score parfait dans le cadre du processus officiel d'évaluation de l'olympiade", a insisté l'entreprise.
En 2025, des modèles développés par les américains Google et OpenAI avaient certes atteint des scores du niveau médaille d'or, mais sans égaler les performances de cinq concurrents humains ayant obtenu 100% lors de l'édition.
Cette année, 666 concurrents humains de différents pays ont participé aux épreuves de l'IMO organisées en Chine, à Shanghai. Sept d'entre eux ont obtenu un score parfait, selon le tableau officiel des résultats.
Les firmes tech n'ont reçu les sujets qu'après que les candidats en chair et en os aient passé l'épreuve, et leurs réponses devaient être soumises dans un délai imparti. "Durant les tests, toute forme d'intervention humaine était strictement interdite", et les solutions produites ont été transmises aux organisateurs pour correction, a précisé Xiaohongshu, qui tentait l'expérience pour la première fois.
Les progrès de l'IA ont été rapides : à l'olympiade 2024, Google avait obtenu un score de niveau médaille d'argent, résolvant quatre des six problèmes en deux à trois jours.

Source : AFP

Une intelligence artificielle a résolu un problème mathématique vieux de 80 ans d'une manière qui a stupéfait le monde de la recherche. Sentant leur activité menacée, des scientifiques ont lancé mardi un manifeste pour mieux encadrer l'utilisation de ces technologies. La déclaration a recueilli depuis plus de 1200 signatures.

Regarder le reportage de la RTS