wo billion, no product: with Thinking Machines Lab, Mira Murati pursues deterministic AI—always consistent and reproducible. Between the probabilistic path of LLMs and the rigidity of Symbolic AI, the goal is a batch-invariant runtime to remove variability and hallucinations. Opportunities for finance, research and governance; risks for human freedom and ambiguity. Can reality be reduced to language?