总融资 $70M📍 美国成立于 2026
SVTR 市场位置
数据快照 2026-10-31简介
&Truth，2026年成立的公益公司，总部位于美国帕洛阿托，并在新加坡设有团队。公司结合Lean定理证明器与AI证明自动化，为任意语言编写的代码生成可独立核验的安全性与正确性数学证明，应对AI大规模生成代码带来的漏洞与针对关键软件的AI网络攻击。
★ SVTR 评级SVTR 已评估
完整档位与判定理由，SVTR Intelligence 会员可见
资本关系图
创始人 / 团队· 3
融资历史
- 2026-10-29种子轮$70M
可比公司· 按市场分组
本公司
主营业务最近轮次累计融资融资时间- &Truth
基于Lean与AI证明自动化的代码形式化验证平台
种子轮 · $70M · 2026-10
$70M
美国
主营业务最近轮次累计融资融资时间欧洲
主营业务最近轮次累计融资融资时间仅用已确认融资；对标依据为同细分赛道、同赛道、同阶段与累计融资量级，均可在各公司档案核对。
可能匹配的投资方
按投资机构近 24 个月在同赛道的出手记录推荐，叠加相近阶段与同地区。仅供参考，不含评级判断。