理解的假象:MIT研究人员揭示人工智能形式化规范的必要性
麻省理工学院林肯实验室(MIT Lincoln Laboratory)的一项研究表明,尽管形式规范具有数学上的精确性,但人类并不一定能对其进行解释。参与者在使用这些规范验证人工智能行为时遇到了困难,这表明理论主张与实际理解之间存在差异。研究结果凸显了对人工智能可解释性进行更现实评估的必要性。
你的专属IT资讯(IT News)
麻省理工学院林肯实验室(MIT Lincoln Laboratory)的一项研究表明,尽管形式规范具有数学上的精确性,但人类并不一定能对其进行解释。参与者在使用这些规范验证人工智能行为时遇到了困难,这表明理论主张与实际理解之间存在差异。研究结果凸显了对人工智能可解释性进行更现实评估的必要性。
2023数字科技生态大会举办期间,中国电信推出了新一代3D数字人生成技术。据介绍,中国电信新一代3D数字人生成技术,实现了分钟级全自动3D重建及骨骼蒙皮的自适应迁移,3D顶点平均误差小于1mm
大语言模型(LLM)快速崛起,在语言生成和理解方面表现出光明的前景,影响超越了语言领域,延伸到逻辑、数学、物理学等领域。
AMD 宣布将于北京时间 12 月 7 日凌晨 2 点举办一场专门针对 AI 的特别活动,名为“Advancing AI”,预计此次活动可能与 MI300X 数据中心 GPU 发布有关。
芯片咨询公司 SemiAnalysis 昨日消息称,英伟达现已开发出针对中国区的最新改良版 AI 芯片,包括 HGX H20、L20 PCIe 和 L2 PCIe。
此前风传可以取代手机的一款人工智能(AI)技术加持的新品正式亮相。Humane发布的AI Pin可吸附在衣服等物体表面,重不足40克,可语音也可投屏在手掌交互,在AI模型加持下,可执行写文稿、听音乐、实时翻译等任务,未来打算增加导航和购物功能。AI Pin每月还收24美元订阅费,下周四开始接受预订,明年初发货。
用于训练人工智能模型的数据集存在严重缺陷,这已是公开的秘密。图像语料库往往以美国和西方为中心,部分原因是在编制数据集时,西方图像在互联网上占据主导地位。最近,艾伦人工智能研究所(Allen Institute for AI)的一项研究强调,用于训练大型语言模型(如 Meta’s Llama 2)的数据包含有毒语言和偏见。
马斯克的人工智能初创公司xAI上周末推出了首个人工智能模型,名为Grok。自那以来,马斯克不断在他的X平台上发帖,将Grok与它的竞争对手ChatGPT进行比较,吹嘘Grok更先进,会说幽默的俏皮话,而ChatGPT只会一本正经地回答问题。
人工智能热潮空前高涨,各行各业都在抢先将人工智能应用于自己的业务中。在这个领域,OpenAI 可以说是领导者,但该公司也必须为自己的员工开出超高的工资。
根据美国商标和专利局(USPTO)公示的清单,微软于 11 月 7 日获得了一项 AI 相关的技术专利,介绍了 AI 能胜任心理治疗师的角色,疏导和改善用户的心理问题。