1 Matching Annotations
  1. Last 7 days
  2. martin.kleppmann.com martin.kleppmann.com
    Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
    1
    1. sidkhuntia2 17 Dec 2025
      The proof checker is a small amount of code that is itself verified, making it virtually impossible to sneak an invalid proof past the checker.

      How is it possible that it is virtually impossible to sneak an invalid proof ?

    Visit annotations in context

    Annotators

    URL

    martin.kleppmann.com/2025/12/08/ai-formal-verification.html