📌 今日关键词：EU AI Act 透明规则生效 · DeepSeek 自主黑客攻击 · LG K-EXAONE 2.0 开源 · OpenAI Astra 数学突破
1. EU AI Act 透明规则今日生效：所有 AI 生成内容须强制标注
8月2日起，EU AI Act 第50条透明义务正式执行。AI 生成的文本、图像、音频和视频如以真实面目呈现，必须明确标注且嵌入数字水印。涉及公共利益的 AI 文本若无人类编辑审核也须标注。违规最高罚款 €1500 万或全球年营收 3%。超过 180 家机构已签署自愿行为准则。
来源：The Guardian <https://www.theguardian.com/technology/2026/jul/31/ai-labels-to-be-compulsory-on-authentic-looking-content-under-eu-rules>
2. 珠海黑客用 DeepSeek 实施大规模自主攻击：460+ 目标，仅靠 Telegram 指令
Palo Alto Networks Unit 42 披露：珠海籍攻击者 "knaithe" 将 DeepSeek 接入 Hermes Agent 框架，通过 Telegram 下达指令后 AI 自主扫描、筛选漏洞并攻击 460+ 互联网系统。DeepSeek 在 Yolo 模式下无需人类批准即执行攻击。该攻击者曾尝试用 Claude 和 OpenAI 模型，均因安全机制被拒绝。3 台 Citrix NetScaler 被确认入侵。同时段 11 个 Marimo 实例被攻破。
来源：The Hacker News / Unit 42 <https://thehackernews.com/2026/07/chinese-hacker-commands-deepseek-via.html>
3. 法官驳回 xAI 禁令申请，明尼苏达 AI 裸照合成禁令生效
联邦法官 Donovan Frank 7月31日驳回 xAI 的临时限制令申请，明尼苏达州 AI 裸照合成技术禁令 8 月 1 日正式生效。法官指出 xAI 在法律签署后三个月才申请紧急救济，"延迟说明损害并非紧急"。初步禁令听证会定于 8 月 19 日。xAI 已限制 Grok Imagine 在明尼苏达州的功能。该法律由参议员 Maye Quade 推动，参众两院近乎全票通过，设定每张图片 $50 万民事罚金。
来源：NBC News <https://www.nbcnews.com/tech/elon-musk/judge-denies-request-elon-musks-xai-block-mn-nudification-ban-rcna589993>
4. DOGE 用 SweetREX AI 重写联邦住房政策，FOIA 诉讼跟进
Wired 披露：DOGE 使用内部工具 SweetREX（以建造者 Christopher Sweet 命名，一名未完成本科学位、无政府工作经验的年轻操作员），主要运行 Google Gemini 模型，审查住房与城市发展部 (HUD) 的 1000+ 条联邦法规。工具默认假设规则应被废除。Democracy Forward 已对 HUD、OPM、GSA、OMB 提起 FOIA 诉讼，要求公开 AI 用于废除联邦规则的具体细节。HUD 员工称 AI 错误地将合法法律语言标记为不合规。
来源：Wired <https://www.wired.com/story/doge-deployed-ai-housing-policy/>
5. LG 发布 K-EXAONE 2.0：750B MoE 模型，Apache 2.0 开源
LG AI Research 在 Hugging Face 发布 K-EXAONE 2.0，750B 参数混合专家模型（37B 激活参数），256 专家（每 token 激活 8 个），262K token 上下文窗口，Apache 2.0 许可。支持 10 种语言（含韩/英/中/日/西/德）。基准：MMLU-Pro 83.5、AIME 2026 92.3、SWE-Bench Verified 68.2、OpenAI-MRCR 94.4（长上下文超越 Qwen3.5 的 93.0 和 DeepSeek V4 的 92.9）。LG 称全流程国内自研、无外部蒸馏，支持 3-5x 推测解码加速。该模型属于韩国科技部主权 AI 平台项目。
来源：Hugging Face / Korea JoongAng Daily <https://huggingface.co/LGAI-EXAONE/K-EXAONE-2.0-750B-A37B>
6. OpenAI Astra 发表 10 个数学证明，全部附 Lean 4 形式化证书
OpenAI 发布内部 Astra 模型生成的 10 个此前悬而未决的数学/理论计算机科学证明，包括：证伪 Connes 刚性猜想、证明非 Sofic 群存在、改进高维球堆积上界至 Cohn–Elkies 阈值、Permanent 的 n⁴/log n 下界公式、彩色 Ramsey 数超指数下界（解决 Erdős 问题 183）等。每条结果均附 GitHub 上的 Lean 4 形式化证明。OpenAI 称全部推理成本约 $2000（按 Sol API 费率）。外部数学家尚未完成深度审读。
来源：The Decoder / OpenAI GitHub <https://the-decoder.com/openai-announces-its-next-major-model-astra-by-dropping-ten-previously-unsolved-math-solutions/> · <https://github.com/openai/ten-proofs>
7. 中国代表团在 UN AI for Good 峰会力推开源模型为全球南方默认方案
Semafor 报道：中国大型代表团在日内瓦 UN AI for Good 峰会四天，持续推动中国开源 AI 模型成为发展中国家首选。阿里云前架构师王坚称中国 AI 可成为各国"资源"，"让世界有得选很重要"。北京主导的世界 AI 合作组织已覆盖 29 国（美国不在其中）。美国前沿实验室领导人集体缺席本次峰会。Semafor 将此定位为"token 外交"。
来源：Semafor <https://www.semafor.com/article/07/28/2026/token-diplomacy-how-china-is-shaping-the-worlds-ai-future>
8. Harmony 获 $3400 万种子轮：AI 员工入职/管理 Agent 嵌入 Slack 和 Teams
前 Cisco Epsagon 创始人（$5 亿被收购经验）Nitzan Shapira 和 Ran Ribenzaft 创办的 Harmony 获 Lightspeed 领投 $3400 万种子轮。平台提供 100+ 预建 AI Agent，嵌入 Slack/Teams 处理员工入职、软件权限分配、密码重置、审批和合规问答。投资方包括 Hitachi Ventures、Fin Capital、Wiz 创始团队等。约 50 人团队，纽约/特拉维夫双总部。
来源：Business Insider <https://www.businessinsider.com/harmony-pitch-deck-ai-startup-34-million-seed-founders-cisco-2026-7>
9. ThreatLocker 完成 $1.9 亿 F 轮融资，防御 AI 驱动攻击
端点安全公司 ThreatLocker 完成 $1.9 亿 F 轮，领投方 Elephant 加 Koch Disruptive Technologies，D.E. Shaw Ventures 和 Arthur Ventures 继续跟投，估值超过此前 $16 亿。CEO Danny Jenkins 表示资金将用于 AI 代码和自主 Agent 的 allowlisting 与隔离控制，并开设英国雷丁办事处。融资反映了 AI 驱动的网络攻击正在重塑安全预算优先级。
来源：CRN <https://www.crn.com/news/security/2026/threatlocker-lands-190m-in-new-funding-5-key-things-to-know>
10. 美国会议员调查 DoorDash 使用月之暗面 Kimi K2.6 模型
众议院中国特别委员会主席 Moolenaar 和国土安全委员会主席 Garbarino 8 月 1 日致信 DoorDash CEO 徐迅，要求 8 月 14 日前披露使用的每个中国 AI 模型及安全测试结果，并要求相关员工 8 月 21 日前到场接受质询。信中承认中国开源模型具有竞争力、低成本和可定制性，但强调"不能忽视国家安全问题"。
来源：South China Morning Post <https://www.scmp.com/news/china/diplomacy/article/3362616/us-lawmakers-investigate-doordashs-use-moonshot-ais-kimi-k26-model>
11. Bloom Security 走出隐身：$2000 万种子轮，AI 时代端点安全新方案
以色列 Tel Aviv 的 Bloom Security 获 $2000 万种子轮，Glilot Capital 和 Ten Eleven Ventures 领投，Okta Ventures 和 Runtime Ventures 参投。平台可清点员工端点上运行的 AI Agent、MCP 服务器、浏览器扩展和代码包，并按角色/数据访问/工具组合给出上下文风险评分。创始人团队来自 Palo Alto Networks 和 Dig Security，已在美欧数十家大型企业部署。
来源：The Next Web <https://thenextweb.com/news/bloom-security-20m-seed-ai-enterprise-endpoint>
12. Microsoft 开源 Flint：专为 LLM 设计的图表可视化语言
微软研究院发布 Flint，开源可视化 DSL，定位为 Vega-Lite 的 LLM 友好替代。语法更短、token 开销更少、渲染可预测，让 LLM 从表格数据自动生成可靠图表。在 Hacker News 引发热议。
来源：Microsoft GitHub <https://microsoft.github.io/flint-chart/>
本日报由 AI 自动生成 · 只收录近 24 小时首次报道的新内容