香港大火后，无法回避的高层住宅老化危机，高层住宅老化后将沦为“贫民窟”？
曾经作为中国城市化象征的高层住宅楼，正在集体老化。随之而来的，是愈发频发的安全事故：电梯发生故障后坠落或冲顶，外墙脱落砸死居民或外卖员，高层消防救援受限导致火势持续蔓延……不久前，一篇文章甚至将老化后的高层住宅楼形容为威胁生命安全的“高层凶器”。
Depth Anything 3 - 字节跳动Seed开源的3D视觉重建模型
Depth Anything 3（DA3）是字节跳动Seed团队研发开源的3D视觉重建模型。通过单一Transformer架构实现任意视角下的空间几何重建，仅需预测深度图和射线图即可还原三维场景，相比传统方法精度提升35.7%，运行效率达126 FPS。其创新点在于采用"深度-射线"统一表征法，无需多任务模块，支持从单张图片到多视角视频的灵活处理，能适配自动驾驶、SLAM等场景。模型在视觉几何基准测试中全面超越现有方法，相关代码和演示已公开。
DeepSeek-Math-V2 - DeepSeek开源的数学推理模型
DeepSeek-Math-V2是幻方旗下AI公司DeepSeek开源的数学推理模型，最新版本基于DeepSeek-V3.2-Exp-Base改进，性能超越Gemini DeepThink，达到国际数学奥林匹克（IMO）金牌水平。模型采用多头潜在注意力（MLA）技术大幅降低推理显存消耗，通过递归定理证明管道结合非形式化与形式化推理，解决了Minif2F测试88.9%的问题。其配套开源数据集ProverBench包含325道高中至本科难度数学题，涵盖数论、代数等10个领域。<a class="js" 
好“柿”发生
一个牛逼的插件，国内用户可以免费用Grok4（附教程）
马斯克的背水一战，大获全胜！2025年最值得期待的AI模型——Grok 4，终于来了！北京时间7月10日，马斯克旗下的人工智能公司xAI正式发布了Grok 4。这是Grok系列模型的第四次重要迭代，号称是“世界上最强AI模型”。根据官方的描述，Grok 4具备“逻辑推理更强、语言理解更准确”的优势，在处理学术问题上的表现，已达到博士级别。
Depth Anything 3 - 字节跳动Seed开源的3D视觉重建模型
Depth Anything 3（DA3）是字节跳动Seed团队研发开源的3D视觉重建模型。通过单一Transformer架构实现任意视角下的空间几何重建，仅需预测深度图和射线图即可还原三维场景，相比传统方法精度提升35.7%，运行效率达126 FPS。其创新点在于采用"深度-射线"统一表征法，无需多任务模块，支持从单张图片到多视角视频的灵活处理，能适配自动驾驶、SLAM等场景。模型在视觉几何基准测试中全面超越现有方法，相关代码和演示已公开
DeepSeek-Math-V2 - DeepSeek开源的数学推理模型
DeepSeek-Math-V2是幻方旗下AI公司DeepSeek开源的数学推理模型，最新版本基于DeepSeek-V3.2-Exp-Base改进，性能超越Gemini DeepThink，达到国际数学奥林匹克（IMO）金牌水平。模型采用多头潜在注意力（MLA）技术大幅降低推理显存消耗，通过递归定理证明管道结合非形式化与形式化推理，解决了Minif2F测试88.9%的问题。其配套开源数据集ProverBench包含325道高中至本科难度数学题，涵盖数论、代数等10个领域。
Z-Image - 阿里通义实验室开源的图像生成模型
Z-Image是阿里通义实验室开源的图像生成模型，具有高效、快速和强大的图像生成能力。采用单流扩散Transformer架构（S3-DiT），将文本、视觉语义和图像VAE token整合为统一输入流，最大化参数效率。其核心技术创新包括解耦分布匹配蒸馏（Decoupled-DMD）和强化学习与分布匹配蒸馏融合（DMDR），显著提升少步生成性能和图像质量。Z-Image-Turbo版本仅需8次函数评估就能生成高质量图像，支持亚秒级推理延迟，适配低显存设备，擅长照片级真实感图像生成和双语文本渲染。Z-Image-Edit版本专注于图像编辑任务，可依据自然语言提示进行精确编辑。Z-Image-Base是未经蒸馏的基础模型，为社区提供更广泛的微调和定制开发空间