{"id":"e-x54mZbzhE","title":"Formal verification just got 250x cheaper.","description":"Formal verification becoming possible was step one.\n\nNow it needs to become cheap.\n\nOn the PutnamBench benchmark, NEAR’s solution came in at $111 — around 250x cheaper than the second-best submission.\n\nMaking verification practical at 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-16T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/e-x54mZbzhE/hqdefault.jpg","transcript_text":"The second question is how do you prove cheaply right so like there's a benchmark called putnam badge uh in which we recently announced uh we we solved it and we're on the first place right now uh and it is uh sorry it's 250 times cheaper than the second best solution submission and the second best submission was like $20,000 right which is quite pricey and ours was 111 right so that is the biggest thing we're working towards is like you know how do we prove like like proving became feasible uh but you know it doesn't need to be just feasible it needs be cheap, right? And so how do you do it cheaply? That's what we've been working on, right?","transcript_synced_at":"2026-11-03T04:20:07.339Z","segments":[{"start_seconds":0,"text":"The second question is how do you prove cheaply right so like there's a benchmark called putnam badge uh in which we recently announced uh we we","url":"https://www.youtube.com/watch?v=e-x54mZbzhE&t=0s"},{"start_seconds":8,"text":"solved it and we're on the first place right now uh and it is uh sorry it's 250 times cheaper than the second best solution submission and the second best","url":"https://www.youtube.com/watch?v=e-x54mZbzhE&t=8s"},{"start_seconds":16,"text":"submission was like $20,000 right which is quite pricey and ours was 111 right so that is the biggest thing we're working towards is like you know how do","url":"https://www.youtube.com/watch?v=e-x54mZbzhE&t=16s"},{"start_seconds":24,"text":"we prove like like proving became feasible uh but you know it doesn't need to be just feasible it needs be cheap, right? And so how do you do it cheaply?","url":"https://www.youtube.com/watch?v=e-x54mZbzhE&t=24s"},{"start_seconds":32,"text":"That's what we've been working on, right?","url":"https://www.youtube.com/watch?v=e-x54mZbzhE&t=32s"}],"youtube_url":"https://youtube.com/watch?v=e-x54mZbzhE","url":"https://near-pedia.xyz/videos/e-x54mZbzhE"}