Une équipe de chercheurs de l'Institut israélien de technologie a construit ce qu'ils décrivent comme une machine de Ramanujan, un appareil qui génère automatiquement des conjectures (énoncés mathématiques proposés comme de vrais énoncés) pour des constantes fondamentales. Ils ont rédigé un article décrivant leur appareil et l'ont téléchargé sur le arXiv serveur de préimpression. Ils ont également créé une page Web pour les personnes qui souhaitent permettre au réseau d'utiliser les cycles de traitement de leur ordinateur, suggérer une preuve ou développer du code vers de nouvelles structures mathématiques.

La machine de Ramanujan doit son nom au célèbre mathématicien indien Srinivasa Ramanujan, un mathématicien autodidacte qui a grandi en Inde et a été "découvert" par son collègue mathématicien G.H. Robuste. Après avoir déménagé en Angleterre, il est devenu un incontournable à Cambridge, où il a secoué le monde des mathématiques avec ses mathématiques peu orthodoxes - au lieu de marteler les preuves mathématiques, il a obtenu des résultats à des problèmes célèbres par l'intuition et a ensuite laissé les autres en trouver les preuves. À cause de ce, il était parfois décrit comme une machine à conjectures, extraire des formules de nulle part comme si elles recevaient d'un être supérieur, parfois dans les rêves. Dans ce nouvel effort, les chercheurs en Israël ont cherché à reproduire cette approche en utilisant la puissance de calcul.

La machine de Ramanujan est plus un concept qu'une machine réelle - elle existe sous la forme d'un réseau d'ordinateurs exécutant des algorithmes dédiés à la recherche de conjectures sur des constantes fondamentales sous la forme de fractions continues - celles-ci sont définies comme des fractions de longueur infinie où le dénominateur est un certain quantité plus une fraction, où une dernière fraction a un dénominateur similaire, etc.) Le but de la machine est de proposer des conjectures (sous forme de formules mathématiques) que les humains peuvent analyser, et, espérons-le, s'avérer vrai mathématiquement. L'équipe qui a créé la machine espère que leur idée inspirera les futures générations de mathématiciens. ils notent que tout nouvel algorithme, les preuves ou conjectures développées par un participant porteront leur nom. Les chercheurs notent que leur machine a déjà découvert des dizaines de nouvelles conjectures.

© 2019 Réseau Science X