Industrious
venture arm · Industrious Ventures16 known investors
Find your way into Industrious
Sign up to see every warm intro you have to Industrious
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Industrious team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
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 · 16
How we know: riverwoodcapital.com · funding news · Not right? Tell us
How we know: riverwoodcapital.com · funding news · Not right? Tell us
How we know: press coverage · funding news · Not right? Tell us
Also in the syndicate · 11
Funding
SEC filings, press & company announcements$160M disclosed across 2 of 4 rounds · 2017–2019
- $80MSeries DAug 2019 · 2 sources
Brookfield Properties Retail, Brookfield Properties retail group, Canada Pension Plan Investment Board, Equinox, Fifth Wall Capital, Granite Properties, Riverwood Capital Partners, TF Cornerstone, Wells Fargo Strategic Capital
Source ↗ - $80MSeries CFeb 2018 · 2 sources
Fifth Wall Ventures (lead), Riverwood Capital (lead), Alrai, Outlook, Rabina Properties, Schechter Private Capital, Wells Fargo Strategic Capital
Source ↗
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 Beyond Earth Ventures, Fifth Wall, Riverwood Capital, Schechter Private Capital, Wells Fargo Strategic Capital.
- How much funding has Industrious raised?
- Industrious has disclosed $160M raised across 2 of its 4 known rounds.

