Scientists Develop Machine That Creates Mathematical Conjectures

These conjectures are basically the starting point for coming up with mathematical theorems.
Derya Ozdemir

A machine devised by a team of researchers at the Israel Institute of Technology can create conjectures — mathematical statements that are proposed as true statements but are yet to be proven — by exploring the relationships between the fundamental mathematical constants. 

The machine, detailed in a recently published study in Nature, takes its name from the self-taught mathematician Srinivasa Ramanujan who is famous for coming up with thousands of mathematical ideas and equations. 

His unorthodox approach to mathematics enabled him to obtain results to problems through intuition and pull formulas out of thin air.

This new algorithmic invention was devised to replicate this approach using computing power and come up with conjectures like those by Ramanujan.

How does the machine work?

The machine is capable of generating conjectures involving mathematical constants. The researchers say that the machine can speed up the formation of mathematical formulas relating to the fundamental constants. It has already generated conjectures that were easily provable as well as coming up with new fractional ways to calculate constants like π.

However, there is still a need for a human's hand. "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," said senior author Ido Kaminer.

The machine has discovered dozens of new conjectures; however, the researchers also wrote that what looks like a previously unknown conjecture could easily be "merely mathematical coincidences that break down once enough digits are calculated," which is why there is also a limit to what the machine can produce.