Title:
AI maths whiz creates tough new problems for humans to solve
Author:
Davide Castelvecchi
Published:
Nature, 3 February 2021
From the article:
Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true.