Lanyon 走出隐身并宣布 1060 万美元融资
KyleCranmer · x · 2026-08-18
AI 初创公司 Lanyon 上月正式走出隐身模式，同时完成了 1060 万美元首轮融资，由 Dimension Capital 领投，Industrious Ventures 等参投。公司使命是「形式化验证物理宇宙」，弥合计算、数学与物理世界之间的鸿沟。CEO 发博文介绍了新投资方及其在公司蓝图中的角色。
「创投」频道最新
- FT 称 AI 算力债券面临「达尔文时刻」，CoreWeave 债价暴跌 — firstadopter · 2026-10-16
- 两年前融资数千万美元的 AI 创始人，正困在无人喝彩的死亡螺旋里 — SumitGup · 2026-10-16
- Anthropic 出资 500 万美元助数学界应对 AI 变革,Simons 基金会共投 1500 万 — AnthropicAI · 2026-10-16
- 纽约市审计长致信 Anthropic：呼吁推迟 IPO 直至安全问题解决 — rohanpaul_ai · 2026-10-16
- 马斯克点头：为个人智能体打造的电商新物种真有戏？ — elonmusk · 2026-10-16
- 开源 Claude 求职系统:从评分职位到 LinkedIn 人脉跟进全流程 — aranculleton · 2026-10-16