Lanyon AI Raises $10.6 Million for Scientific AI Lab

Aug 17, 2026
Lanyon AI emerged from stealth with $10.6 million in initial funding led by Dimension to build a scientific and technical AI system that generates code and proofs from formal specifications.

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.

We hope you enjoyed this article

Consider subscribing to one of our newsletters like AI Funding Brief or Daily AI Brief.

Also, consider following us on social media:

AI Funding News AI Brief AI Brief (X)
Free newsletter

AI Funding Brief

AI Token Webinar

Whitepaper

Tensordyne Napier: What If One Rack Could Do the Work of Nine?

Tensordyne

This Tensordyne whitepaper presents Napier, an inference-focused AI processor and rack-scale system based on the company’s TDN Math logarithmic number system. It examines infrastructure requirements for large mixture-of-experts and agentic models, compares major inference architecture approaches, and details the TDN AIP processor, TDN72 pod, TDN Link fabric, and Napier Ultra configuration. The paper reports simulation-based performance, cost, and accuracy-validation results, including Tensordyne’s projected comparison of one Napier rack with a nine-rack Nvidia Rubin plus Groq deployment; the chip is reported as taped out and in fabrication.

Read more

You may also like

Free, six days a week

Daily AI Brief: the AI news that matters, in your inbox.