Boosted by brib@bribstodon.xyz ("brib :neofox_floof: :Nonbinary:"):
lcamtuf@infosec.exchange ("lcamtuf :verified: :verified: :verified:") wrote:
Calling it: if AI ever proves the Collatz conjecture, it's just because it could peek at all the proofs already posted on Reddit
