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具有危险性等这类评估。”姚期智说。
已满i8进入i3入7y7y9秒近日,一份关于山西省洪洞县财政局原局长付雪海的《刑事判决书》被发在网上。《判决书》中提及,1964年出生的付学海,曾因盗窃罪、流氓罪被刑事处罚。网友还注意到其疑似年龄造假。一张虚拟资产交易牌照,在资本市场激起千层浪。国泰君安国际获香港首张中资券商虚拟资产全牌照的消息,不仅提高了稳定币概念的市场热度,更让相关券商股价上演“过山车”行情。已满i8进入i3入7y7y9秒男生把困困塞到女生困困里看似是对于无人驾驶Robotaxi的技术辩论,但背后则是对于交通安全的监管,如何保证系统安全是Robotaxi最需要关注的重点,而不是所谓的低成本等其他优势。这个月,干了2年的地接导游小罗一个月内就接了5个旅行团,直呼“忙不过来”;来自江苏宿迁的张女士母子,因为歌曲《成都》而来,开启了这场“说走就走的旅行”;意大利女孩玛蒂娜把成都作为她第二次中国行的首站,只因为大熊猫是她最爱的动物;还有组团来四川避暑的泰国女孩蒂皮,毕棚沟、四姑娘山的美景让她们流连忘返。
20250819 🍑 已满i8进入i3入7y7y9秒此前尼科拉在2024/25赛季率领卡利亚里在意甲联赛当中排名积分榜第15位,赛季结束后不久卡利亚里就正式宣布了他离任的消息。女人被男人进入后的心理变化除此之外,北控锋线没有任何杀伤力。特别是进攻端,一点持球都没有,还没有背身与面框能力,进攻端的稳定性在季后赛被暴露无遗。所以这两个位置,是北控必须要补强的。
📸 冯立刚记者 封文隆 摄
20250819 ❤️ 已满i8进入i3入7y7y9秒为争取更多球队认可,杨瀚森过去27天时间内前往14支NBA球队试训,飞行了17次,总里程达到2.76万公里。他说,这是在用脚步丈量梦想的距离。欧美大妈logo大全及价格图性欧美虽然这些功能目前来看比较初级,但仍是非常重要的一项尝试。有AI基础设施领域相关创业者向时代周报记者指出,过高的算力成本仍是阻止AI应用在C端大规模落地应用的主要原因。“每问一次DeepSeek的大模型都要花掉几分钱,用户很多时候并不愿意承担这样的成本。”
📸 姚娟记者 刘德华 摄
🕺 目前影版《长安的荔枝》呼声较高,业内主流群体预测这部电影票房应该能拿到12亿左右,在竞争激烈的暑期档也算是“千里马”,全“荔”以赴,也能燃起来!免费观看已满十八岁播放电视剧