One of the most well-known constants is pi, the circumference of a circle, which has been studied since antiquity. The development of a conjecture machine seeks to find mathematical conclusions to problems that have yet to be solved, which when proven, can become a theorem.
The machine was named after the Indian mathematician Ramanujan, who came from a poor family but nevertheless had a major impact on the formulation of unproven mathematical formulas.
“Our results are impressive because the computer doesn’t care if proving the formula is easy or difficult, and doesn’t base the new results on any prior mathematical knowledge, but only on the numbers in mathematical constants," said Kaminer.
"To a large degree, our algorithms work in the same way as Ramanujan himself, who presented results without proof. It’s important to point out that the algorithm itself is incapable of proving the conjectures it found – at this point, the task is left to be resolved by human mathematicians,” he added.
The new machine has already started delivering new conjectures, leading to new formulas for prominent mathematical constants such as pi, Euler’s number (e), Apéry’s constant (which is related to the Riemann zeta function), and the Catalan constant. To publicize the machine’s capabilities, the researchers launched a website, RamanujanMachine.com, to allow the public to be more involved in advancing mathematical research.