# Lanyon AI

Startup profile on Capital Atlas: https://capitalatlas.ai/startups/lanyon-ai

- Headquarters: Princeton, US
- Website: www.lanyon.ai
- Total disclosed funding: $11M
- Latest round: Seed (Aug 17, 2026)
- Investors on record: 2

## About

Founded in 2026 by CEO Jonathan Gorard, Ammar Hakim, and James Juno in New Jersey, US, Lanyon AI Inc. operates as a software company that develops artificial intelligence tools for scientific computing, code generation, and simulation applications. In August 2026, Lanyon AI, Inc. raised USD 10.6 million in venture funding led by Dimension Management with participation from Industrious Ventures.

Lanyon AI develops a scientific and technical AI platform focused on formal verification, automated theorem proving, code generation, and scientific computing. The company is building a formally verified computational framework that connects AI systems to scientific, engineering, and mission-critical applications where correctness is essential. Its core offering is an AI agent that can generate simulations of physical systems, prove mathematical theorems, create optimized algorithms, and automatically generate implementations together with machine-checkable proofs of correctness. The platform combines AI reasoning with symbolic theorem-proving and formal methods to ensure that generated code, data, and computational outputs are mathematically verified. Lanyon AI's solutions target scientific research, physics, engineering, high-performance computing, GPU optimization, technical computing, and other domains requiring provably correct computational results.

Lanyon AI is likely to generate revenue through enterprise licensing and subscriptions for its formal verification and scientific AI platform. Additional revenue opportunities may include access to its AI agent for scientific computing, automated theorem proving and verification services, code generation and optimization solutions, research and development partnerships, enterprise deployments for engineering and mission-critical systems, API access, custom AI model implementations, and consulting engagements related to formal methods and scientific computing. Given its focus on hard sciences, engineering, GPU kernel optimization, and verified AI infrastructure, the company may also derive revenue from licensing its verification technology to research organizations, government agencies, technology companies, and industrial enterprises requiring mathematically validated software and computational workflows.

The company plans to use the August 2026 funding to expand its artificial intelligence platform for scientific and technical computing applications.

## Funding rounds

- Seed, Aug 17, 2026, $11M — Industrious Ventures, Dimension Management

## Investors

- Industrious Ventures (https://capitalatlas.ai/funds/industrious-ventures) — Seed
- Dimension Management (https://capitalatlas.ai/funds/dimension-management) — Seed