Find your next rabbit hole.

An AI mathematics company developing formal theorem provers and Lean infrastructure, with a stated expansion into provably correct code, cryptography, and quantitative finance.

An open-source model-training framework that grew from YAML-configured fine-tuning into reinforcement learning, multimodal training and distributed post-training.

Baseten builds infrastructure for serving, optimizing, and training AI models, and is expanding into agent execution through its acquisition of Blaxel.

A wearable personal AI company building memory and assistance from everyday conversations, later incorporated into Amazon.

A biomedical research organization combining experimental biology, biological data and AI to build tools for understanding and preventing disease.

A biomedical research nonprofit combining AI models, experimental biology and open datasets to help scientists understand cells and develop approaches to disease.

The developer of FLUX evolved from text-to-image models into reference-based editing and unified image, video, audio, and action modeling, combining downloadable weights with commercial APIs.

A public-benefit biomolecular AI company that grew from MIT research into open models, molecular-design pipelines and hosted scientific software.

An enterprise content platform extending file collaboration, permissions, and governance to AI agents.

An AI evaluation and observability company that expanded from testing prompts and models into production-log infrastructure and agent investigation tools.

A developer infrastructure company that evolved from shareable development environments into GPU access and one-click AI software deployment, acquired by NVIDIA in 2024.

A corporate-card and finance platform that developed AI agents for employee expenses, finance teams and internal operations, and was acquired by Capital One in April 2026.