2 ms·Ramanujan machine–a device that automatically generates conjectures2 points by happy-go-lucky 7y ago