Le blog-notes mathématique du coyote

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.

Le géant Microsoft vient de sortir la version bêta d’une application mobile qui pourrait en intéresser plus d’un. Boostée à l’intelligence artificielle (IA), celle-ci est présentée comme étant capable de résoudre des problèmes de mathématiques.

Une application venant à bout des équations

L’application Microsoft Math Solver porte bien son nom. En effet, il s’agit ici d’une assistance dans la résolution de problèmes posés en mathématiques, et plus particulièrement en algèbre. Selon les développeurs, son utilisation est rapide, simple et efficace. Toutefois, nous parlons bien de mathématiques mais le coté ludique n’a pas été mis de coté pour autant.
L’utilisateur désirant trouver une solution à une équation doit tout d’abord prendre une photo de cette dernière. Ensuite, l’application donne le résultat tout en détaillant le calcul et en proposant à l’utilisateur de le réécrire à la main. Au cas où l’application pêche dans la résolution du problème, Microsoft a prévu le coup. En effet, l’utilisateur est alors redirigé vers le moteur de recherche Bing et autres vidéos YouTube afin d’augmenter ses chances de trouver une réponse.

Un taux de réussite presque parfait

Il est ici question d’une version bêta mais il semble que Microsoft Math Solver soit déjà très fonctionnel. Basée sur le deep learning, l’application est vouée à se perfectionner avec le temps. Comme l’indique le média spécialisé MSPoweruser dans un article publié le 6 décembre 2019, le programme affichait à ses débuts un taux de réussite situé entre 60 et 70 %. Au départ, l’IA a en effet été entraînée avec de nombreuses données mathématiques. Néanmoins, après s’être intéressée à de nombreux cas précis, ce même taux s’approche aujourd’hui des 100 %.
Selon les premiers observateurs, Microsoft Math Solver propose une expérience plus complète que d’autres programmes du genre tel que Photomath. Il faudra se montrer patient afin de savoir si cette application deviendra le meilleur ami des exercices de mathématiques. Toutefois, il se pourrait bien qu’un jour, ce genre d’application relègue les calculatrices scientifiques au placard ! Blague à part, ce genre de programme représente une nouvelle preuve que l’intelligence artificielle se fait une place de plus en plus imposante dans le monde des sciences.

Source : Yohann Demeure sur SciencePost

Plusieurs applications mobiles se présentent comme des calculatrices scientifiques complètes. Mais les lycéens, équipés des traditionnelles calculatrices Casio ou Texas Instruments, peuvent-il vraiment miser sur ces outils pendant leurs cours de maths ?

Lire l'article de Nelly Lesage sur Numerama

Depuis maintenant un an et demi, la calculatrice Numworks, dont j'ai déjà parlé dans ce blog, a rencontré un franc succès et c'est notamment à la suite de demandes de professeurs que NumWorks a développé son application pour que vous puissiez l'avoir en permanence sur vous ou que vous puissiez la tester avant de l'acheter.

Télécharger l’application :

• Disponible sur le Google Play Store
• Disponible sur Apple Store