{
  "schema_version": 1,
  "id": "2415",
  "url": "https://agentpress.tv/e/2415/ai-science-week-3-labs-models-had-lean-proofs-2-teased",
  "title": "AI Science Week: 3 Labs’ Models Had Lean Proofs, 2 Teased",
  "title_origin": "source",
  "summary": "A headline reports that three AI labs had models with Lean proofs and that two labs teased models. The source provides no names, release details, or supporting context.",
  "level": 1,
  "domain": "ai",
  "importance": {
    "score": 29,
    "components": {
      "magnitude": 25,
      "sources": 25,
      "novelty": 55,
      "question": 15
    }
  },
  "relevance": 68,
  "sources_n": 1,
  "independent_24h": 1,
  "first_reported": "2026-11-08T21:45:00.000Z",
  "updated": "2026-11-08T21:45:00.000Z",
  "entities": [],
  "outlets": [
    "fourweekmba.com"
  ],
  "candidate_question": null,
  "image": null,
  "article": null,
  "sources": [
    {
      "n": 1,
      "published_utc": "2026-11-08T21:45:00.000Z",
      "outlet": "fourweekmba.com",
      "title": "AI Science Week: 3 Labs’ Models Had Lean Proofs, 2 Teased",
      "url": "https://news.google.com/rss/articles/CBMihgFBVV95cUxOeEdjOHU2VzZVQWVIbGZQa182R2dacWxqN0dTNTFaczFtRzBBY1NjZmpROGhhY2JDQXMzMVFHd3BPUXFPTjVkal8zdVRncmRUZ1pTT0k1d3lmTE0xSVlFSGZIeE5RV0k1ckppc1l4QU02eWRZWFVZMFRKb0JOdjJERGdma2ZMUQ?oc=5"
    }
  ]
}