@getjonwithit 介绍页 · lanyon.ai ↗

Jonathan Gorard

创始人

现任 Lanyon AI 联合创始人兼 CEO

最新记录访谈 · 10月5日Lanyon AI 的 CEO：AI 在代码和数学上起飞是因为有验证器，物理没有，所以先造一门给 AI 用的科学推理语言

账号回链到 lanyon.ai · 头像来自其 X 账号，取于 2026-10-21

任职

现任

Lanyon AI · 联合创始人兼 CEO截至 2026-10-14lanyon.ai ↗

公司公告中还提到: 普林斯顿

现任职务来自下面这些带日期的记录，不取自简介。每条都链到读过的页面。

创立的公司

Lanyon AI科学模型与 AI 科学家 · 1 轮记录 · 披露 1,060 万美元 · 首轮（未命名） 1,060 万美元
出身: 普林斯顿大学（Wolfram 物理项目联合发起人） (按公司自己的公告)
共同创始人: Ammar Hakim、Jimmy Juno
投资方Dimension

访谈

2026-10-05Lanyon AI 的 CEO：AI 在代码和数学上起飞是因为有验证器，物理没有，所以先造一门给 AI 用的科学推理语言 · Theories of Everything (Curt Jaimungal)

时间线上提到

2026-08-17普林斯顿的 Lanyon AI 走出隐身，首轮融资 1060 万美元，由 Dimension 领投，做形式化验证的科学 AI

这一页有错误或遗漏？告诉我，会更正或撤下。联系 →