Le blog-notes mathématique du coyote

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.

CalcPlot3D permet de dessiner des surfaces très facilement. Les équations peuvent être données de différentes façons (implicites, paramétriques, etc.). On peut aussi dessiner plusieurs surfaces en même temps.

L’application Microsoft Mathematics fournit un ensemble d'outils mathématiques qui permettent aux étudiants de faire leurs devoirs rapidement et facilement.
Grâce à Microsoft mathématiques, les élèves peuvent apprendre à résoudre des équations étape par étape, tout en acquérant une meilleure compréhension des concepts fondamentaux de pré-algèbre, d'algèbre, de trigonométrie, de physique, de chimie, et de calcul.
L’application dispose d’une calculatrice graphique avec toutes les fonctions conçue pour fonctionner comme une calculatrice de poche.
Les outils mathématiques supplémentaires de l’application peuvent vous aider à évaluer les triangles, à convertir d'un système d'unités à un autre, et à résoudre des systèmes d'équations.
En bref, cette calculatrice de Microsoft peut être très utile aux étudiants ainsi qu’aux personnes qui désirent non seulement résoudre des équations mathématiques, mais également mieux maîtriser le processus.