AI maths whiz creates tough new problems for humans to solve

Source: Nature

Researchers have built an artificial intelligence (AI) that can generate new mathematical formulae — including some as-yet unsolved problems that continue to challenge mathematicians.

The Ramanujan Machine is designed to generate new ways of calculating the digits of important mathematical constants, such as π or e, many of which are irrational, meaning they have an infinite number of non-repeating decimals.

The AI starts with well-known formulae to calculate the digits — the first few thousand digits of π, for example. From those, the algorithm tries to predict a new formula that does the same calculation just as well. The process produces a good guess called a conjecture — it is then up to human mathematicians to prove that the formula can correctly calculate the whole number.