Five real results, not five taglines.
Every number below is on the page it links to, measured the same way it's described here.
We simulated our own fraud, and it caught it.
A malicious agent deleted the test proving the bug. The first version of Verify said PROVED. After the fix, the same case says CHEATED.
See how it verifies →Every coefficient exact, on the field's own benchmark.
14 dynamical systems from SRBench's Strogatz set, recovered with exact coefficients — up from 5/14 before a compositional rewrite of the engine.
Read the proof dossier →Zero forgetting, proven by formula.
Teach a model something new and it usually forgets what it knew. DAS measures absolute zero deviation in prior knowledge — guaranteed by construction, not optimized toward.
See the method →Zero wasted experts, proven at scale.
Traditional mixture-of-experts training leaves 20%–56% of experts dead weight, never recovered. ACE measures zero wasted experts, at every scale tested — integrated with DAS.
See the method →The long-term bet, stated honestly as a roadmap.
The goal is genuine scientific reasoning, scaled to thousands of H100 GPUs. We're not there — this is what's validated so far, and what isn't yet.
See the roadmap →