AI初创公司Theorem获600万美元融资，以应对AI生成的软件漏洞

总部位于旧金山的初创公司Theorem筹集了600万美元的种子资金，用于开发自动化工具，以验证AI生成的软件的正确性。该公司于2026年1月27日星期二宣布了这一消息。据VentureBeat报道，本轮投资由Khosla Ventures领投，Y Combinator、e14、SAIF、Halcyon以及包括Recursion Pharmaceuticals联合创始人Blake Borgesson和区块链平台Tezos联合创始人Arthur Breitman在内的天使投资人参与。

Theorem从Y Combinator的2025年春季批次中脱颖而出。该公司押注，随着人工智能重塑软件开发，行业下一个重大瓶颈将是信任AI生成的代码。这笔资金将用于构建旨在阻止AI编写的漏洞在发布前出现的工具。

目前，GitHub等公司的AI编码助手越来越普及，这项投资正是在这个时间点上进行的。Theorem旨在解决与依赖AI生成的代码相关的潜在风险。

在相关新闻中，人工智能的快速发展正在影响各个领域，包括数据可视化。据Avalon Holographics称，随着AI系统变得越来越强大，人类需要保持参与，与数据交互并识别模拟与现实之间的差距。VentureBeat报道称，空间计算越来越多地在人类和AI之间共享，需要关注人类如何与3D数据交互，以最大限度地发挥AI的优势。

与此同时，对于网站运营商而言，对数据隐私以及对非欧盟服务的依赖的担忧仍然存在。据Hacker News报道，Lightwaves.io提供了一个免费扫描仪，用于分析网站对Google Fonts、Analytics和CDN等服务的依赖性，并提供“欧盟独立性审计”。该审计检查托管位置、字体、分析、CDN、视频嵌入、聊天工具、社交小部件和地图。该服务强调了欧盟-美国数据隐私框架失效的风险，类似于之前的协议，如安全港和隐私盾。在审计中获得100分的网站被认为是“面向未来”的。