Le blog-notes mathématique du coyote

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.

Aller sur le site officiel de Graspable Math

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

Arnaud Durand présente sur son blog un test de la calculatrice libre Numworks. Intéressant avant de se lancer.

SymPy Gamma est une alternative open source à Wolfram Alpha. Comme son nom l'indique (un peu), il est basé sur le langage Python.

Dans le marché très fermé des calculatrices graphiques, archi-dominé par Texas Instruments et Casio depuis plusieurs décennies, un petit nouveau vient de faire son arrivée, avec quelques idées originales qui méritent un peu d’attention: NumWorks.
Conçue par la start-up française du même nom, cette calculatrice graphique de milieu de gamme se distingue au premier regard de la concurrence par son écran de bien meilleur qualité, proche de ce que l’on peut trouver sur les modèles les plus haut de gamme (écran LCD couleur 320×240) et son design épuré. Mais ce ne sont pas là ses principaux atouts.

NumWorks est la première calculatrice ouverte: toutes les connaissances développées sont disponibles en ligne sous licence Creative Commons. Chaque utilisateur a ainsi la possibilité d’ajouter lui-même ses propres fonctionnalités et la communauté peut proposer des améliorations qui seront intégrées à nos futures mises à jour.
Les plans de fabrication de la calculatrice NumWorks sont publics. Muni de quelques composants électroniques, vous avez donc la possibilité de fabriquer votre propre calculatrice en impression 3D. En cas de problème technique, vous pouvez aussi réparer vous-même votre matériel.

Quickmath est un autre "Problem Solver", comme Cymath présenté hier. Par rapport à ce dernier, il a en plus le calcul matriciel: calcul d'un déterminant, de l'inverse d'une matrice et les autres opérations usuelles.

Cymath permet de résoudre des équations en ligne. Il ne donne pas seulement la solution, mais écrit toutes les étapes. Intéressant pour les élèves s'ils l'utilisent intelligemment : ils pourront se créer leurs propres problèmes, les résoudre, puis vérifier leur démarche et leur solution. Ce logiciel gère les dérivées, les intégrales, simplifie, factorise, développe, résout des équation et trace des courbes.
Existe aussi sous forme d'appli. Donc, il y a risque de tricherie lors des tests...