Axiom Math says it formally verified the Stacks Project
Agents turned about 7,654 pages into roughly 16 million lines of Lean checked by a proof assistant.
46
Organization
Menlo Ventures
- Mentions · 7d1
- Mentions · 30d3
- All mentions5
- First seenSep 24, 2026
- Last mentioned6d ago
Timeline
5 articles · newest firstAmazon may profit more than VCs from Anthropic’s planned IPO
Amazon’s convertible notes were valued at $97.9 billion as of June 30, capped at 12% of partially diluted shares.
64
Elorian’s first AI model wants to reason with images, not just about them
Elorian released Glimpse, a research-preview model that revisits images mid-reasoning through a visual scratch space.
58
Nous Research confirms it hit $1.5B valuation, launches AI agents for business users
Nous Research raised $90 million at a $1.5 billion valuation and launched Hermes for Businesses.
54
Lovable’s annualized revenue crosses $600M as vibe coding takes off
Lovable says annualized revenue passed $600 million, with two-thirds of the Fortune 500 using it.
42
Appears with
- Nvidiaorganization · 3
- Googleorganization · 2
- AWSproduct · 1
- Stacks Projectproduct · 1
- GPT-6 Astraai model · 1
- Lovablevendor · 1
- 1789 Capitalorganization · 1
- Amazonorganization · 1
- Spark Capitalorganization · 1
- Sequoiaorganization · 1
- Sound Venturesorganization · 1
- Lovableproduct · 1
- CapitalGorganization · 1
- Hermes for Businessesproduct · 1
- Altimeter Capitalorganization · 1
- Nous Researchorganization · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.