← Back to context Comment by andai 15 hours ago They're getting really good at proofs and theorems, right? 1 comment andai Reply IshKebab 13 hours ago Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.
IshKebab 13 hours ago Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.
Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.
That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.