Mastodon Feed
jonny@neuromatch.social ("jonny (nonvenomous)") wrote:
RE: https://lipn.info/@mevenlennonbertrand/116997917683191056
As a longtime collatz conjecture enjoyer, it is pleasing to hear that it proved powerful enough to resist proof by revealing a bug in the prover.