5 ms·The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Consta3 points by godelmachine 7y ago