“There's a popular theory going around that AI will finally make formal verification go mainstream because when machines write the code humans will need mathematical proof that is correct.”
0:001:23:42
Ready to play
0:00
--:--
Enjoying this?
Create a free account to bookmark episodes and follow shows.
