The Ramanujan Machine project is an artificial intelligence project that specializes in automated conjecture generation in number theory. The project was described in detail in the paper "Generating conjectures on fundamental constants with the Ramanujan Machine" by Gal Raayoni, Shahar Gottlieb, Yahel Manor, George Pisha, Yoav Harris, Uri Mendlovic, Doron Haviv, Yaron Hadad, and Ido Kaminer. The paper, which appeared in Nature in 2021, gives several examples of automatically generated Ramanujan-style conjectures. https://www.ramanujanmachine.com/