{"id":"g4YrftthMgI","title":"The AI Coding Crisis: Why We Need Formal Verification","description":"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","channel_name":"NEAR Protocol","published_at":"2025-03-31T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/g4YrftthMgI/hqdefault.jpg","transcript_text":"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. 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.","transcript_synced_at":"2026-11-03T04:59:28.786Z","segments":[{"start_seconds":0,"text":"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","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=0s"},{"start_seconds":7,"text":"and more the decision support will be AI and already all the data sets are poisoned.","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=7s"},{"start_seconds":13,"text":"It's like a few thousand lines and a trillion. You can't find it.","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=13s"},{"start_seconds":18,"text":"So this is this is I mean one of our uses on this is you need formification.","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=18s"},{"start_seconds":24,"text":"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","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=24s"},{"start_seconds":32,"text":"is actually gives you the like the actual proof and the cool thing about that it's actually composable.","url":"https://www.youtube.com/watch?v=g4YrftthMgI&t=32s"}],"youtube_url":"https://youtube.com/watch?v=g4YrftthMgI","url":"https://near-pedia.xyz/videos/g4YrftthMgI"}