Formal Verification

“Microsoft historically has been pretty good about it too. More on the research side, Amazon is, is stellar and actually deploying a lot of this.”

“The reason people don't do it is that it's not easy and it's not fun, right? It takes you like 10 or 20 times as long to like fight with the type checker, which is essentially like proving that you don't have a vulnerability as if, as it would if you just like…”

“It is not about, like, formal verification or verified AI to us. It's not just about handling or, like, kicking out the lousiness, the hallucinations, the mistakes. It's about scaling brilliance. It's about super intelligence.”

“No, that's not the TEM. The TEM is all code. The TEM is a right of first refusal on all AI-generated code. Like, right of first refusal, meaning, you know, you get to choose whether you want to verify it.”

“In my opinion, formal verification is one of the most powerful like keys to enable like self-improvement, but it's not beaky.”

“Right now, now formal, formal verification, at least for a subset of programs has become commercially viable for smart contracts because they're so high value and they're so small that they actually are, it's worth doing that on.”

“So it's already done for very critical domain, like avionics cryptography where it's very important, but it has to be done by humans.”

“I would say, in the short term, things like formal verification coming to smart contracts, so we don't have single line bugs that lock up hundreds of millions of dollars.”