signal_tag · 3_broadcasts
#ai-coding
// 3 transmissions tagged with #ai-coding
TX_027· 13:00Funding & Markets
Cursor in talks at $50B. The fastest B2B SaaS scaling on record.
Cursor is raising $2B at a $50B valuation, almost double the November 2025 round. ARR has gone from $100M to $2B in 14 months — the fastest B2B SaaS scaling ever recorded.
TX_044· 14:00AI
Mistral's Leanstral writes machine-checkable proofs in Lean 4
Mistral released Leanstral on March 16 — the first open-source AI agent built specifically for Lean 4 formal proof engineering. Generates code plus a machine-checkable proof of correctness.
TX_029· 14:00Funding & Markets
Cognition raises $400M Series D for Devin at $9B
Cognition AI closed a $400M Series D at a $9B valuation. Devin, the autonomous AI software engineer, faces an increasingly crowded market — Cursor at $50B, Copilot Agent Mode at GA, and a growing field of pure-play agent startups.