Robot Ventures

urgent @Designing_DeFi request: please take flattering photos of @tarunchitra, and post them, and tag @robotventures. i won’t be there to perform cheer mom duties in person and require community coverage

Introducing the Monastery for AI-native founders. A single builder can now outperform a publicly traded company. $2 million. 12 weeks. Do the impossible.

important update: @robotventures only hires beautiful humans and our merch is for portcos only. aura is earned, not democratized. no further questions

Payy has crossed 80,000 KYC’d users and businesses. Over 360K total wallet installs and $220M in estimated volume. Each and every user and transaction protected with ZK privacy.

GO BABY GO @caseycraig @NathanWorsley_

3Jane began as a credit-based money market extending lines of credit to cryptonatives. Today we're evolving into programmable credit facilities via warehouse loans & forward-flows to power the next generation of fintech originators across a $100B opportunity. Full post below.

won at @dragonfly_xyz padel

Businesses no longer need a bank account. We've raised $18M on this bet. Go altitude.xyz

Announcing: PRAXIS APP Meet the best people, help build the city. + Agents make introductions (double opt-in) + End-to-end encrypted messaging + Gated admission Now: TestFlight open to 500 people.

Trading is a game of milliseconds For years crypto has tried to bring institutional volume onchain... we still haven't produced a venue to rival Wall Street's speed BULK is coming to close the gap: forbes.com/sites/truebrid…

FirstMark backed Shopify before anyone bought anything online. Discord before anyone gamed with strangers. Airbnb before anyone turned their home into a hotel. Now they're betting privacy onchain is next. We raised $6M led by @FirstMarkCap to make private transactions the default. Joined by @dba_xyz & @robotventures. Investors who understand that privacy isn’t a feature, it's the foundation.

Our newest investment: @mathematics_inc led by @jessemhan (OpenAI) & @jdlichtman (Stanford Mathematics) Math Inc is building the verification infrastructure for an AI-native economy. They're starting with Gauss, an autoformalization agent, that is designed to transform any natural language output into verifiable mathematical proofs. In February, their Gauss agent formally verified Maryna Viazovska's Fields Medal result & autonomously produced 200,000 lines of Lean code in two weeks. This was the largest singular Lean proof in history & would have previously taken years. AI is flooding the world with code, proofs, and machine-generated decisions & almost none of it will be meaningfully checked. Agents deploy faster than humans can audit. Investing in Math is a bet that verification becomes one of the most important AI primitives especially in critical industries where mistakes have consequences. My friend @ani_pai wrote a great piece on why they're investing in @mathematics_inc too:

@0xmadisonn walked so the agents could “sprint”

They said the quiet part out loud 🤖

Enjoyed this. Everyone is focused on making agents more intelligent. But intelligence doesn’t move money: Acceptance does. The moment work becomes payable is the moment value becomes real. And whatever system controls that moment controls the economy imo. This won’t look like a marketplace, but will look like an underwriter. Credibility becomes the primitive.

Dope article! I think what this leads to is an 'economic harness' for agents that contains history/ reputation relevant dat and various forms of constraints to provide custom economic privileges such as delegation and undercollateralized credit.

Math, Inc. is proud to announce an all-star group of Veritas Fellows: Renowned professor Kevin Buzzard, alongside Fields Medalists Maryna Viazovska and Terence Tao. They will lead teams to build formal mathematics at unprecedented scale. 🧵

You are early.bulk.trade.

"It is a truth universally acknowledged, that an AI bot in possession of good credit must be in want of a wife" - Jane Austen

Credit Rules Everything Around Me