4 ms·Teaching the computer how to discover and prove analogs of Collatz's conjecture1 points by TriinT 17y ago