随着 “vibe coding”(氛围编程)日益流行,以及科技公司推动其开发者采用生成式 AI 工具,一款针对 AI 生成代码中漏洞进行扫描的平台获得了新一轮融资。
Ox Security 能够对 AI 生成和人工编写的代码进行风险建模,该公司于星期三宣布完成了 6000 万美元的 B 轮融资。本轮融资由 DTCP 领投,IBM Ventures、Microsoft、Swisscom Ventures、Evolution Equity Partners 和 Team8 参与,使得 Ox 累计融资总额达到 9400 万美元。
Neatsun Ziv 和 Lior Arzi 于 2021 年在纽约和特拉维夫创立了 Ox。两位创始人均为软件和 IT 工程师,他们在 Check Point 相识,并曾参与该安全公司威胁预防产品线的研发工作。
Ox 的平台曾于 2022 年被 TechCrunch 报道,面向安全团队和开发者,提供扫描应用代码以及保障公司更广泛供应链安全的工具。该平台不仅能够对威胁进行建模,还能推荐修复措施,辅助代码审查,并生成高管报告,突出显示漏洞及其可能发生的原因。
Ziv 在接受 TechCrunch 采访时表示:“在过去一年中,AI 已经显著改变了软件开发。虽然这些工具能加速经验丰富的开发者和初学者的开发进程,但它们往往缺乏捕捉细微安全缺陷所需的批判性思维和判断能力……Ox 释放了开发者的时间,使他们能够专注于创新,同时提升整个组织的安全防护水平。”
Ziv 称,Ox 每天为大约 200 名客户(包括 eToro、SoFi 以及其两家投资者 Microsoft 和 IBM)分析超过 1 亿行代码。
Ziv 还表示:“我们的客户涵盖了《财富》 10 强企业到中小型企业,同时我们也拥有军方、政府机构以及联邦机关作为客户。”
据 Ziv 介绍,Ox 本次新获得的资金将用于推动公司的增长与扩张。这家拥有 150 名员工的初创企业正与 Snyk、Veracode、Synopsis 和 Checkmarx 等竞争对手争夺市场份额。Ox 目前的年经常性收入约为 1000 万美元 —— Ziv 预计这一数字将在今年年底前翻倍 —— 并计划在未来 2-3 年内实现正现金流。
Ziv 表示:“我们希望为长期成功奠定基础,从而专注于扩大规模并实现更远大的目标。我们的收入已经实现显著增长,并收到了一些能使我们取得飞跃性进展的提议,我们认为现在正是公司迈出这一步的合适时机。”
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。