2 ms·

Thank you for reading! I wrote "We have not remotely solved the halting problem in the formal sense", which does not read like a claim that LLMs have solved th

Thank you for reading! I wrote "We have not remotely solved the halting problem in the formal sense", which does not read like a claim that LLMs have solved the halting problem to me, but I'm open to rewording it. How would you put it? I added in a bit about compiler contract, wdyt?

measurablefunc 9mo ago
We haven't solve it in the formal sense b/c it is formally unsolvable so hedging adds no semantic content. It's not a formal article so you can phrase things however you want but an uncritical reading will leave the reader confused about what exactly you were trying to explain.