{
  "id": 17192108,
  "title": "How a wave of startups are betting on AI to make formal software verification practical and essential, including &Truth, which launches with a $70M seed (Paresh Dave/Wired)",
  "url": "https://urgent.news/2026/10/30/how-a-wave-of-startups-are-betting-on-ai-to-make-formal-software",
  "topic": "ai",
  "section": "AI",
  "published": "2026-10-30T06:30:03.000Z",
  "source": {
    "name": "Techmeme",
    "slug": "techmeme",
    "url": "https://www.wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis/"
  },
  "original_language": "en",
  "account": null,
  "summary": "A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}