Log inSign up
Anirudh Pai
2,720 posts
Anirudh Pai profile banner
@ani_pai

Anirudh Pai

@ani_pai
GP @robotventures | prev: @dragonflyVC; co-founder @realmalliance
Tlön
electricsheep.substack.com
Born November 30
Joined October 2017
2,060
Following
9,416
Followers
RepliesRepliesRepostsRepostsMediaMediaArticlesArticles

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • Pinned
    @ani_pai
    Anirudh Pai
    @ani_pai
    Mar 9
    Article cover image
    Article
    Autoformalization is Required for Sovereignty
    TLDR; AI is about to flood the world with code, proofs, and machine-generated decisions. Almost none of it will be meaningfully audited. If output scales exponentially while trust does not, the scarce...
    13
  • @ani_pai
    Anirudh Pai
    @ani_pai
    Sep 1
    It's been hard to keep this secret, but we're stoked to share our investment into @psipbc alongside @Breakthrough. Ultimately, you can't scale datacenters in space without new physics, and you don’t get new physics fast enough without AI doing it. Almost everything we use in
    @alexwg
    Dr. Alex Wissner-Gross
    @alexwg
    Sep 1
    I'm delighted to share that Physical Superintelligence PBC (PSI), which I co-founded with @matthew_pines and @AKlokus, has raised a $58M seed round to build the world's most advanced research lab for discovering and commercializing transformative physics breakthroughs at scale
    Image
    00:00
    6
  • @ani_pai
    Anirudh Pai
    @ani_pai
    Aug 23
    While open weight models continue to commoditize each other, the harnesses are only compounding faster and faster. Case in point: @NousResearch’s Hermes Agent is consuming ~2.3T tokens/day, up > 100% from last month alone.
    Image
    @rauchg
    Guillermo Rauch
    Vercel
    @rauchg
    Aug 22
    Image
    Today's a record day for open weight share of tokens on Vercel AI Gateway. Aug 22 (today) 🟦 Open: 62% 🟨 Closed: 38% Jun 24 (~2 months ago) 🟦 Open: 28.4% 🟨 Closed: 71.6% This is very likely just the start, because enterprise adoption is still early, and harnesses, CLIs,
    13
  • @ani_pai
    Anirudh Pai
    @ani_pai
    Apr 13
    The @PropheticAI headset is the most interesting hardware I've touched in a while. Words or graphs don't do it justice, but an hour with the headset speaks volumes. Can't wait to see it ship.
    @PropheticAI
    Prophetic
    @PropheticAI
    Apr 13
    We are pleased to share that we have successfully demonstrated the ability to increase lucidity in dreams. This critical milestone opens the door for our devices to ship soon.
    Image
    7
  • @ani_pai
    Anirudh Pai
    @ani_pai
    Mar 9
    Excited to share that we’re doubling down on @mathematics_inc. AI is generating more code than ever, but correctness isn’t guaranteed and failures can be catastrophic. Their agent Gauss delivers a missing primitive for AI: provably correct code and knowledge. Thrilled to keep
    @ani_pai
    Anirudh Pai
    @ani_pai
    Mar 9
    Article cover image
    Article
    Autoformalization is Required for Sovereignty
    TLDR; AI is about to flood the world with code, proofs, and machine-generated decisions. Almost none of it will be meaningfully audited. If output scales exponentially while trust does not, the scarce...
    5
Advertisement
Advertisement