Vlad Tenev

Nathan Labenz × Vlad Tenev × Tudor Achim

Harmonic’s Aristotle pairs frontier-model expressiveness with Lean certificates checked by a small kernel, while its 2025 IMO gold-medal-level performance supports reinforcement learning built around verifiable rewards.That architecture could shift mathematical peer review and safety-critical software toward computational certification, but confidence still depends on correctly specified theorems and kernel foundations as systems gain broader APIs and autonomy.

Vlad Tenev × Jason Calacanis

Robinhood’s tokenization thesis prioritizes access to inaccessible, illiquid assets over 24/7 trading, using stablecoin-like reserves and one-to-one minting to offer exposure to assets including OpenAI and SpaceX across 31 countries.Public stocks provide the cleaner regulatory starting point, while private shares offer greater long-term significance but raise issuer-consent and disclosure issues; Robinhood is also expanding its integrated financial platform as Harmonic develops formally verified mathematical reasoning and software.

Harry Stebbings × Vlad Tenev

Robinhood’s $35B-to-$85B re-rating reflects a strategy finally gaining credibility, with active-trader focus and near-100% engineering AI adoption reshaping its operating model.Tenev’s expansion thesis is tokenization without issuer opt-in, solving retail access’s adverse-selection problem as 200+ EU stock tokens move toward 24/7 trading, self-custody, and DeFi, with US regulation unresolved.

Kevin Roose × Casey Newton × Vlad Tenev

Grok 3 is competitive and cheaper at $40 a month, but its X-data access has not yet created a clear product or research moat. xAI’s rapid, billion-dollar Colossus build shows capital and infrastructure can buy frontier capacity, while Robinhood’s tokenization and prediction-market expansion faces unresolved regulation and speculation risks.Robinhood, valued at $52.2 billion at recording, is pursuing tokenized private assets and prediction markets, with disclosure tiers and CFTC scrutiny testing whether access expands beyond speculation.