{"id":"PCshA5GHF4E","title":"What happens when AI writes code humans can’t review?","description":"AI can already create codebases too large and complex for a human to reasonably review.\n\nFormal verification changes the problem.\n\nDefine the properties that actually matter, then mathematically prove the system satisfies them.\n\nAI can build at machine scale without requiring humans to trust it blindly.\n\n#NEARProtocol #FormalVerification #AI #Security\n\n\nNEAR is the Blockchain for AI\nWebsite: https://near.org/\nNEAR AI: https://near.ai/\nIntents: https://near.org/intents\nChain Abstraction: https://www.proximity.dev/\nSharding: https://nearone.org/\n\nFor the devs\nGitHub: https://github.com/near \nDev Docs: https://docs.near.org/\nDevhub: https://devhub.near.page/ @NEARDevHub\n\nConnect with socials\nTwitter:   / nearprotocol  \nBlog: https://near.org/blog/\nMedium:   / nearprotocol  \n#NEAR #nearprotocol #NEARAI","channel_name":"NEAR Protocol","published_at":"2026-09-19T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/PCshA5GHF4E/hqdefault.jpg","transcript_text":"I think from verification here is extremely helpful because it can it it allows you to create a very large code base, a very large product, right? And then a relatively small spec that you as a human actually is able to read. Prove it, right? And then and then you can say, hey, hey, AI created for me this massive thing that I wanted, right? It is way beyond my capability at this point to review it, right? But I want I cared about this, this, and this property. And here I have formal proofs that the thing it built does satisfy the proof which is right. So I can use it. Right? So that will allow us uh to to trust AI in building much more complex systems that we can reasonably trust it today uh and still be certain uh that they are correct and uh effectively still be able to an extent inspect what is what is actually being created without without trusting it blindly.","transcript_synced_at":"2026-11-03T04:19:47.397Z","segments":[{"start_seconds":0,"text":"I think from verification here is extremely helpful because it can it it allows you to create a very large code base, a very large product, right? And","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=0s"},{"start_seconds":8,"text":"then a relatively small spec that you as a human actually is able to read. Prove it, right? And then and then you can say, hey, hey, AI created for me this","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=8s"},{"start_seconds":17,"text":"massive thing that I wanted, right? It is way beyond my capability at this point to review it, right? But I want I cared about this, this, and this","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=17s"},{"start_seconds":25,"text":"property. And here I have formal proofs that the thing it built does satisfy the proof which is right. So I can use it.","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=25s"},{"start_seconds":31,"text":"Right? So that will allow us uh to to trust AI in building much more complex systems that we can reasonably trust it today uh and still be certain uh that","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=31s"},{"start_seconds":40,"text":"they are correct and uh effectively still be able to an extent inspect what is what is actually being","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=40s"},{"start_seconds":48,"text":"created without without trusting it blindly.","url":"https://www.youtube.com/watch?v=PCshA5GHF4E&t=48s"}],"youtube_url":"https://youtube.com/watch?v=PCshA5GHF4E","url":"https://near-pedia.xyz/videos/PCshA5GHF4E"}