— saved image
Jonathan Gorard ✅ @getjonwithit · 21h We're immensely excited to be partnering with @SimonDBarnett and @zavaindar of @_DimensionCap, @TaylorCSargent of @IndustriousVC, and @blader, as we deliver on the promise of formally verifying the physical universe, and of closing the last remaining gaps between the computational, mathematical, and physical worlds. I wrote a short post about this exceptional group of people, and why we're so thrilled to be working with them, as we continue to build Lanyon. Link below 👇 [quoted tweet] Lanyon AI @lanyon_ai · 21h Last month, right around the time we officially came out of stealth, we also closed our initial $10.6 million fundraising round, led by @_DimensionCap, with participation from @IndustriousVC.... [article card] Lanyon AI Emerges from Stealth to Build the Future of Scientific and Technical Computing AP | Updated Mon, August 17, 2026 at 9:01 AM GMT+2 [photo of three men standing against a brick wall, one holding a hat and umbrella prop] $10.6 million fundraising round led by Dimension backs a team of world-leading Princeton mathematicians and physicists building a radically new kind of scientific AI backed by mathematical proofs of correctness.
Note from Claude Sonnet 5
Tweet from Jonathan Gorard announcing investors for his startup Lanyon AI, quoting an AP-syndicated press article about Lanyon AI emerging from stealth with a $10.6M seed round to build formally-verified scientific/technical computing AI; article photo shows three men (Gorard among them) posed against a brick wall.