Israël a un nouveau mathématicien intelligent, jetant des hypothèses hallucinantes que les calculateurs du monde entier doivent prouver ou réfuter. Les pouvoirs affichés sont, littéralement, surhumains, car il s’agit d’un programme informatique à plusieurs tentacules.
La machine Ramanujan, une invention avancée de l’intelligence artificielle, fonctionne sur dix ordinateurs réguliers du Technion-Israel Institute of Technology, explorant les possibilités de nouvelles lignes de recherche mathématique. Et à l’avenir, les scientifiques espèrent qu’il utilisera également la puissance de traitement de votre téléphone.
Depuis près de deux ans, le professeur Ido Kaminer, qui a construit l’appareil, a rassemblé toutes les hypothèses qu’il a émises et a publié mercredi les 19 plus difficiles à prouver ou à réfuter dans l’influent journal à comité de lecture Nature, invitant tous les experts. dans le monde entier pour prendre leurs tableaux blancs et faire un essai.
Toutes les hypothèses générées par la machine sont des formules, c’est-à-dire des expressions ou des équations qui détaillent la relation entre certaines quantités, et la plupart sont de nouvelles expressions du nombre pi.
Des dizaines d’autres formules, dont certaines sont également détaillées dans Nature, ont déjà fait leurs preuves. Kaminer a déclaré au La Lettre Sépharade que sa machine pourrait aider à changer le visage de la recherche mathématique à l’avenir en donnant à l’intelligence artificielle un rôle important dans l’établissement de l’ordre du jour.
« C’est excitant parce que cela peut créer de nouvelles options pour la façon dont nous faisons les mathématiques », a déclaré Kaminer, professeur adjoint à la Faculté de génie électrique du Technion et membre de l’Institut interdisciplinaire de l’état solide de l’institution. « A l’avenir, des mathématiciens humains pourront demander à des ordinateurs des indications sur les domaines les plus passionnants à explorer et définir les meilleures questions à étudier. »
Il a expliqué : « C’est un programme informatique qui tente de faire le genre de recherche que les mathématiciens feraient normalement », ajoutant qu’il fonctionne sur les deux premières étapes des percées mathématiques.
« Chaque avancée mathématique comporte trois étapes », a-t-il déclaré. « Tout d’abord, il faut comprendre les connaissances existantes ; deuxièmement, nous utilisons cela pour voir quelles nouvelles choses pourraient être découvertes qui sont vraies, puis, dans la troisième étape, nous prouvons ou réfutons l’hypothèse.
La machine Technion n’est pas la première invention d’intelligence artificielle à être chargée de générer des hypothèses mathématiques, mais Kaminer a déclaré qu’elle est la plus avancée et qu’elle innove également en étudiant les constantes. « C’est la première machine à étudier les constantes fondamentales des mathématiques, c’est-à-dire des nombres comme pi, et en tant que telle à générer des formules qui expriment les constantes des mathématiques. »
Alors que la nouvelle machine d’IA ne fonctionne actuellement que sur les ordinateurs Technion, l’ambition de Kaminer est de l’exécuter sur une puissance de traitement participative du monde entier. Il veut créer une version d’application pour smartphone de sa machine, que les gens peuvent télécharger, offrant la puissance de traitement de réserve de leur appareil pour s’engager dans des recherches mathématiques avancées.
« Imaginez simplement que votre téléphone pourrait rechercher des formules mathématiques pendant que vous dormez et qu’il se charge la nuit », a déclaré Kaminer. « Ce serait une façon passionnante de faire avancer la recherche, et les gens pourraient avoir la possibilité de nommer les formules trouvées par leur téléphone après eux-mêmes – ou après leur téléphone, s’ils le souhaitent. »
La machine porte le nom de Srinivasa Ramanujan, un mathématicien indien du XXe siècle qui a écrit des cahiers remplis d’hypothèses qui, selon lui, provenaient d’une déesse apparue dans ses rêves.
Kaminer a déclaré qu’il était devenu déterminé à construire la machine après avoir entendu un professeur du MIT qui lui avait enseigné discuter de la recherche sur l’IA lors d’un séminaire.
« Il a demandé à toute la salle combien de temps il faudrait avant qu’un ordinateur puisse faire les recherches que nous faisons actuellement », se souvient Kaminer. « La réponse moyenne qu’il a obtenue était de 50 ans. C’est vrai, il y a de fortes chances qu’au cours de ma vie, une grande partie du type de recherche que je fais actuellement soit effectuée par un ordinateur.
« Cela m’a fait penser que je devais soit étudier quelque chose que les ordinateurs ne pourront pas reproduire, soit faire partie de cette révolution en développant la technologie pour cela. »