Emacs 31.1发布，虽无重大新功能但值得升级。终端支持child frame和真彩色，tree-sitter实现零配置自动安装，补全系统更现代，新增窗口布局命令和user-lisp目录。移除unexec技术，多项小改进简化配置。升级需注意废弃变量和ctags移除。

本文介绍了两个新的Promise特性：Promise.try()和Promise.withResolvers()。Promise.try()用于统一处理同步和异步错误，但无法捕获setTimeout等异步操作中的错误。Promise.withResolvers()简化了Promise的创建与状态控制，适用于事件监听和超时控制等场景。这些特性提升了JavaScript异步编程的可读性和可维护性。

研究团队提出Jet-Nemotron，通过后神经架构搜索优化全注意力模型，显著提高生成吞吐量，同时保持或超越准确率，为高效语言模型设计开辟新路径。

M3-Agent框架通过处理实时视觉和听觉输入，构建多模态长期记忆，具备分层的情景和语义记忆机制，展现出接近人类的智能特征。实验结果显示，其在长期信息保持和推理方面优于传统模型。

仓颉编程语言是华为开发的新语言，支持Windows、Linux和Darwin系统，旨在为Java和C#程序员提供易于迁移的编译语言。其语法与这两种语言相似，支持基本数据类型、数组、元组等，具备面向对象和函数式编程特性，功能丰富，适合企业开发。

剑桥大学与Meta合作开发了全原子扩散Transformer（ADiT），该框架能够同时生成周期性材料和非周期性分子。实验结果表明，ADiT的性能与专用模型相当，显示出在生成复杂原子结构方面的有效性。

视觉语言模型（VLMs）正在推动多模态理解与推理的发展。智谱AI与清华大学推出的GLM-4.1V-Thinking模型在STEM问题和视频理解等任务中表现出色，尤其在长文档理解和STEM推理方面与GPT-4o相当或更优，展现了强大的多功能性，推动了智能系统的进步。

Arc Institute与加州大学合作开发的机器学习架构State，能够有效预测细胞在不同环境下的反应，准确率提高超过50%，尤其在基因表达识别方面表现突出。

小米互联应用存在高危漏洞，攻击者可完全控制设备。中东网络战升级，黑客活动增加。新间谍软件伪装成流行应用窃取用户数据。主流AI平台缺乏用户隐私保护。NVIDIA和ELECOM等软件和设备也发现高危漏洞，需及时更新。

本文介绍了DeepSeek-Prover模型的开发，旨在通过生成大量形式化数学证明数据来提高自动定理证明的效率。该模型结合大型语言模型（LLM）和Lean 4验证器，自动生成和验证数学问题的证明，解决了传统方法的复杂性和效率问题。通过迭代优化，DeepSeek-Prover逐步提升了证明的质量和准确性。

本文总结了国内APP上架过程中的问题和周期，包括ICP备案、软著申请及各大应用市场的上架要求，建议提前申请软著和备案，以避免上架时的麻烦。

本期《安全事务》周报关注全球网络安全动态，包括PlayStation Network中断、Kimsuky组织攻击和医院数据泄露，提醒机构及时修复漏洞，增强数据安全意识。

自DeepSeek R1发布以来，其强大性能引发广泛关注，导致官网服务器负担加重。为应对这一挑战，硅基流动与华为云联合推出基于昇腾云的DeepSeek R1 & V3推理服务，标志着国产GPU替代英伟达GPU的重要进展。此次合作有望改善国产GPU的适配性问题。

本文分析了Mixtral 8x7B模型的架构与性能，指出其与GPT-4相似但参数更少。Mixtral采用MoE架构，通过选择两个专家处理每个token，提高了推理速度和效率。该模型在多项基准测试中优于Llama 2 70B和GPT-3.5，并引入GQA机制以降低参数量。总体而言，Mixtral在指令遵循和性能上表现出色。