Point AI at a "Proven" Microkernel?

4 points by RantyDave 1mo ago ↗ HN

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?

2 comments

[ 4.2 ms ] story [ 16.5 ms ] thread

atechboy 1mo ago ↗

I'd be curious to see what it produces. Thanks for bringing it up!

snvzz 1mo ago ↗

seL4 is open source and pretty small.

What's stopping you?