Self-named? It's clearly named after the mathematician, though curiously they don't mention him on the homepage: https://www.ramanujanmachine.com/ https://www.

Self-named? It's clearly named after the mathematician, though curiously they don't mention him on the homepage: https://www.ramanujanmachine.com/ https://www.ramanujanmachine.com/ https://www.wikipedia.org/wiki/Srinivasa_Ramanujan https://www.wikipedia.org/wiki/Srinivasa_Ramanujan