Pi² Labs is building Fast: infrastructure for AI native work.

Joined February 2026
7 Photos and videos
Pinned Tweet
Pi² Labs (prev. Pi Squared) is the team behind Fast, a new payment system for the agentic economy. This is where we share the research, vision, and progress behind what we're building. Welcome. You're early.
59
28
190
29,054
Pi2 Labs retweeted
Jun 2
We built an AI shopping agent that lets you buy anything on Amazon through a conversation. It's live right now. Go try it → shop.fast.xyz
41
38
218
28,952
Most verifiable computing systems force your code through a translation layer first. Pi2 Labs built a different way. One universal proof checker. Every language. Mathematically guaranteed. Read the full paper ↓
21
17
88
2,680
Pi2 Labs retweeted
Mar 18
Fast. Coming soon. fast.xyz
72
58
570
39,610
3.14159265358979... Most people stop there. We kept going. Formal verification means proving something works not for 10 decimal places, but for every possible case. Forever. Happy Pi Day from the team that takes math personally.
28
15
89
2,459
We don't ship assumptions. We ship proofs.
12
8
54
1,401
What if you could teach AI to deliberately forget sensitive information like your age or location, while still doing its job? Researchers built exactly that. The results are striking. ↓
6
11
60
1,651
Most co-founders have a pitch deck. Ours has 300 publications, 19,000 citations, and a PhD from Stanford. Sriram Vishwanath is the co-founder of Pi² Labs. IEEE Fellow. Technical Fellow at MITRE Labs. Byers Chair for Computer Engineering at Georgia Tech. Serial entrepreneur with three successful exits advising startups valued at over $1 billion. His research focus? Enabling agents to transact autonomously and securely. From Stanford to the agentic economy. The résumé changed. The rigor didn't.
23
13
76
2,200
The Fast paper breaks down what payment infrastructure for AI agents actually requires. Parallel settlement. Sub-100ms finality. No consensus bottlenecks. No human in the loop. This is how agents move value at machine speed. Read the full breakdown ↓
18
14
78
5,026
AI agents are moving from demos to production. Programs like this accelerate that and get real resources into builders' hands. Strong lineup for Cohort 0.
Applications are now live! Cohort 0 starts March 13th in Presidio with OpenHands, OpenRouter, alphaXiv, Fireworks, Dedalus Labs, Franklin Templeton, Founders Fund and Pantera. → $25K in prizes → 3 weeks building state-of-the-art AI agents → Many more surprises Apply below 👇
14
11
62
1,943
Most crypto founders come from finance or tech. Ours comes from @NASA, where "move fast and break things" gets people killed. @RosuGrigore is the founder of Pi² Labs. Former NASA research scientist. Professor of computer science at the University of Illinois at Urbana-Champaign. Creator of the K Framework. Founder of @rv_inc, pioneering formal verification in distributed financial markets. When you're creating payment infrastructure for autonomous agents moving value at machine speed, "probably works" isn't good enough. You need provable correctness. From NASA to the agentic economy. The mission changed. The standards didn't.
23
14
97
2,802
The team behind Pi² Labs didn't just build on Ethereum. They formally verified the entire EVM. KEVM. 40,683 tests passed. Ambiguities in the Yellow Paper exposed along the way. You earn the right to build what comes next. ↓
35
13
81
2,443
Every breakthrough starts with research nobody sees. Pi² Labs is where the math gets done, the proofs get written, and the impossible becomes infrastructure. What's coming next? It already started here.
16
11
57
1,221
Want to go deeper than a tweet thread? We're now publishing research, protocol design, and product updates on Substack. Subscribe. ↓
10
8
62
852