AI that surpasses expert capabilities in science and technology.
Progressing humanity by scaling expert intelligence.
New Result
Girth ⁸⁄₅ logd−1 n.
The first improvement
in 38 years.
Double Agent, our agentic system, autonomously constructed d-regular graphs with girth ⁸⁄₅ logd-1 n, beating the ⁴⁄₃ bound that had stood since 1988.
Our Investors
Supported by mission-aligned partners.
