The AI Coding Crisis: Why We Need Formal Verification
Nothing is loaded from YouTube until you press play, and then without tracking cookies.
About this video
AI is taking over coding, but poisoned data sets and hidden flaws make systems vulnerable. The solution? Formal verification. 🛠️📜 #AIFuture #Coding #Security #AI #CyberSecurity #FormalVerification #MachineLearning #Automation #TechNews #DataIntegrity #FutureTech #Blockchain #Innovation #AIRevolution
Transcript
116 wordsCaptions as YouTube publishes them, usually machine-generated, so product and people names can be misheard.
- 0:00
This is why we must assume that most of our systems break full stop because more and more of the coding will be AI. More and more the decision support will be AI and already all the data sets are poisoned. It's like a few thousand lines and a trillion. You can't find it.
- 0:18
So this is this is I mean one of our uses on this is you need formification. You need formification actually for the whole stack and we kind of need to actually rewrite every single line of code with formal proof because only math is actually gives you the like the actual proof and the cool thing about that it's actually composable.