Comment by noiv
3 hours ago
> Specifically, Claude proved that these programs will always exit normally without triggering memory-safety errors or failing assertions, for every input less than 64 MB and ...
Did they solve Halting Problem?
3 hours ago
> Specifically, Claude proved that these programs will always exit normally without triggering memory-safety errors or failing assertions, for every input less than 64 MB and ...
Did they solve Halting Problem?
I don't get what you mean? Granted, I didn't even try reading your message, since the language that you're using, English, is not sound, complete, decidable (or even defined).
_these_ programs not _all_ programs
Right, 123 libs have been found to behave...