Lanyon AI Raises $10.6 Million for Scientific AI Lab

Lanyon AI has emerged from stealth with a $10.6 million initial funding round led by Dimension, the company announced in a press release. Industrious Ventures also participated in the round.

The Princeton, New Jersey based research lab is building an AI agent, also called Lanyon, for scientific and technical computing. The company says the system is designed to create simulations, prove mathematical theorems, and generate algorithms while tying outputs to formal specifications.

Lanyon AI says its approach combines large language models with symbolic methods. The system generates a specification first, then expands it into code and proofs at the same time. If the specification cannot be proven, the code is not generated and the system tries again.

The company is initially targeting physics, engineering, GPU kernel optimization, AI inference, aerospace engineering, space and atmospheric propulsion, and nuclear energy. Lanyon AI was founded by Jonathan Gorard, Ammar Hakim, and James Juno, who previously worked at Princeton University or the Princeton Plasma Physics Laboratory.