论文信息 - This AI maths whiz creates tough new problems for humans to solve.

This AI maths whiz creates tough new problems for humans to solve.

Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true. Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true.

Davide Castelvecchi

[1] I. Kaminer,et al. Generating conjectures on fundamental constants with the Ramanujan Machine , 2021, Nature.

[2] Doron Haviv,et al. The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants , 2019, ArXiv.