Eine Maschine, die von einem Forscherteam am Israel Institute of Technology entwickelt wurde, kann Vermutungen anstellen - mathematische Aussagen, die als wahre Aussagen vorgeschlagen werden, aber noch bewiesen werden müssen -, indem die Beziehungen zwischen den grundlegenden mathematischen Konstanten untersucht werden.
Die Maschine, detailliert in einer kürzlich veröffentlichten Studie in Natur hat seinen Namen vom autodidaktischen Mathematiker Srinivasa Ramanujan, der dafür bekannt ist, Tausende mathematischer Ideen und Gleichungen zu entwickeln.
Seine unorthodoxe Herangehensweise an Mathematik ermöglichte es ihm, durch Intuition Ergebnisse zu Problemen zu erzielen und Formeln aus der Luft zu ziehen.
Diese neue algorithmische Erfindung wurde entwickelt, um diesen Ansatz mit Rechenleistung zu replizieren und Vermutungen wie die von Ramanujan aufzustellen.
Wie funktioniert die Maschine?
Die Maschine kann Vermutungen mit mathematischen Konstanten erstellen. Die Forscher sagen dass die Maschine die Bildung mathematischer Formeln in Bezug auf die Grundkonstanten beschleunigen kann. Sie hat bereits Vermutungen generiert, die leicht zu beweisen waren, und neue gebrochene Methoden zur Berechnung von Konstanten wie π entwickelt.
Es besteht jedoch weiterhin Bedarf an der Hand eines Menschen. "Es ist wichtig darauf hinzuweisen, dass der Algorithmus selbst nicht in der Lage ist, die gefundenen Vermutungen zu beweisen - an diesem Punkt muss die Aufgabe von menschlichen Mathematikern gelöst werden." sagte der leitende Autor Ido Kaminer .
Die Maschine hat Dutzende neuer Vermutungen entdeckt. Die Forscher schrieben jedoch auch, dass das, was wie eine bisher unbekannte Vermutung aussieht, leicht "nur mathematische Zufälle sein können, die zusammenbrechen, sobald genügend Ziffern berechnet wurden", weshalb es auch eine Grenze gibtzu dem, was die Maschine produzieren kann.
Die Maschine könnte dank der Beweise für neue computergenerierte Vermutungen über fundamentale Konstanten erheblich zu unserem mathematischen Wissen beitragen.
Wenn dies eine Mission ist, die Sie hinter sich lassen möchten, können Sie die Rechenleistung Ihres Computers verleihen und engagieren Sie sich in der Community der Ramanujan-Maschine . Wer weiß, vielleicht bekommen Sie irgendwann eine nach Ihnen benannte Vermutung!