Grâce à une intelligence artificielle, les chercheurs du Technion, l’Institut de technologie d’Israël, ont développé un « générateur » de conjectures mathématiques. Et ils l’ont déjà utilisé pour générer un certain nombre de formules mathématiques jusqu’ici inconnues, rapportait ScienceDaily le 7 février.
La machine de Ramanujan a surpris le monde des mathématiques. L’algorithme ne s’occupe pas de prouver, mais d’établir de nouvelles théories, d’où son nom. En effet, le mathématicien indien était connu pour avoir développé des milliers de formules innovantes instinctivement, pratiquement sans aucune formation. Tout comme Ramanujan, la machine génère des conjectures sans les prouver, en « imitant » l’intuition grâce à la puissance de son IA. De plus, le projet traite de l’un des éléments les plus fondamentaux des mathématiques : les constantes.
« Les constantes mathématiques fondamentales telles que π (pi) sont omniprésentes dans divers domaines scientifiques, des mathématiques abstraites à la physique, de la biologie à la chimie », expliquent des chercheurs dans leur étude. « Néanmoins, pendant des siècles, les nouvelles formules mathématiques reliant les constantes fondamentales se sont faites rares et ont généralement été découvertes de façon sporadique. »
Jusqu’à présent, seuls les plus grands esprits ont été à l’origine de ces trouvailles. Ce n’est plus le cas désormais. Les chercheurs ont déjà découvert plusieurs conjectures jusqu’alors inconnues, pour des constantes telles que π ou le nombre d’Euler. Ils estiment d’ailleurs que cet algorithme sera en mesure d’accélérer considérablement la recherche concernant les constantes fondamentales. Le chercheurs espèrent ainsi identifier de nouvelles relations entre ces constantes, et nous aider à affiner les modèles mathématiques actuels.
Source : ScienceDaily