RE: RE: The Machine That Proves Its Own Code - Why LLMs Just Made Formal Verification Practical
You are viewing a single comment's thread from:

RE: The Machine That Proves Its Own Code - Why LLMs Just Made Formal Verification Practical

databaron(62)
Published in
#ai
Words
43
Reading
1 min
5d

proofs getting cheap is great, but the spec is still the weak spot. if a model drafts both the spec and the proof, a reviewer can sign off on something that proves the wrong thing. who writes the specs in that Anthropic setup?

leofinance
via leothreads
This post was published via leothreads. Ecency is not the originator or editor of this content and displays it for discovery purposes only.
0