联合国秘书长古特雷斯呼吁对人工智能实施广泛而全面的全球管控

古特雷斯在首届联合国人工智能治理全球对话会上向与会者表示，“我们可能是最后一代能够设定人类与机器共存条件的人”。

澳大利亚官员警告：AI 模型已经开始作弊、欺骗、擅自行事

澳大利亚技术和数字经济助理部长查尔顿指出，公众对 AI 的信任度仍然很低，AI 获得社会认可的基础并不稳固，但 AI 已逐渐成为办公室、课堂和企业都能使用的通用技术。合理的···

2026 世界人工智能大会 7 月 17 日在上海开幕：规模创新双突破，全球首发超 300 款 AI 新产品

今年大会场地全面拓展，形成世博、张江、西岸“三地四馆”的全新布局，展览面积首次突破 10 万平方米。

国家发改委：预计今年 AI 手机、AI 电脑销量将首超非 AI 产品

国家发展改革委创新和高技术发展司副司长王若蒙披露，去年我国 AI 手机、AI 电脑等智能终端年出货量超 1 亿台，今年有望继续大幅增长，AI 手机、AI 电脑的销量预计将首次超···

英国外交大臣库珀警告：AI 或成未来 10 年最大安全挑战，世界各国必须建立紧急防护措施

英国外交大臣伊薇特 · 库珀发出警告，若各国无法就 AI 发展制定国际准则，其威胁堪比核武器。她指出全球已存在利用先进技术的恶意行为者，未来两年 AI 将成为外交核心议题···

面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型

对于 PutnamBench 数学竞赛问题集中的题目，Leanstral 1.5 的平均解决开支仅有 4 美元，而 Seed-Prover 1.5 需要 300 美元以上，Aleph Prover 也需要 54~68 美元。

首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯发表讲话

首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯在开幕式上强调，AI 正以惊人速度发展，必须将全球参与转化为全球行动，使其更安全、公平、符合伦理。会议将聚···

从洗发水到饼干，消费品迎来 AI 焕新

欧莱雅通过 AI 技术，将护肤成分成功复用于洗发产品，研发效率提升至原先的四倍。雀巢、亿滋等消费品巨头也纷纷将 AI 用于原料测试、配方生成和供应链优化，以应对市场变化···

Meta 汪滔称下一代 AI 模型“西瓜”已追上 GPT-5.5，基准测试成绩相近

两名知情人士称，汪滔在内部全员大会上表示，Meta 下一代 AI 模型 Watermelon（西瓜）已在备受关注的基准测试中追平 OpenAI 旗舰模型 GPT-5.5，但没有说明具体采用了哪些测···

消息称韩国政府将利用 AI 税收红利加速主权人工智能发展

韩国科学技术信息通信部计划在补充预算到位后斥资 5 万亿韩元大举购入 10000 块 NVIDIA Rubin GPU，交由单一精英团队使用。