GitHub 智能体代码安全工具浮出水面,获 900 万美元融资

AI 编程工具普及催生“代码过载”难题,初创公司 Gitar 获 900 万美元融资,专注用 AI 验证 AI 生成代码质量。该公司通过部署 AI 智能体执行代码审查与持续集成工作流,实现端到端验证自动化,志在让人类审查仅在异常时介入,从而加速软件发布。 Gitar 选择“替 AI 善后”的差异化赛道,揭示了当前 AI 辅助开发中“生成端火热,验证端冷清”的结构性缺陷。

发布于2026年4月15日 22:31
编辑小创
评论0
阅读31

Gitar 获 900 万美元融资:用 AI 智能体解决 AI 代码质量难题

“氛围编程”时代, AI 智能体正以前所未有的速度向企业倾泻海量代码,如今这些企业正被“代码过载”这个问题所困扰。研究显示, AI 生成的代码可能向代码库中引入严重缺陷和其他质量问题,这些代码必须由高级工程师修复后才能正式发布。

现在,一家初创企业决定用同样引发问题的工具 AI 来解决这一困境。

本周三, Gitar 正式走出隐形状态,宣布完成 900 万美元融资。本轮由 Venrock 领投, Sierra Ventures 参与投资。这家成立两年的公司由 Ali-Reza Adl-Tabatabai 创立,他曾在 Intel Labs 、 Google 和 Uber 担任要职,目前担任 CEO 。

Gitar 提供订阅制平台服务,部署 AI 智能体执行各类代码质量操作,包括代码审查以及持续集成工作流的管理。持续集成是一种自动化流程,通过定期合并和测试代码变更,保持代码库的稳定和更新。平台还允许工程团队创建自定义智能体,由这些智能体代为执行安全和维护操作。

Adl-Tabatabai 指出, AI 生成代码意味着“更多的代码需要审查、更多的测试需要编写、更多的 CI 失败需要诊断”。 Gitar 所做的正是“代码验证”,确保企业内构建的代码已准备好投入实际使用。“代码生成产出代码,验证让代码变得可信。 Gitar 是掌控这一流程的工作流智能体,端到端地协调审查、测试和诊断工作。”

Adl-Tabatabai 认为,自动化在未来将在软件开发中扮演更加全面的角色。“目前,进入生产环境的代码需要人工审查,这有其合理之处。我们希望确保有监督机制,人类在检查确认没有不良代码被发布。”

他的愿景是让人类代码审查成为流程中极小的一部分,企业转而信任 Gitar 平台来处理这些任务,从而加快发布速度。“我们有一个验证智能体,可以自动确保代码安全发布,只在出现异常情况时才需要人工介入。”

Gitar 并非唯一一家在自动化代码审查领域运营的企业,但 Adl-Tabatabai 表示,公司希望凭借对这一问题的专注来实现差异化。“市场上大多数玩家都在追逐代码生成,我们没有。 Gitar 围绕的是代码编写之后发生的事情来构建。”

新获得的资金将用于扩充 Gitar 的工程和产品团队,这家总部位于 San Mateo 的公司将加大力度开发系统,以便在大规模场景下提供服务。

创艺洞察

Gitar 的出现折射出一个正在加速的技术悖论:当我们用 AI 提升代码生产效率时,却不得不引入更多 AI 来消化这些产能。这种“用魔法打败魔法”的逻辑固然务实,却也揭示了当前 AI 辅助开发工具链的一个结构性缺陷,生成端火热,验证端冷清。从市场角度看, Gitar 选择了一条“替 AI 善后”的赛道,竞争烈度或许低于直接对抗代码生成的红海。但真正的考验在于:当企业逐渐习惯于信任自动化验证时,人类工程师的角色将如何重新定义?这不仅是技术问题,更关乎整个软件工程文化的演进方向。

相关文章

GPT-5.6 发布当天 OpenAI 自曝 SWE-Bench Pro 30% 有问题
AI 新闻资讯
2026年7月14日
0 条评论
零重力瓦力

GPT-5.6 发布当天 OpenAI 自曝 SWE-Bench Pro 30% 有问题

OpenAI 在发布 GPT-5.6 当日指出 SWE-Bench Pro 约 30% 任务存在缺陷,引发对 AI 基准测试可靠性的质疑。多项研究进一步揭示,验证器质量决定模型学习方向,基准题目高度冗余,且模型“窄能力”提升未必转化为真实经济产出的“宽能力”。当前 AI 进步尚未达到自维持加速阈值。基准测试正面临结构性危机,其公信力受利益冲突影响,亟需建立独立第三方验证机制以确保评估客观性。

#ChatGPT#Claude
阅读全文
GPT-5.6 Sol Ultra 1 小时证明 60 年未解的图论猜想
AI 新闻资讯
2026年7月11日
0 条评论
零重力瓦力

GPT-5.6 Sol Ultra 1 小时证明 60 年未解的图论猜想

OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本,成本不足 500 美元。该成果引发争议,因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟,数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力,但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式,而完善 Lean 工具链是确立 AI 证明可信度的关键。

#OpenAI#ChatGPT
阅读全文
AI 正在翻译细胞语言,阿尔茨海默症迎来新转机
AI 新闻资讯
2026年7月11日
0 条评论
小创

AI 正在翻译细胞语言,阿尔茨海默症迎来新转机

针对复杂疾病治疗难题,Arc 研究所正利用 AI 构建通用“虚拟细胞”模型。该模型将 RNA 表达视为生命语言,计划四年内通过 CRISPR 和单细胞测序完成 10 亿次实验进行训练。研究人员可借此在电脑模拟中预测基因或化学干预方案,实现从盲目猜测到精准预测的转变。该工具将于今年晚些时候开源,有望在未来四五年内推动个性化医疗及复杂疾病治疗取得临床突破。

#AI 与健康
阅读全文
互动讨论

评论区

围绕《GitHub 智能体代码安全工具浮出水面,获 900 万美元融资》展开交流,未登录用户可浏览评论,登录后可参与讨论。

评论数
0
登录后参与评论
支持发表观点与回复一级评论,互动后将同步到消息中心。
登录后评论
暂无评论,欢迎成为第一个参与讨论的人。