infosec.exchange
abadidea (@0xabad1dea@infosec.exchange)
Okay, we have a new contender for Most AI Thing to Ever Happen
1) July 25th: someone messes around with an LLM and posts a proof of the Collatz conjecture that does, in fact, verify in the theorem pr...