{"id":"J0sX6zQCEwY","title":"Why is AI so good at formal proofs?","description":"A mathematical proof has a perfect feedback loop.\n\nIt’s either correct or it isn’t.\n\nThat makes proving an ideal reinforcement learning environment, and models have become extremely capable at working with systems like Lean.\n\nFormal proofs are becoming practical at a completely different scale.\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-18T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/J0sX6zQCEwY/hqdefault.jpg","transcript_text":"Today proving became solved and and the reason it became solved is that because at the end of the proof it's either one or zero. It's an outstanding RL environment and so every single model, every single lab has lean as an RL environment. And so they became extremely good at proving lean, right? And so today proving is practically soft, right?","transcript_synced_at":"2026-11-03T04:19:54.006Z","segments":[{"start_seconds":0,"text":"Today proving became solved and and the reason it became solved is that because at the end of the proof it's either one or zero. It's an outstanding RL","url":"https://www.youtube.com/watch?v=J0sX6zQCEwY&t=0s"},{"start_seconds":9,"text":"environment and so every single model, every single lab has lean as an RL environment. And so they became extremely good at proving lean, right?","url":"https://www.youtube.com/watch?v=J0sX6zQCEwY&t=9s"},{"start_seconds":16,"text":"And so today proving is practically soft, right?","url":"https://www.youtube.com/watch?v=J0sX6zQCEwY&t=16s"}],"youtube_url":"https://youtube.com/watch?v=J0sX6zQCEwY","url":"https://near-pedia.xyz/videos/J0sX6zQCEwY"}