{
  "blyg": "0.3",
  "id": "6q5jrzn500fxkrafqj8yt4cw4n",
  "kind": "fragment",
  "origin": "https://www.msweet.net/notes/",
  "page": "883-ash-newts",
  "author": {
    "name": "Matthew McDowell-Sweet",
    "url": "https://www.msweet.net/"
  },
  "created": "2026-11-01T07:34:17Z",
  "updated": "2026-11-01T07:34:17Z",
  "version": 1,
  "content_md": "Good example of a short-range prophecy that actually played out.\n\n> In summary: 1. formal verification is about to become vastly cheaper; 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works; 3. the precision of formal verification counteracts the imprecise and probabilistic nature of LLMs. These three things taken together mean formal verification is likely to go mainstream in the foreseeable future. I suspect that soon the limiting factor will not be the technology, but the culture change required for people to realise that formal methods have become viable in practice.\n\n[Prediction: AI will make formal verification go mainstream - Martin Kleppmanns blog ↗](https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html)",
  "content_html": "<p>Good example of a short-range prophecy that actually played out.</p>\n<blockquote><p>In summary: 1. formal verification is about to become vastly cheaper; 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works; 3. the precision of formal verification counteracts the imprecise and probabilistic nature of LLMs. These three things taken together mean formal verification is likely to go mainstream in the foreseeable future. I suspect that soon the limiting factor will not be the technology, but the culture change required for people to realise that formal methods have become viable in practice.</p></blockquote>\n<p class=\"source\"><a href=\"https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html\">Prediction: AI will make formal verification go mainstream - Martin Kleppmanns blog ↗</a></p>",
  "content_hash": "sha256:fdb4fc8af1cf931ec03c6702c2be1ac81f41fe3665338a52632a96e8bb0177ce",
  "media": [],
  "changelog": [
    {
      "version": 1,
      "at": "2026-11-01T07:34:17Z",
      "note": null
    }
  ]
}