Le blog-notes mathématique du coyote

Elles dessinent déjà des images, écrivent des textes et prédisent des marchés financiers. Désormais, elles s’attaquent à l’histoire même des sciences. L’humanité pensait certaines énigmes éternelles, verrouillées par des siècles d’échecs. Pourtant, une IA de Google DeepMind vient de briser ce mur invisible. Ce que les mathématiciens appelaient « l’impossible » est devenu un terrain d’expérimentation. Le résultat dépasse les laboratoires : il pourrait transformer l’aéronautique, le climat et même la manière de faire de la recherche.

Lire l'article de Mikaia A. sur Cointribune

Pour ceux qui ne connaissent pas, MathJax c’est LE moteur JavaScript open-source qui permet d’afficher des équations mathématiques sur n’importe quel navigateur. Sans plugin, sans galère, juste du JS pur.

L'ire l'article de Korben sur son blog

GPT-5 échoue sur un test arithmétique simple que j'ai vu passer et que j'ai reproduit facilement. Il échoue même à expliquer pourquoi il a échoué. On n'est pourtant vraiment pas sur la résolution d'un problème complexe.

[image or embed]

— Defakator (Officiel) 🧆 (@defakator.bsky.social) 8 août 2025 à 18:05

Quand des mathématiciens de renom défient une intelligence artificielle, qui remportera la partie ? À Berkeley, des mathématiciens d’élite et un modèle récent d'OpenAI se sont affrontés et les résultats ont surpris tout le monde.

Lire l'article d'Angèle Ingrand sur Futura

This research-backed report explores how artificial intelligence is reshaping mathematics education around the world — from adaptive learning systems to intelligent tutoring, and from virtual environments to teacher empowerment.
This study also forms the theoretical foundation for our 2025 Teknofest semifinalist project: MatchCoach, an AI-personalized competition trainer for students preparing for IMO, AIME, TÃœBÄ°TAK and beyond.

Télécharger le rapport de Kamil Bala au format PDF

Connaissez-vous les « corrélations fallacieuses » ? Si les humains apprennent à ne pas se laisser berner par ces liens logiques apparents, les IA ont plus de mal.

Lire l'article de Pierre-Emmanuel Arduin et Myriam Merad sur The Conversation

Avec mes élèves, j'ai testé cette semaine différentes IA pour résoudre des problèmes de maths. Voici les résultats :

D'une manière générale, je suis bluffé par les réponses, et aussi par la manière dont les IA arrivent à décortiquer une image. Il y a eu de réels progrès depuis décembre 2022, lorsque j'avais fait mes premiers tests avec ChatGPT. Je trouve que les développements sont en général bien faits, et ils peuvent vraiment aider les élèves à comprendre la démarche pour résoudre un problème. Attention cependant, certaines IA ont tendance à nous prendre pour un jambon (par exemple quand elles nous disent de façon péremptoire que : 2 x 4 x 6 = 216, 1 x 6 24 = 216, ...). Il faut donc garder un esprit critique.
J'ai un faible pour MathsGPT, mais on ne peut poser gratuitement que 3 questions par jour, ce qui n'est peut-être pas si mal finalement : cela oblige à poser des questions pertinentes.

Depuis quelques mois, les IA spécialisées en maths fleurissent. Voici la petite dernière: MathsGPT, un assistant qui explique les mathématiques étape par étape, avec un affichage LaTeX des formules. Elle est française. Déjà testée ?

Mise à jour du 18 février
J'ai testé cette IA en classe hier avec mes élèves et je suis complètement bluffé. Elle a répondu correctement à presque toutes les questions, là où d'autres IA se trompent ou n'y arrivent carrément pas. La question 2 lui a posé problème, mais elle y est arrivée avec un coup de pouce (les autres IA sont complètement perdues). Quant à la question 9, aucune IA testée n'a trouvé la bonne réponse, mais MathsGPT a été la seule à reconnaître qu'elle n'y arriverait pas. De plus, les développements sont super bien faits. On dirait qu'ils ont été faits par un prof.
Pour les élèves en difficulté (et les autres aussi) c'est un outil fantastique, un prof privé à domicile, s'il est bien utilisé.
Evidemment, pour les profs, cela remet complètement en question la façon d'enseigner et l'intérêt des devoirs à domicile. Il va falloir s'adapter, et vite!

Avec sa collègue de français Annelyse, Julien Durand a décidé de se concentrer sur le développement de l’esprit critique, la communication et l’intelligence artificielle (IA). Il nous partage une séquence en cours avec ses élèves de 3e.

1. Contexte et objectifs de la séance
2. Retour d'expérience

Je viens de découvrir MathGTP. Je vais le tester en classe avec mes élèves bientôt. Et vous, vous le connaissez déjà ?

Je n'ai pas encore testé à fond, mais ce que j'ai essayé m'a plu. Vous connaissez MathGPTPro (ou Mathos AI) ?

Deux intelligences artificielles (IA) de Google DeepMind, le laboratoire de recherche du groupe californien, ont réussi à résoudre des problèmes des Olympiades internationales de mathématiques 2024.
Les modèles AlphaProof et AlphaGeometry 2 ont résolu quatre des six problèmes présentés cette année à ce concours international destiné aux élèves du secondaire, atteignant le niveau d'un médaillé d'argent, une "première" selon Google. Dans le détail, AlphaProof a résolu deux problèmes d'algèbre et un problème d'arithmétique, tandis qu'AlphaGeometry 2 a résolu un problème de géométrie.
La 65e édition des Olympiades internationales de mathématiques (OIM) s'est tenue au Royaume-Uni du 11 au 22 juillet. Cette compétition, qui existe depuis 1959 et à laquelle la France participe depuis la fin des années 60, réunit des lycéens (et parfois quelques collégiens d'exception) sélectionnés dans une centaine de pays.
La première version d'AlphaGeometry était déjà parvenue à résoudre 25 problèmes de géométrie des Olympiades sur un total de 30 exercices proposés, avait rapporté en janvier la revue scientifique Nature.
"Ces résultats ouvrent de nouvelles perspectives dans le domaine du raisonnement mathématique et laissent entrevoir un avenir où mathématiciens et IA collaboreront pour résoudre des problèmes complexes", a avancé Google dans un communiqué.

Source : afp

On sous-estime vraiment la puissance des jeux de rôle. C'est ainsi que, d'après New Scientist, demander à une intelligence artificielle (IA) de s'imaginer dans la série télévisée Star Trek permet de la rendre plus performante en mathématiques. Ce n'est pas la première fois que des observateurs remarquent que certains agents conversationnels (dont le plus célèbre, ChatGPT) sont meilleurs lorsqu'ils se racontent une histoire.

Lire l'article de Thomas Messias sur Korii

Quoi de mieux adapté qu’un ordinateur pour résoudre des problèmes de maths ? Et tout le monde a un ordinateur dans sa poche, puisque les smartphones sont bien assez puissants pour calculer les résultats des opérations les plus complexes. Reste à résoudre le casse-tête de la saisie des problèmes : Google a désormais une application dédiée.

Lire l'article de Mickaël Bazoge sur 01net

Un système d’intelligence artificielle mis au point par Google a réussi à résoudre des exercices mathématiques grâce à une méthode inédite. Cette nouveauté est un grand pas en avant dans le travail vers les intelligences artificielles générales.

Lire l'article d'Aurore Gayte sur Numerama