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. The company was founded by Ryan Min June Shin; Sohum Sukhatankar.
It is part of YC Fall 2026. It is based in San Francisco, CA, USA.