Formal verification just got 250x cheaper.
Nothing is loaded from YouTube until you press play, and then without tracking cookies.
About this video
Formal verification becoming possible was step one.
Now it needs to become cheap.
On the PutnamBench benchmark, NEAR’s solution came in at $111 — around 250x cheaper than the second-best submission.
Making verification practical at scale.
#NEARProtocol #FormalVerification #AI #Security
NEAR is the Blockchain for AI Website: near.org NEAR AI: near.ai Intents: near.org/intents Chain Abstraction: proximity.dev Sharding: nearone.org
For the devs GitHub: github.com/near Dev Docs: docs.near.org Devhub: devhub.near.page @NEARDevHub
Connect with socials Twitter: / nearprotocol Blog: near.org/blog Medium: / nearprotocol #NEAR #nearprotocol #NEARAI
Transcript
124 wordsCaptions as YouTube publishes them, usually machine-generated, so product and people names can be misheard.
- 0:00
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
- 0:24
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?