EN
sunkun.com

17c.com.gov.cn姚期智院士:AI欺骗引发“生存性”风险,建立大模型评估系统刻不容缓

6月23日,在清华大学举办的“科学、技术与文明的未来——AI时代伦理奇点”国际论坛上,图灵奖得主、中国科学院院士、清华大学人工智能学院院长姚期智发表《人工智能的安全治理》主题演讲时抛出这样的疑问。 姚期智表示,两年以前,“AI会和人类竞争”还是学术讨论的观点,但最近一年,业界已经出现了不少大模型的“欺骗行为”,“一旦大模型聪明到某种程度,一定会骗人。”姚期智进一步指出,由大语言模型的欺骗行为产生的“生存性”风险(Existential Risk)更值得关注。 一种是“生物风险”(Bio-risk)。他指出,2020年,谷歌 DeepMind推出了AlphaFold2 ,运用AI算法来预测蛋白质折叠的三维结构,这一突破在生命科学领域影响深远,大大提升了医学病理研究以及新药开发技术。 但与此同时,安全隐忧也不可忽视。比如,近期在生命科学领域出现的“Mirror life”(镜像生命)这一概念引发了广泛关注。自然界所有已知生命都是同手性的(Homochiral),例如 DNA 和 RNA 通常以右旋形式存在,而蛋白质则多为左旋。这种手性的差异类似于镜中映像,虽然看似相似,但实际性质却可能完全不同。现在,由于科技创新和对新技术的好奇,已有研究者想创造镜像生物,但“Mirror life”一旦被滥用或失控,其潜在危害可能远超预期。它有可能逃避免疫机制,从而导致动物和植物的致命感染。 姚期智在演讲中举了一个极端案例,有模型为了避免公司把模型关闭,通过访问公司主管内部邮件,威胁该主管。这类行为已经证明,AI 会“越界”,正变得越来越危险。 姚期智认为,有两条思路可以治理AI:一是人类要和AI多交流,从博弈学角度去研究,让AI的行为和人类真正的想法对齐,要让AI更了解人的需求;另一种思路是走一条更可控、更彻底的路径,即实现可证明安全的 AGI。具体来看,即在设计系统时,必须一开始明确AI的行为边界,就像传统算法,先进行严格的数学分析,确保其在理论上不会出问题。 “这一思路令人期待。”姚期智指出,近年来,自动定理证明系统(Automated Theorem Prover)取得了重大技术进展,甚至已经开始采用 Transformer 架构来辅助或主导定理证明过程。这样人类只和可被证明安全的白盒子交流,从而实现更高的安全保障。 不过,姚期智认为,AI安全治理的一些当务之急是要发展AI对齐,以及建立相应的评估方法。“(我们)急需建立如何评估大模型系统,比如到怎样的程度,就能感觉Ta具有危险性等这类评估。”姚期智说。

17c.com.gov.cn
17c.com.gov.cn这些机器人具备自主导航、智能避障、音视频实时回传、远程喊话等功能,可辅助警务工作、服务游客、维持交通秩序。此外,它们还能自主返回充电桩,实现全天候不间断工作。正是这些难以言述的隐性知识,构成了人类智能的底色。而 AI 若能通过 Context 捕获这些结构模糊、路径多变的信息,将实现真正意义上的智能突破。17c.com.gov.cn红桃17·c18起草硅谷的问题之一,就是过分推崇智能。部分原因可能是那里的很多人本身就极具智能,甚至他们的一生都是建立在智力优势之上,自然也会倾向于高估智能的作用。张先生介绍,全区共有15万农户需要换装智能水表,因工作量很大,是分批推进的。目前更换有8万户。其还强调,已推进村未预交水费的,多是在外打工家里没人暂不需要用自来水的,会选择什么时候回来再联系公司预存水费。
20250812 💔 17c.com.gov.cn另外,自动驾驶本身具有“多模态”或者说“多解输出”的特点,容易遇到“模态不统一”的困境。意思是同一个驾驶场景可能会有多种路径选择,而且它们都是对的。当模型使用的数据量增大,就会出现越来越多的“相似场景,多种解法”的训练数据,对于参数量不足(智商不足)的小模型来说,可行解法越来越多,可能造成模型的confusion,导致模态坍塌。因此,直接训练车端小模型,实际上并不能通过数据的增加实现scaling law。你比我丈夫厉害中文版从疾病预防、诊断到治疗、康复,从智能健康设备到个性化健康管理服务,从健康数据服务到智能硬件制造……AI正逐渐渗透到健康管理的各个环节,为重塑健康消费生态打开了新的空间,释放着巨大的智慧健康产品的消费潜力。专业机构预计,2027年中国AI健康管理市场规模预计增至2.59万亿元,年复合增长率超20%。
17c.com.gov.cn
📸 石艳平记者 赵功亭 摄
20250812 🍆 17c.com.gov.cn据《每日邮报》报道,切尔西曾提出用恩昆库交换费尔明,但遭到巴萨拒绝。除了蓝军,曼城、拜仁以及一些沙特俱乐部也在关注费尔明,但这名球员决心留在巴萨取得成功,他的现有合同要到2029年6月,解约金为5亿欧元。姐姐让我戴上避孕套歌曲原唱最终在一场耗时51分钟的比赛当中,张帅以6-2、6-2战胜了塔拉鲁德,成为了唯一一位从资格赛突围闯入温网正赛的中国选手。这是张帅职业生涯第11次温网正赛、第48次大满贯正赛之旅。
17c.com.gov.cn
📸 王倩记者 周贵斌 摄
🔞 亚库乔尼斯并非完美的潜力股,其抢断和封盖率低得反常,效力伊利诺伊大学唯一赛季的失误控制也欠佳。但热火还是以超值签位选中这位曾长期稳居前十顺位的热门人选,堪称选秀夜的最佳选择之一。日本mv与欧美mv的区别
扫一扫在手机打开当前页