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具有危险性等这类评估。”姚期智说。
九·幺.9.1伊朗实际并非放弃与美国和以色列军事对抗,而是采取“集中优势”策略,通过软方式将特朗普劝离中东战场,一方面缓解美国下场参战对伊朗形成的军事压力,集中防御资源和弹道导弹攻击能力指向以色列;另一方面,塑造寻求和平稳定、不愿威胁地区局势安全的话语权,谴责以色列侵略行为,争取国际社会支持。本轮升级后,学习机新增AI 1对1互动式问诊规划功能,使得学习机可以像真人老师一样与孩子对话,几轮对话后自动分析孩子的知识掌握情况,并根据孩子的能力层级、学习习惯、可投入时间和使用数据,结合本地考试重点、学段等因素,进行深度思考,为孩子智能生成个性化的学习规划路径。九·幺.9.1姐姐让我戴上避孕套歌曲原唱以色列国防军发布消息称,以色列再次遭到来自伊朗的导弹袭击,以色列南部、中部多地拉响警报。据以色列《新消息报》报道,伊朗在大约15分钟内向以色列进行了3次导弹齐射,以军在以色列中部和北部地区进行了数十次拦截,以色列大片地区都听到了爆炸声。海叔要说,以色列是否善罢甘休很重要!毕竟此轮其对伊朗之突袭,是在美国在国际原子能机构框架下发动对伊朗制裁的情况下所为。
20250812 🍆 九·幺.9.1以色列对伊朗发动大规模空袭后,当地时间13日晚,伊朗最高领袖哈梅内伊发表声明,称伊朗的报复行动已经开始,誓言“彻底摧毁以色列政权”。免费观看已满十八岁播放电视剧至此,本届世俱杯只剩下洛杉矶和艾因还没进球,洛杉矶将在小组赛末轮对阵弗拉门戈,而艾因将对阵卡萨布兰卡维达德。
📸 关华记者 冯建华 摄
20250812 🍓 九·幺.9.1主要学习数据通信、网络科学、计算机组成原理、人工智能原理等基础理论,以及软件定义网络、网云融合、网络流量工程、网络智能运维等新兴技术,重点培养军用网络规划与设计、网络系统构建与运维、网络安全管控等能力。床上108种插杆方式她瘦弱的身躯,空洞的眼神,让人看不清也弄不懂这个女人到底是什么样的。她也顺理成章的成为动荡时期借题发挥的引子。
📸 王洪轩记者 袁东升 摄
🔞 今年5月,电池负极材料龙头贝特瑞发布了固态电池材料整体解决方案,涵盖贝安FLEX半固态及GUARD全固态系列产品。针对人形机器人对电池体积和重量的严格要求,贝特瑞通过材料创新、结构优化两大策略,实现了高性能与轻量化、小型化的平衡。分腿吊起来抽打中间的文案