We present the Ramanujan Machine, an automatic way to generate conjectures on mathematical constants. Throughout history, discovering mathematical formulas relating to fundamental constants has been scarce and sporadic, and was always a result of previously known truths about the constants. The Ramanujan machine approach is able to generate completely new formulas, which constitute new conjectures, and can reveal new truths about the constants. The Ramanujan Machine’s algorithms are based on matching numerical values, and therefore doesn’t need any prior knowledge on the constant.

Two examples of new formulas found using the Ramanujan Machine

​

Sounds exciting? Go to our website http://www.ramanujanmachine.com/. Similar to global efforts in mathematics such as GIMPS (Great Internet Mersenne Prime Search), we launch a new initiative dedicated for finding new formulas for fundamental constant. You can either donate computational power to find new formulas, provide proofs for conjectured formulas or come-up with completely new algorithms for the Ramanujan Machine.

​

Arxiv link: https://arxiv.org/pdf/1907.00205.pdf
SciHive link: https://www.scihive.org/paper/1907.00205