Lanyon raises $10.6M for verified scientific AI

Lanyon AI emerged from stealth with a $10.6 million round led by Dimension to build neurosymbolic systems for scientific and technical computing. In its funding announcement, the company says its formal specification language generates implementations and proofs together, refusing to emit code when the specification cannot be proven; its initial targets include physics, aerospace, nuclear energy, and GPU-kernel optimization. The useful signal for builders is not another coding-agent score but a financing bet on correctness-by-construction, a direction adjacent to the archive’s analysis of AI-assisted mathematical discovery.