{"id":"LRnxRpsE9WI","title":"When billions are at stake, “the code looks right” isn’t enough.","description":"Human review can miss things. AI review can too.\n\nFormal verification lets you mathematically prove what code will actually do.\n\nWhen that code controls significant amounts of money, that distinction matters.\n\n#NEARProtocol #FormalVerification #Security #AI #Blockchain\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-15T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/LRnxRpsE9WI/hqdefault.jpg","transcript_text":"for formal verification as a framework allows us to uh shift from this human validation and you know AI validation to actually have a formal validation of what the code does right and this is especially you know important when you're dealing with a lot of","transcript_synced_at":"2026-11-03T04:20:14.047Z","segments":[{"start_seconds":0,"text":"for formal verification as a framework allows us to uh shift from this human","url":"https://www.youtube.com/watch?v=LRnxRpsE9WI&t=0s"},{"start_seconds":7,"text":"validation and you know AI validation to actually have a formal validation of what the code does right and this is especially you know important when","url":"https://www.youtube.com/watch?v=LRnxRpsE9WI&t=7s"},{"start_seconds":15,"text":"you're dealing with a lot of","url":"https://www.youtube.com/watch?v=LRnxRpsE9WI&t=15s"}],"youtube_url":"https://youtube.com/watch?v=LRnxRpsE9WI","url":"https://near-pedia.xyz/videos/LRnxRpsE9WI"}