「代码智能引擎」共找到 5011 篇相关文章
LeCun回应赵晟佳出任“首席科学家”
90后华人科学家赵晟佳履新Meta超级智能实验室首席科学家，引发LeCun去留热议。LeCun回应仍任Meta FAIR首席科学家并期待合作。FAIR历经改组，角色渐边缘化，赵晟佳与Meta合作令人期待。
扎克伯格官宣：要造普罗米修斯计算集群
扎克伯格为实现超级智能目标，打造顶尖团队，投入数千亿美元算力。Meta 有望成首个让超 1 吉瓦超级计算集群上线的实验室，正构建数个多吉瓦计算集群，如 2026 年上线的‘普罗米修斯’。
时空压缩！剑桥大学提出注意力机制MTLA：推理加速5倍，显存减至1/8
在大语言模型发展中，Transformer自注意力机制有计算复杂度问题且KV缓存成推理瓶颈。剑桥大学提出MTLA，结合时空压缩策略，提升推理效率，在多任务中表现出色，代码已开源。
超 10 万人都在看！Qwen3重塑文本嵌入与重排序技术版图
文本嵌入和重排序是NLP和信息检索关键组件。Qwen3 Embedding、Qwen3 Rerank模型基于Qwen3基础模型构建，有三种参数尺寸。文章介绍其架构、训练方案，还给出实战代码。
RoboScience 机器科学发布轮式仿人形通用机器人 REX G1，让机器人真正成为新一代具身生产力伙伴
8月17日，RoboScience机器科学发布轮式仿人形通用操作机器人REX G1，定位“新一代具身智能生产力伙伴”。它搭载自研VLOA架构通用具身大模型Visics，适用于多场景，推动机器人承接完整任务。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
Agentic 软件工程：造 Agent 只是最简单的部分
Agno 创始人 Ashpreet Bedi 认为造 Agent 简单，让其在生产环境稳定运行才是挑战。他提出 Agentic 软件六大支柱，给出 AgentOS Docker 模板代码实践，指出多数 Agent 产品卡壳是基础设施跟不上。
刚刚，马斯克收购了马斯克
SpaceX 宣布收购 xAI，合并后公司估值达 1.25 万亿美元。此举旨在打造宏伟创新引擎，将 AI 与航天等技术结合，利用太空资源满足 AI 算力需求，推动人类太空探索与发展。
NeurIPS Spotlight｜运动遮挡都不怕，0先验、一段视频精准预测相机参数
论文一作李放等为解决传统方法在动态场景预测相机参数的难题，提出 ROS - Cam 方法，涵盖补丁式跟踪滤波器、异常值感知联合优化、双阶段训练策略，代码即将开源。
安全噩梦：Docker 警告 MCP 工具链中存在的风险
Docker 发文警告，基于 MCP 构建的 AI 开发工具存在安全漏洞，如凭证泄露、代码执行等。MCP 协议发展快但部分实现有隐患，Docker 分析发现诸多漏洞，还提出强化方法应对。