AI that surpasses expert capabilities in science and technology.
Progressing humanity by scaling expert intelligence.
New Result
Advancing a
decades-old problem
in extremal graph theory.
Double Agent, our AI, authored a new result in extermal graph theory: explicit regular graphs ⁸⁄₅ logd-1 n, surpassing the ⁴⁄₃ bound that had held since 1988.
Our Investors
Supported by mission-aligned partners.
