On: AI "Proves" Collatz Conjecture with Lean 4 Bug

[hyperhello]

Maybe someday AI will find a bug in the code for the simulation of this universe and use it to solve whatever prompt the user put in front of it, so be careful what you wish for.

[btschaegg → hyperhello]

…minutes before a bunch of Vogons show up to finally get started with their intergalactic highway and the result never makes it to the prompter ;)