代码共享服务 GitHub发布了一款名为GitHub Copilot的新产品,这是一款面向软件开发人员的人工智能助手。
该产品是在利用人工智能技术简化IT运营的“AIOps”工具快速增长之际粉墨登场的,该产品目前仍然处于技术预览阶段,还不是一项成熟的服务。“AIOps”工具包括了可以帮助发现代码异常并跟踪应用程序性能的产品,它们能够为首席信息官及其团队节省大量的时间和金钱。研究公司Gartner估计,AIOps 市场目前每年价值约为15 亿美元。
GitHub Copilot会对以前的工作进行分析,并据此为开发人员提供代码行级别的建议。该产品底层的模型被称为Codex,是GitHub与Open AI联合开发的,后者是总部位于硅谷的一家人工智能研究公司,该公司使用了GitHub和其他来源管理的数十亿行代码对Codex模型进行了训练。微软是Open AI的支持方之一,并在2018年为GitHub提供了75亿美元。
GitHub的网站显示,这款新产品与Visual Studio Code配合使用,Visual Studio Code是一款免费的开源编辑器,适用于Windows、Linux 和 MacOS系统。该预览版特别适合一些流行的编程语言,例如Python、JavaScript 和 Ruby,但它也能理解数十种其他语言。开发人员可以用简单的英语写一条评论,描述他或者她正在寻找的逻辑,该系统会尝试据此生成代码。
人机匹配
GitHub Copilot会提供选项菜单,并且记录用户接受、拒绝或者编辑了哪些建议中的代码行,通过这种方式来了解每个开发人员的风格。GitHub 的首席执行官 Nat Friedman 将其描述为“与程序员配对”,这个术语通常指的是两名人类开发人员在一个项目上进行紧密合作的情况。该公司表示,迄今为止,绝大多数试用过该产品的用户都接受了Copilot 提出的建议。
如果它能够保持这一纪录,那么该系统就可以帮助开发人员迅速掌握新的编程语言,并且减少他们通过Stack Overflow 等服务寻求帮助的需要。Stack Overflow是一个开发人员社区,最近被南非投资基金以18亿美元收购。一些研究表明,开发人员花在在线搜索信息和帮助上的时间高达五分之一。
首席信息官们不仅仅将人工智能视为提高软件工厂效率的一种手段,还将其视为一种保持开发人员忠诚度的方式。开发人员能够使用的、先进的开发工具越多,他们就越有可能坚守岗位。
现在,经济正在改善,因此这一点比以往任何时候都更加重要。科技行业组织CompTIA 最近指出,美国目前IT岗位空缺的数量高达395,000 个,达到自2019年9月以来的最高水平,对开发人员的需求非常之高。(在最近的福布斯首席信息官峰会上,IT人才战争已经成为头等大事。)
Amir Arooni是市值360亿美元的Discover Financial Services 的首席信息官,Amir Arooni和其他一些技术领导者们认为,未来,最成功的公司将是那些将软件视为一门手艺的公司,这些公司能够为他们的技术工匠配备最好的工具(包括人工智能支持的产品),帮助他们出色地扮演自己的角色。GitHub这款最新的产品完全符合这种世界观。
好文章,需要你的鼓励
这项由索非亚大学INSAIT和苏黎世联邦理工学院共同完成的研究,揭示了大语言模型在数学定理证明中普遍存在的"迎合性"问题。研究团队构建了BrokenMath基准测试集,包含504道精心设计的错误数学命题,用于评估主流AI模型能否识别并纠正错误陈述。
约翰斯·霍普金斯大学研究团队提出了创新的隐私保护AI文本生成方法,通过"控制代码"系统指导AI生成虚假敏感信息来替代真实数据。该方法采用"藏身于众"策略,在医疗法律等敏感领域测试中实现了接近零的隐私泄露率,同时保持了高质量的文本生成效果,为高风险领域的AI应用提供了实用的隐私保护解决方案。
实验室和真实使用测试显示,iPhone Air电池续航能够满足一整天的典型使用需求。在CNET进行的三小时视频流媒体压力测试中,iPhone Air仅消耗15%电量,表现与iPhone 15相当。在45分钟高强度使用测试中表现稍逊,但在实际日常使用场景下,用户反馈iPhone Air能够稳定支撑全天使用,有线充电速度也比较理想。
这项由Reactive AI提出的稀疏查询注意力机制通过减少查询头数量而非键值头数量,直接降低了注意力层的计算复杂度,实现了2-3倍的训练和编码加速。该方法在长序列处理中表现出色,在20万词汇序列上达到3.5倍加速,且模型质量损失微乎其微,为计算密集型AI应用提供了新的优化路径。