[math-fun] The Ramanujan Machine

A story in phys.org yesterday: "A team of researchers at the Israel Institute of Technology has built what they describe as a Ramanujan machine - a device that automatically generates conjectures (mathematical statements that are proposed as true statements) for fundamental constants." An arXiv preprint is here: https://arxiv.org/abs/1907.00205 There's also a website that provides overview and welcomes participation: http://www.ramanujanmachine.com In spite of the authors being listed in the (above noted) preprint, the website (and a link to its version of the paper) currently still pretends to be "anonymous due to the double-blinded process of the peer-reviewed journal to which we submitted the paper".