Post #4231609
2026-07-28 16:15 UTC
@mevenlennonbertrand@lipn.info it's a very nice story, but we should mention that the human who let the AI agent loose is Ramana Kumar (https://dblp.org/pid/30/8321.html) and I cannot possibly imagine Ramana really thought that this is a disproof of the collatz conjecture
Replies (3)
-
@mevenlennonbertrand@lipn.info 2026-07-28 16:22
@yforster@types.pl And I guess that would be @ramana@masto.xrchz.net ? But that's fair, I'd like to know more about the original context for the bug finding (and correct the story accordingly) :)
-
@antoinechambertloir@mathstodon.xyz 2026-07-28 16:54
@yforster@types.pl @mevenlennonbertrand@lipn.info how did he get the actual “proof”? Just because false implies everything or is there some more subtle move somewhere?
-
@kirancodes@transfem.social 2026-07-28 17:29
@yforster@types.pl @mevenlennonbertrand@lipn.info I'm 100% sure Ramana was trolling lol