Can you hear the shape of a Lean soundness bug? A wager.
by Max von Hippel and Thomas R. Murrills
Introduction The advent of powerful but untrustworthy artificial intelligence has enlivened a formal methods summer, in which formal methods—historically, the domain of meticulous academics—are suddenly attracting tens to hundreds of millions of dollars in venture capital; being touted by big-labs as proof that their “proofs” are correct; getting integrated into...
Sep 1020