Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
The most fluent systems ever built still cannot tell you when they are wrong. Scaling intelligence without scaling trust is a dangerous trajectory.
News
Dirac Achieves a Perfect 6/6 on IMO 2026 at Record Speed
We ran Dirac, our autonomous proving agent, on the publicly released formalizations of all six IMO 2026 problems. It produced a machine-checked proof of every one, in 7h 18m of total proving time at a cost of $176.58.
Read more
Report