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.”30:42Report a misattribution
0.85how strongly it was put, not whether it is true
0.65importance to the conversation
0.92confidence the claim was read correctly