Theorem 想在 AI 编写的 bug 上线前将其阻止——并刚刚筹集了 600 万美元
发布: (2026年1月27日 GMT+8 22:00)
1 min read
原文: VentureBeat
Source: VentureBeat
Overview
随着人工智能重塑软件开发，一个小型初创公司押注行业下一个最大的瓶颈不会是编写代码——而是信任代码。
Theorem 是一家总部位于旧金山的公司，来自 Y Combinator 的 Spring 2025 批次，周二宣布已筹集 $6 M……