opinion claim
The speaker argues that AI models’ ability to prove things could be applied to verifying software security properties.
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
“The fact that you could do things like formal verification of software,”
“like these models are obviously great at proving things. Why not prove security properties of software?”30:35Report a misattribution
0.85how strongly it was put, not whether it is true
0.80importance to the conversation
0.94confidence the claim was read correctly