Mission

AI Singularity.

Singularity AI is AI that autonomously writes software, including itself. As the system improves, it can accomplish better systems, recursively self improving.

ALab accomplishes AI Singularity via bootstrapped compilers and self-proving verifiers. We measure progress by winning solver competitions and replacing the most important software systems (rustc, llvm, z3, tlc, terminal) with superhuman replacements.