Explained: What is Ramanujan Machine, and why is it named after the Indian mathematician?
Throughout his life, Ramanujan came up with novel equations and identities —including equations leading to the value of pi — and it was usually left to formally trained mathematicians to prove these.
