微软旗下的GitHub推出的AI编程工具GitHub Copilot现已达到超过2000万用户,微软CEO萨蒂亚·纳德拉在周三的公司财报电话会议上宣布了这一消息。GitHub发言人向TechCrunch证实,这个数字代表"历史总用户数"。
这意味着在过去三个月中,有500万人首次尝试了GitHub Copilot;公司在4月份曾报告该工具已达到1500万用户。微软和GitHub并未公布这2000万人中有多少继续按月或按日使用这款AI编程工具——尽管这些指标可能要低得多。
微软还报告称,作为目前最受欢迎的AI编程工具之一的GitHub Copilot被财富100强中90%的公司使用。据公司称,该产品在企业客户中的增长与上一季度相比增长了约75%。
AI编程工具正变得越来越受欢迎,它们似乎是少数能够产生可观收入的AI产品之一。纳德拉表示,2024年GitHub Copilot的业务规模已经超过了微软在2018年收购GitHub时的整个GitHub业务。在过去的一年里,GitHub Copilot的增长率似乎继续保持积极态势。
与每月吸引数亿用户的ChatGPT和Gemini等AI聊天机器人相比,全球最受欢迎的AI编程工具的用户基数仍然很小。当然,软件工程比AI聊天机器人提供的一般信息查询更为小众。
话虽如此,软件工程师和他们的雇主似乎愿意为AI编程工具付出高额费用。凭借微软庞大的企业客户名单和GitHub的开发者生态系统,GitHub Copilot在企业AI编程工具市场中占据有利地位。
另一款流行的AI编程工具Cursor希望在企业市场挑战GitHub Copilot,并一直在从新兴AI初创公司中挖掘人才。据彭博社报道,Cursor在3月份每天有超过100万人使用其产品。当时,该公司的年化经常性收入约为2亿美元。如今,Cursor的年化经常性收入超过5亿美元,这表明现在有更多人每天在使用其产品。
虽然GitHub Copilot和Cursor最初致力于解决开发者体验的不同部分,但它们正稳步趋同为类似的产品。
两家公司最近都推出了AI智能体来审查代码和捕获人为引入的错误。GitHub和Cursor也都在尝试创建能够自动化程序员工作流程的AI智能体,让开发者能够完全卸载任务。纳德拉在周三的财报电话会议上表示,GitHub在AI编程智能体方面看到了巨大的发展势头。
除了Cursor之外,GitHub还面临着一系列资金充足的竞争对手,它们都希望向企业销售AI编程工具。
Google收购了AI编程初创公司Windsurf的领导者,以及Cognition(Devin的制造商,随后收购了Windsurf的其余团队)。更别提OpenAI和Anthropic,它们都在构建基于内部AI模型(分别是Codex和Claude Code)的自己的AI编程产品,试图赢得市场。
这个新兴领域正迅速升温,成为AI最具竞争力的市场之一。
好文章,需要你的鼓励
PDF协会在欧洲会议上宣布,将在PDF规范中添加对JPEG XL图像格式的支持。尽管Chromium团队此前将该格式标记为过时,但此次纳入可能为JXL带来主流应用机会。PDF协会CTO表示,选择JPEG XL作为支持HDR内容的首选解决方案。该格式具备广色域、超高分辨率和多通道支持等优势,但目前仍缺乏广泛的浏览器支持。
Meta研究团队发现仅仅改变AI示例间的分隔符号就能导致模型性能产生高达45%的巨大差异,甚至可以操纵AI排行榜排名。这个看似微不足道的格式选择问题普遍存在于所有主流AI模型中,包括最先进的GPT-4o,揭示了当前AI评测体系的根本性缺陷。研究提出通过明确说明分隔符类型等方法可以部分缓解这一问题。
Ironclad OS项目正在开发一个新的类Unix操作系统内核,面向小型嵌入式系统,计划支持实时功能。该项目的独特之处在于采用Ada编程语言及其可形式化验证的SPARK子集进行开发,而非常见的C、C++或Rust语言。项目还包含运行在Ironclad内核上的完整操作系统Gloire,使用GNU工具构建以提供传统Unix兼容性。
香港中文大学研究团队开发出CALM训练框架和STORM模型,通过轻量化干预方式让40亿参数小模型在优化建模任务上达到6710亿参数大模型的性能。该方法保护模型原生推理能力,仅修改2.6%内容就实现显著提升,为AI优化建模应用大幅降低了技术门槛和成本。