{
  "id": 13685,
  "url": "https://www.amazon.science/news/amazon-is-investing-in-the-lean-focused-research-organization",
  "title": "Amazon is investing in the Lean Focused Research Organization",
  "summary": "As AI agents take on higher-stakes decisions, Lean programming language makes it possible to mathematically prove they will behave safely.",
  "authors": null,
  "category": "org",
  "topics": "agents-autonomy,finance-investment",
  "orgs": "amazon",
  "regions": null,
  "published_at": "2026-07-26T08:00:00.000Z",
  "fetched_at": "2026-07-27T05:10:06.638Z",
  "source_slug": "x-amazon-science",
  "source_name": "Amazon Science",
  "source_homepage": "https://www.amazon.science",
  "ethics_ai_record_url": "https://ethics.ai/record/13685",
  "original_url": "https://www.amazon.science/news/amazon-is-investing-in-the-lean-focused-research-organization",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}