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?”Play from 30:35Report a misattribution
85%how strongly it was put, not whether it is true
80%importance to the conversation
94%confidence the claim was read correctly