"Hey, I proved the Collatz Conjecture!", proompter says one day before severe bugs disclosed in theorem provers

PostFediverse

Syndicated from the fediverse. Read and engage on the original instance.

View original on awful.systems

sneerclub·SneerClubbysmiletolerantly

"Hey, I proved the Collatz Conjecture!", proompter says one day before severe bugs disclosed in theorem provers

https://infosec.exchange/@0xabad1dea/117002106099986943Open link View original on awful.systems

Comments1

1 reply

fullsquare

awful.systems

⚠️⚠️[IMPORTANT EDIT: it was later clarified that the person who originally posted the proof was already aware that it was buggy, and chose not to be clear about this up front, as a humorous way to file a bug. It's pretty clear from the discussion threads that plenty of qualified people did not immediately realize it was meant to be a bug report.]⚠️⚠️

"Hey, I proved the Collatz Conjecture!", proompter says one day before severe bugs disclosed in theorem provers | Spyke