Until they find bugs in the formal proof program ;)
https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical...
The UB goes all the way down!
alt Hacker News
The UB goes all the way down!