【Vitalik:感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找】2024年02月19日08点18分老不正经报

None

相关推荐

封面图片

Vitalik:感到兴奋的AI应用之一是AI辅助的代码形式验证和错误查找以太坊联合创始人VitalikButerin在社交媒体上

封面图片

人工智能辅助生成的错误报告浪费了开发者的大量时间

人工智能辅助生成的错误报告浪费了开发者的大量时间curl的作者最近提出了人工智能生成的安全报告的问题:当这些报告被做得更好看、看起来有道理时,就需要花费更长的时间来研究并最终丢弃它。在curl漏洞悬赏计划收到的415份漏洞报告中约有66%的报告是无效的。这些人工智能可以生成详细、可读的文本,而无需考虑准确性,“但对项目毫无帮助。它反而会占用开发人员的时间和精力,使其无法从事有成效的工作。”他列举了提交给漏洞报告社区HackerOne的两份报告作为例子。他说,这份报告是在谷歌Bard的帮助下编写的,“充满了典型的人工智能式幻觉:它将旧安全问题中的事实和细节混杂在一起,创造和编造出一些与现实毫无关联的新东西。”来源,频道:@kejiqu群组:@kejiquchat

封面图片

Vitalik发文“加密+人工智能应用的前景和挑战”

封面图片

了解你整个代码库的人工智能。

封面图片

Meta推出人工智能代码编写工具:Code Llama

Meta推出人工智能代码编写工具:CodeLlama了解更多:https://ai.meta.com/blog/code-llama-large-language-model-coding/Meta说,CodeLlama可以根据提示创建代码串,也可以在指向特定代码串时完成和调试代码。除了基本的CodeLlama模型,Meta还发布了一个Python专用版本CodeLlama-Python,以及另一个可以理解自然语言指令的版本CodeLlama-Instrct。据Meta称,CodeLlama的每个特定版本都不能互换,该公司不推荐使用基础CodeLlama或CodeLlama-Python来处理自然语言指令。"程序员已经在使用LLMs协助完成各种任务,从编写新软件到调试现有代码,"Meta在一篇博文中说。"我们的目标是提高开发人员工作流程的效率,使他们能够专注于工作中最以人为本的方面。"Meta声称,根据基准测试,CodeLlama的表现优于公开的LLM,但没有具体说明测试的模型。该公司称,CodeLlama在代码基准HumanEval中的得分率为53.7%,能够根据文本描述准确编写代码。Meta公司将发布三种尺寸的CodeLlama,并表示最小尺寸的CodeLlama可安装在单个GPU上,适用于更多低延迟项目。代码生成器帮助开发人员工作已经有一段时间了。GitHub今年3月推出了由OpenAI的GPT-4支持的Copilot,用于快速编写和检查代码。GitHubCopilot还能重写更新旧代码。亚马逊的AWS也有CodeWhisperer,同样可以编写、检查和更新代码。此前,Google也透露将推出一款代码编写工具AlphaCode,但至今还没有发布。GitHub的母公司微软和OpenAI因涉嫌使用Copilot违反版权法而被起诉,因为该工具可以复制授权代码。...PC版:https://www.cnbeta.com.tw/articles/soft/1379269.htm手机版:https://m.cnbeta.com.tw/view/1379269.htm

封面图片

IBM 利用人工智能将 COBOL 代码转译成 Java

IBM利用人工智能将COBOL代码转译成Java但是,COBOL因其难以驾驭同时又效率低下而声名狼藉。为什么不迁移到更新的语言呢?这是因为对于大型企业来说,由于世界上的COBOL专家为数不多,这往往是一个复杂且成本高昂的命题。澳大利亚联邦银行在2012年更换其核心COBOL平台时,耗时五年,花费超过7亿澳元。为了给COBOL应用程序的现代化问题提供一个新的解决方案,IBM今天发布了IBMZ的CodeAssistant,它使用代码生成人工智能模型将COBOL代码翻译成Java。CodeAssistantforIBMZ将于2023年第四季度全面上市,并将于今年9月初在拉斯维加斯举行的IBMTechXchange大会上进行预览。IBMResearch首席科学家RuchirPuri表示,CodeAssistantforIBMZ旨在帮助企业重构其大型机应用程序,最好能同时保持性能和安全性。CodeAssistant可在本地运行,也可作为托管服务在云中运行,它由代码生成模型CodeNet提供支持,该模型不仅能理解COBOL和Java,还能理解约80种不同的编程语言。"IBM建立了一个全新的、最先进的人工智能代码生成模型,可以将传统的COBOL程序转换为企业级Java,生成的代码具有高度的自然性,"Puri在接受电子邮件采访时说。"除了代码转换,代码助手还支持完整的应用现代化生命周期,帮助开发人员在现代架构中理解、重构、转换和验证翻译后的代码。"CodeNet使用1.5万亿个标记进行训练,拥有200亿个参数,并设计了一个大型上下文窗口--32,000个标记--以"捕捉更广泛的上下文",从而实现"更高效的COBOL到Java转换"。参数是模型从历史训练数据中学到的部分,本质上定义了模型处理问题(如生成文本)的技能,而"标记"则代表原始文本(例如,"fantastic"一词的"fan"、"tas"和"tic")。至于上下文窗口,它指的是模型在生成额外文本之前所考虑的文本。如今有很多工具、应用程序和服务可以将COBOL应用程序转换为Java语法,其中一些是完全自动化的。Puri承认这一点,但他认为CodeAssistant在降低成本和生成易于维护的代码的同时,采取了避免牺牲COBOL功能的措施,这与市场上的某些竞争对手的产品不同。Puri说:"IBM为IBMZ大型机打造的代码助手能够混合和匹配COBOL和Java服务。如果系统的'理解'和'重构'功能建议应用程序中的某个子服务需要保留在COBOL中,它就会保持这种状态,而其他子服务则会转换成Java。"这并不是说CodeAssistant是完美无缺的。斯坦福大学最近的一项研究发现,使用类似代码生成人工智能系统的软件工程师更有可能导致他们开发的应用程序出现漏洞。事实上,普里警告说,在经过人类专家审查之前,不要部署代码助手生成的代码。Puri说:"与任何人工智能系统一样,企业的COBOL应用程序可能存在独特的使用模式,而IBMZ代码助手可能尚未掌握这些模式。必须使用最先进的漏洞扫描仪扫描代码,以确保代码的安全性。"撇开风险不谈,IBM无疑认为代码助手等工具对其未来的发展非常重要。目前,IBM大约84%的大型机客户运行COBOL,其中大部分是金融和政府部门的客户。虽然IBM大型机部门在其整体业务中仍占很大比重,但该公司将大型机视为通向其托管和促进的广阔、有利可图的混合计算环境的桥梁。IBM也看到了更广泛的代码生成人工智能工具的前景--打算与GitHubCopilot和亚马逊CodeWhisperer等应用竞争。今年5月,IBM在其WatsonxAI服务中推出了fm.model.code,该服务为WatsonCodeAssistant(沃森代码助手)提供了支持,允许开发人员在包括红帽的AnsibleLightspeed在内的各种程序中使用纯英文提示生成代码。...PC版:https://www.cnbeta.com.tw/articles/soft/1378851.htm手机版:https://m.cnbeta.com.tw/view/1378851.htm

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人