Le blog-notes mathématique du coyote

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

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