Topos
Topos is a YC Fall 2026 (F26) company. Based in San Francisco, CA, USA. Team of 2.
About Topos
Summary
Topos builds swarms of AI agents that formalize problems and verify reasoning, starting in biology. The agents communicate, structure domain problems in precise formal terms, and cross-check each other's conclusions, replacing ad hoc human review of scientific reasoning with a rigorous, automated verification layer.
Go-to-market
Topos targets researchers and technical teams working in biology and adjacent fields, reaching early collaborators through direct outreach to practitioners in swarm AI and formal verification.
From the Y Combinator listing
Agent swarms for formal verification
Topos is a neolab founded by two Harvard math dropouts, building agent swarms to bring the rigor and verifiability of mathematics to other fields. Starting in biology, we’re optimizing how agents communicate, formalize problems, and verify each other’s reasoning.
Facts
- Industrials / Industrials
- San Francisco, CA, USA
- 2
- Active
- Early
Founders (2)
- Sohum Sukhatankar
Score every batch against your own thesis
GPAgent's sourcing agent reads every company in a batch, scores each one against your fund's thesis in a private workspace, and lines up the founders worth meeting before Demo Day. You decide who to contact. Your scores, notes, and pipeline never appear on these pages.
How Accelerator intelligence works