Lanyon AI CEO Gives Princeton Talk on Formal Verification

Lanyon AI posted that its CEO Jonathan Gorard spoke at Princeton in March 2025. The post describes the presentation as outlining the start of the company and the difficulties of formally verifying numerical methods. Lanyon AI states it builds a formal verification framework for physics and engineering as part of its work on a computable universe and the future of scientific computing.