Industrious
also invests Β· investor profile2 known investors
Lanyon AI builds AI agents that autonomously generate physics simulations and simultaneously produce formal mathematical proofs verifying the simulations' correctness, targeting engineering and scientific computing applications. The system generates production-ready C code alongside formal proofs, enabling engineers to verify that simulations correctly implement the laws of physics.
Founders & leadership
Investors Β· 2
.jpeg){kind=logo}
Frequently asked questions
- What does Industrious do?
- Lanyon AI builds AI agents that autonomously generate physics simulations and simultaneously produce formal mathematical proofs verifying the simulations' correctness, targeting engineering and scientific computing applications. The system generates production-ready C code alongside formal proofs, enabling engineers to verify that simulations correctly implement the laws of physics.
- Who founded Industrious?
- Industrious was founded by Jonathan Gorard.
- Who are Industrious's investors?
- Industrious's investors include Industrious Ventures, Beyond Earth Ventures.