特朗普政府正在取消对 Anthropic 的神话和寓言人工智能模型的出口管制
美国商务部已通知人工智能公司 Anthropic，将对其最强大的两个AI模型——Mythos 5 和 Fable 5——解除出口管制，不再需要额外许可证即可向海外转移。此前这些模型的发布被限制在少数企业和政府机构范围内。
标签： 人工智能
AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题
AI 研究社区传出突破性进展：一种基于“证明者-验证者”LLM（大语言模型）循环的技术架构，成功解决了理论计算机科学领域 9 个长期悬而未决的数学问题。这并非简单的“解出一道题”，而是系统性展示了 LLM 在抽象数学推理中的潜力，重要性远超此前 OpenAI 的“埃尔德什差异问题”突破。
ImportError: DLL load failed while importing _fused: The specified module could not be found.
用户在 Windows 环境下运行 ComfyUI WanVideoWrapper，使用 SageAttention（尤其是 SageAttention2）或 Triton 相关功能（如 --use-sage-attention 参数）时触发。部分用户同时使用 python main.py --us
Show HN: Mimir——面向 AI 代理的本地优先加密内存（单个 Rust 二进制文件）
Mimir（原名 Mneme）发布了一个约 8MB 的单一 Rust 二进制文件，为 AI 代理提供本地持久化记忆能力，无需 Docker、数据库或云端依赖，并内置 AES-256-GCM 加密和 46 个 MCP 工具。
人工智能的未来在于本地化和开放
Google DeepMind 发布了完全开源（Apache 2.0）的 Gemma 4 模型家族，覆盖 2B 到 31B 参数，允许免费商用、本地运行甚至浏览器端推理，旨在降低开发者将 AI 从原型转化为产品的门槛。
美国陆军女兵被军人杀害的可能性比被战争杀害的可能性更大
一项首次针对美国陆军内部暴力死亡事件的数据分析显示，现役女兵被其他军人或退伍军人杀害的概率高于在战场上阵亡；即便在军队内部，女兵被谋杀的风险也高于男兵，且约会暴力致死率是全国平均水平的三倍以上。
Anthropic 推出 Claude Sonnet 5，性能接近 Opus，价格更低
Anthropic 于 2026 年 6 月 30 日发布了 Claude Sonnet 5，这款模型在推理、编码和工具使用等关键能力上接近上一代旗舰 Opus 4.8 的水平，但定价显著低于 Opus 系列，旨在让高性能 agentic 能力以更低成本触达更广泛的用户和开发者。
Show HN: 将 Sentry 错误转化为由 AI 生成的包含修复方案的 GitHub PR
一款名为 BugZero 的工具在 Hacker News 上亮相，它能自动读取 Sentry 上报的错误日志，借助 AI 直接生成一个附带修复代码的 GitHub Pull Request，将“发现 Bug”到“提交修复”的全流程自动化。
如果AI概念股持续下跌，投资者可以避险的5个方向
随着AI概念股近期波动加剧，资金正从高拥挤度的AI交易中撤出，转向生物科技、工业、公用事业、必需消费和股息质量等防御性板块。这意味着市场对AI叙事从全面押注转向结构性调整，投资者需关注资金轮动带来的机会与风险。
Neon 在亚马逊放弃后购买了一部关于 OpenAI 的电影《Artificial》
独立电影发行商 Neon 从亚马逊手中购得了一部以 OpenAI 及其 CEO Sam Altman 为核心的剧情片《Artificial》的发行权，标志着这家曾经的 AI 明星公司的故事正式进入大众文化消费领域，而亚马逊的退出则暗示了科技巨头在 AI 议题内容上的审慎态度。