The new AI “mathematician” known as the Ramanujan Machine can potentially reveal hidden relationships between numbers.
The “machine” consists of algorithms that seek out conjectures, or mathematical conclusions that are likely true but have not been proved. Conjectures are the starting points of mathematical theorems, which are conclusions that have been proved by a series of equations.
For more, check out this Live Science/MSN story.