This was a bit different, in that Lean was involved. That's more concerning. (I'm told this actually wasn't found by looking for a proof for Collatz, just tha

This was a bit different, in that Lean was involved. That's more concerning. (I'm told this actually wasn't found by looking for a proof for Collatz, just that Collatz was used to exhibit the bug, once found.)