Point AI at a "Proven" Microkernel?
Summary not yet generated for this article.
Original Text
Since it has become obvious that AI is great at finding security flaws, has anyone pointed it at some formally proven software? I'm thinking seL4. In theory it should find nothing, right?
Comments (1 of ) ⌛