tertius

Scientific super-intelligence requires scientific computation at a previously unimagined scale. Tertius provides the deterministic substrate for those computations to run on: verified back-ends, typed results, proof certificates, and replicability.

Scientific software today is a patchwork of ad-hoc scripts, unversioned notebooks, and results no one can reproduce. We are building the infrastructure that makes AI-scale engineering, mathematical, and scientific computation reliable, auditable, and composable.