Le blog-notes mathématique du coyote

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

Sam Altman, le charismatique patron d’OpenAI, aurait attiré l’ire du conseil d’administration au motif que le dirigeant lui aurait caché que l’algorithme derrière ChatGPT serait capable de faire des mathématiques. La rumeur n’a pas été confirmée, mais elle est l'occasion de rappeler qu'à ce jour, toutes les intelligences artificielles butent sur les maths.

Lire l'article de Sébastian Seibt sur France24

Si vous êtes un adepte de la rédaction de documents professionnels, avec des figures, des formules, des tableaux et des bibliographies, vous avez sûrement déjà entendu parler de LaTeX, ce système de composition de texte ultra-puissant mais aussi ultra-compliqué à prendre en main. Korben vous présente Typst, un outil qui a pour ambition de vous offrir la puissance de LaTeX avec une simplicité et une performance à la hauteur de vos attentes.

Lire l'article de Korben

L’arrivée de ChatGPT a causé bien des remous dans le milieu de l’enseignement. Des cas de fraudes académiques et de plagiat ont été rapportés, notamment dans certains départements de littérature et de communication. Ce type d’outil permet en effet de générer, en quelques mots, des essais et des dissertations.
Du côté des disciplines nécessitant l’utilisation des mathématiques, leurs performances étaient initialement perçues comme assez faibles. Toutefois, avec la récente mise à jour permettant l’accès à l’extension Code interpreter, renommée cette semaine Advanced data Analysis, ChaptGPT Plus (version payante offerte par OpenAI) est soudainement devenu très puissant dans le domaine du calcul, du raisonnement et de la résolution de problèmes.

Lire l'article de Patrick Charland, Hugo G. Lapierre et Pierre-Majorique Léger sur The Conversation

J'ai proposé deux problèmes à CHATGPT. Il a fait des erreurs dans les deux cas. Mais même avec ces erreurs, le résultat reste bluffant. Ce n'est que le début...

Texte produit par ChatGPT

Texte produit par ChatGPT

Manim est un moteur graphique pour animer des vidéos de maths.

Un cartogramme est une carte pour laquelle une variable thématique, comme la population ou le PIB, remplace la surface des territoires représentés. La géométrie de l'espace de la carte est déformée afin de se conformer aux informations relatives à la variable représentée. Il s'agit de l'une des anamorphoses (déformation d'image) employées en cartographie.

Avec go-cart.io, vous pourrez créer vos propres cartogrammes.

GNU TeXmacs est une plate-forme d'édition scientifique gratuite conçue pour créer de beaux documents techniques à l'aide d'une interface wysiwyg.
Il fournit un cadre unifié et convivial pour l'édition de documents structurés avec différents types de contenu : texte, mathématiques, graphiques, contenu interactif, diapositives, etc.

De Desmos, je connaissais surtout l'excellente calculatrice graphique. Mais il y a bien d'autres choses que vous pourrez découvrir ici.