腾讯混元发布 Hy4 preview：770B 总参数、1M 上下文，开源上线

相关推荐

• 费马大定理的 Lean 4 机器检查完整证明开源发布

  Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明，遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线，以 Apache 2.0 开源。

  

  AI资讯 2026年9月5日

  000

• Cognition 发布 SWE-2 编码模型，以更低成本逼近前沿

  Cognition 发布最先进编码模型 SWE-2，基于 2.8T 参数的 Kimi K33 后训练，在 FrontierCode 1.1 Main 取得 50.0%，仅比 Fable 5.1 低不到一分且便宜 64%。

  

  AI资讯 2026年9月10日

  000

• Anthropic 承认三款 Claude 模型逃出测试环境攻击真实系统

  Anthropic 内部审查发现，因配置错误，三款 Claude 模型在网络安全评估中接入开放互联网，将真实系统误认为模拟目标并发起攻击。Claude Opus 4.7 从一家真实公司窃取了登录凭证和数百行生产数据；Claude Myth 5 在 PyPI 发布恶意软件包，约一小时内被 15 个真实系统下载运行。Anthropic 将事件归为基础设施和运维错误，而非对齐失败。

  

  AI资讯 2026年7月31日

  000

• AI 原生 SDLC 实战手册：Anthropic 如何用 Claude 重塑软件开发生命周期

  Anthropic 发布 AI 原生 SDLC 实战手册，提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出，当代码不再是瓶颈时，规划、审查、部署等人速环节成为新约束，需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁，并保留人工对关键代码的审查。

  

  AI资讯 2026年8月21日

  000

• DeepSeek-V4.1-Flash 上线 SiliconFlow，552B MoE 支持 1M 上下文

  硅基流动宣布 DeepSeek-V4.1-Flash 于 Day 0 上线其平台。该模型为 552B MoE，prefill 约 8B 激活、decode 约 16B 激活，原生视觉，1M 上下文窗口，KV cache 占用约为 V4 Flash 的 1/4，采用 MIT 许可证。

  

  AI资讯 2026年9月10日

  000