The Ramanujan Machine

The mathematician Srinivasa Ramanujan (1887–1920) proved many remarkable identities, such as the formula shown above for the square root of πe/2. Ramanujan worked in a very unconventional way, often coming up with his results in sudden flashes of insight, sometimes while he was asleep. Ramanujan died in 1920 at the age of 32, and mathematicians have spe…