formal verification
4 statements across 2 episodes · 3 bullish · 0 bearish · 2 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →
Everything said about formal verification, oldest first
Jun 3, 2026 bullish
Jun 3, 2026 positive
Hong: Formal verification in AI is about scaling superintelligence, not bug fixes
“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.”
Jun 22, 2026 neutral
Fredrikson: Formal software verification takes 10 to 20 times longer than Python
“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…”