| ▲ | captainbland 4 hours ago | |
This one is interesting as it's been hand verified. There was a recent proof that inadvertantly "proved" the collatz conjecture by triggering a bug in LEAN: https://infosec.exchange/@0xabad1dea/117002106099986943 | ||
| ▲ | charlieyu1 2 hours ago | parent [-] | |
Just prove by sorry | ||