Les mathématiques n’ont jamais été faciles, contrairement au conseil bien connu « Laisse tonber l’amour et fais des mathématiques ». Aujourd’hui cependant, de nouvelles générations d’outils d’Intelligence t Artificielle (AI) devraient faciliter la tâche sont apparu
Une révolution dans l’AI va-t-elle transformer les mathématiques ? Des mathématiciens éminents le pensent. De nouveaux outils d’AI devraient transformer la rédaction des preuves, avec le potentiel de changer la façon dont procède la recherche en mathématiques, allant jusqu’à consctruire des preuves eux-mêmes.
Selon un enseignant en mathématiques à laCarnegie Mellon University Jeremy Avigad, la chose est surprenante mais il faudra s’y faire , tant les résultats seront enrichissants.
Le nouveau domaine est dominé par DeepMind de Google https:/deepmind.google /qui avait fait la une en 2024 avec son AI system, AlphaProof, gagna une médaille d’argent à l’ International Mathematical Olympiad (IMO).
L’équipe derrière AlphaProof montra que celui-ci pouvait aider à formaliser une petire partie du Théorème des nombres Premiers
https://fr.wikipedia.org/wiki/TA9orie_des_nombres
Morph Labs, une start uu américaine, a présenté de son côté un outil d’AI nmmé Trinity conçu pour traduire les preuves automatiquement depuis le document écrit à la main par le mathématicien jusqu’à l’outil de preuve formazlisé et vérifié par le système.
Bhavik Mehta de l’ Imperial College London, montra un exemple selon lequel Trinity prouva un théoreme relatif à l’ABC conjecture qi avait fait tle sujet d’un intense débat concernant son exactittude
Europe Solidaire 