descriptive claim
Formal verification technology has been available, but applying it has required substantial work.
Greg Brockman · The Changing Physics of Cybersecurity and Drug Development with OpenAI President Greg Brockman · 15 Oct 2026
In their words
The transcript segments this claim was taken from
“That's something that the technology has kind of been there for people,”
“but it's just so”
“much work.”Play from 30:42Report a misattribution
85%how strongly it was put, not whether it is true
65%importance to the conversation
92%confidence the claim was read correctly