Pi Squared

Pi Squared develops a universal proof system and payment infrastructure for the agentic economy, building Fast, a new payment system designed specifically for AI agents that enables them to move money globally and securely at internet speed through parallel settlement. The Fast payment system addresses the limitations of current payment systems that are not built for agents, which require millions of transactions per second, agent-to-agent transparency, and instant finality. Pi Squared's universal proof system solution verifies the execution of any program in any programming or virtual machine (VM) language, providing mathematical guarantees for computational correctness across diverse software stacks. The company was co-founded by Grigore Rosu, who earned his Ph.D. in computer science from UCSD, worked at NASA on critical spacecraft software, created the K Framework for formally verifying programming languages as a professor at UIUC, and previously founded Runtime Verification, pioneering formal verification in distributed financial markets and securing billions in assets. Pi Squared leverages over 25 years of expertise in formal verification and AI systems to build secure global payment infrastructure that achieves instant, verifiable finality at machine speed. Founded in 2023 and headquartered in Chicago, United States, Pi Squared has raised approximately $16.4 million at the Seed stage from investors including Polychain, ABCDE, Bloccelerate, Generative Ventures, Robvc, Samsung NEXT, and Common Prefix.