about
A research lab built for depth, not headcount.
KeiLab develops mathematical foundations under modern AI — from physics framework to hardware silicon — with a tight team, a unified math-first language, and a real hardware fleet.
The thesis
Modern AI runs on linear-algebra primitives whose interpretation is largely empirical. KeiLab develops an alternative — a math-first framework where the same operator structure that drives a transformer attention head also drives a quantum measurement, a biological gene-expression dynamic, and a control loop in a prosthetic limb.
The framework yields three layers of output: theory → patents → applied hardware. The lab's engineering — compiler, agent runtime, GPU training stack — is open-source by default for the parts that do not carry patent-sensitive methods.
How it builds
Each derivation is a markdown file. Each formula gets a falsifier. Each theorem closes against a registered observable. Failures are documented as honestly as successes — the catalogue of refuted hypotheses is part of the lab's record.
Engineering fleet
Cloud and local in parallel. NVIDIA Blackwell (B300), Hopper (H200, H100), and ARM-DGX in the workshop. The same kernels run across all of them — no vendor lock. Every cloud launch passes through a pre-flight memory + cost gate before the meter starts.