/Companies

Industrious

also invests · investor profile

14 known investors

Find your way into Industrious

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

JG
Jonathan GorardCEO
AH
Ammar HakimCTO
JJ
James JunoCSO

Investors · 14

Also in the syndicate · 8

Brookfield Properties RetailBrookfield Properties retail groupCanada Pension Plan Investment BoardEquinoxFifth Wall CapitalGranite PropertiesRiverwood Capital PartnersTF Cornerstone

Funding

SEC filings, press & company announcements

$80M disclosed across 1 of 2 rounds · 2019

Source: company announcements and press reports — follow each round's link for the claim.

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, Fifth Wall, Riverwood Capital, Schechter Private Capital, Wells Fargo Strategic Capital.
How much funding has Industrious raised?
Industrious has disclosed $80M raised across 1 of its 2 known rounds.