Le blog-notes mathématique du coyote

Une startup californienne affirme avoir résolu quatre problèmes mathématiques réputés insolubles grâce à son outil d’intelligence artificielle capable de produire des démonstrations vérifiées. Parmi ces avancées figure la résolution d’une conjecture bloquée depuis cinq ans.

Lire l'article d'Eitanite Bellaiche sur Numerama

Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration mathématique.

Lire l'article de Lisa Imperatrice sur Numerama

Le célèbre mathématicien Joel David Hamkins a exprimé de sérieux doutes quant à l'utilité des modèles d'intelligence artificielle (IA) dans la recherche mathématique, qualifiant leurs résultats de « déchets » et de « mathématiquement incorrects ». Il souligne la tendance frustrante de l'IA à affirmer avec assurance des informations incorrectes et à résister à toute correction, reflétant ainsi les interactions humaines contre-productives. Malgré les succès remarquables de cette technologie, Hamkins estime que les systèmes actuels ne sont pas fiables pour une véritable collaboration en matière de recherche.

Lire l'article d'Anthony sur Developpez.com

Une IA qui résout des problèmes de maths ? Nouveau papier de Terence Tao, l’une des grandes figures des maths, en collaboration avec Google DeepMind.
Ils ont testé un système appelé AlphaEvolve sur 67 problèmes de maths. Et dans plusieurs cas, l’IA a trouvé de meilleures solutions que celles qu’on connaissait déjà.
Les problèmes vont du sofa qui doit passer dans un couloir, au “kissing problem” en plusieurs dimensions, jusqu’à du circle packing et même un problème prévu pour l’IMO 2025. On voit l’IA essayer plein d’idées en parallèle, les vérifier, puis garder seulement ce qui fonctionne.
Quelques points intéressants :

• les modèles plus avancés convergent plus vite, mais pas toujours
• le parallélisme aide, mais explose les coûts
• le reward hacking revient souvent
• l’IA s’en sort beaucoup mieux quand elle a déjà vu des problèmes du même type ou quand un expert l’oriente (et ici, l’expert, c’est Tao…)

Le papier propose même une nouvelle catégorie de problèmes “AlphaEvolve-hard”, là où l’IA se casse un peu les dents et où il faut une vraie intuition humaine.

Source : Olivier Loverde sur LinkedIn

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) ?