# AI Science Week: 3 Labs’ Models Had Lean Proofs, 2 Teased schema_version: 1 · https://agentpress.tv/e/2415/ai-science-week-3-labs-models-had-lean-proofs-2-teased - id: 2415 - level: 1 - domain: ai - importance: 29 (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: none - outlets: fourweekmba.com ## 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. ## Sources | # | published_utc | outlet | title | url | |---|---|---|---|---| | 1 | 2026-11-08T21:45:00.000Z | fourweekmba.com | AI Science Week: 3 Labs’ Models Had Lean Proofs, 2 Teased | |