Jimmy Juno
Researcher · Founder
Now Co-founder and Chief Scientist, Lanyon AI
Latest on AI4S.fyiFunding · Aug 17 · founderLanyon AI · Round (unnamed) · $10.6MPhotos come from each person's X account, their own site, lab or team page, a conference page that lists them as a speaker in the same role, or Wikimedia Commons under the licence credited, so some may be out of date. Anyone can ask for theirs to be replaced or removed. Contact →
Affiliations
Founded
- Lanyon AIScience models and AI scientists · 1 round on record · disclosed $10.6M · Round (unnamed) $10.6M
Background: Princeton University and/or Princeton Plasma Physics Laboratory (as the company's own announcements put it)
Co-founders: Jonathan Gorard, Ammar Hakim
Backed byDimension
On the timeline
- 2026-08-17Lanyon AI, a Princeton lab building formally verified scientific AI, emerges from stealth with a $10.6M first round led by Dimension
- 2026-08-03Lanyon AI's own benchmark has five frontier models write PDE solvers with Lean proofs, and finds they often prove something other than the code they wrote
Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →