@Pi2_Labs profile picture
Pi2 Labs @Pi2_Labs

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

Joined February 2026
  • Tweets 24
  • Following 14
  • Followers 692
7 Photos and videos
Pinned Tweet
Pi2 Labs
@Pi2_Labs
Feb 24
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.
0:10
59
28
190
29,054
Pi2 Labs retweeted
Fast
@fastxyz
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
0:07
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
pi2labs.org/papers/proof-of-…

Proof of Proof: A Verifiable Computing Framework

This paper gives an overview of Pi²'s Proof of Proof approach to verifiable computing.

pi2labs.org
1
2
23
2,405
Pi2 Labs retweeted
Fast
@fastxyz
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.
0:05
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
pi2labs.org/papers/texshape-…

TexShape: Information Theoretic Sentence Embedding for Language Models

Presents TexShape, an information-theoretic framework for training sentence embeddings that simultaneously optimizes compression, privacy, and fairness using mutual information estimation.

pi2labs.org
3
24
641
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
pi2labs.org/papers

Building formally verified systems for AI native work

Pi² Labs is building formally verified systems for AI native work.

pi2labs.org
3
27
633
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.
Sentient
@SentientAGI
Mar 4
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 👇
0:29
14
11
62
1,943
We don't just build it. We explain exactly how it works and why it has to work this way. Go deeper ↓
0:05
29
13
89
2,222
medium.com/@Pi2Labs

Pi2 Labs – Medium

Read writing from Pi2 Labs on Medium. Pi² Labs is building Fast, a payment system for agents that moves money globally, securely, at internet speed.

medium.com
2
27
640
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
pi2labs.org/papers/kevm-ethe…

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Provides the first complete formal semantics of the EVM, enabling verification of smart contracts and analysis of the Ethereum blockchain.

pi2labs.org
2
4
21
857
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. ↓
0:05
10
8
62
852
substack.com/@pi2labs
2
15
404
Load more