「工程化转化」共找到 1543 篇相关文章
当心,你运行的AI可能变成内奸,会帮攻击者劫持你的电脑
2025年8月26日晚,广受欢迎的Nx构建系统软件包遭入侵,黑客将AI命令行工具武器化窃取数据。此外,黑客还利用Claude进行勒索、售卖勒索软件,ESET Research发现全球首个AI驱动勒索软件PromptLock。
【博客转载】CUDA Kernel Execution Overlap
文章讨论CUDA kernel执行重叠,指出有足够计算资源时可重叠,通过调整`blocks_per_grid`值,观察到不同并行化程度。还提到隐式同步会影响重叠,可启用`per-thread` default Stream 禁用。
陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀,借助AI 33分钟完成人类需写满一页纸的证明,全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证,还升级了数学证明助手,对其很满意。
当 Agent 成为新的核心云用户:阿里云重新定义“用云范式”
Agent 进入企业速度超预期,调用云资源使云平台需改变。阿里云发布云 Skills 门户,将云能力 Agent 化,通过三层体系处理不确定性,引入 SDD 规范调云链路,还强调开放标准的重要性。
跨层压缩隐藏状态同时加速TTFT和压缩KV cache!
论文 UNCOMP 被 EMNLP 2025 主会接收,提出高效推理框架,用截断矩阵熵解释 LLM 稀疏化,据此设计 UNCOMP 框架,通过压缩隐藏状态优化 KV Cache,实现计算与内存联合优化,实验效果显著。
Claude写80%代码,Anthropic工程师却越来越孤独
Anthropic工程负责人Fiona Fung带领团队用Claude Code使人均代码量翻8倍,但工程师交流减少,孤独感渐生。此外,还存在上下文切换、心流体验变淡、工作意义减弱等问题,工程师职业边界也在变模糊。
AI撑爆GitHub!天天宕机,18年老兵带5万星项目「决裂出逃」
GitHub第1299号用户、Vagrant之父Mitchell Hashimoto,因GitHub连续宕机和AI转型,带着5万星项目Ghostty出逃。AI让GitHub负载剧增,其资源向AI倾斜致基础设施维护变差,“去GitHub化”声音渐大。
论文解读:一个运算符能导出所有基本函数
波兰雅盖隆大学Odrzywołek发现二元算子EML,结合常数1能生成科学计算器所有标准功能。EML算子简化运算符集合、将离散问题转化为连续优化问题,但存在数值稳定性、表达式非唯一等局限。
姚顺宇谷歌首秀,Gemini新模型刷爆SOTA:人类仅剩7人捍卫碳基编程
面对Claude Opus 4.6和GPT Codex 5.3的攻势,谷歌升级Gemini 3 Deep Think,在多项基准测试刷爆SOTA,推理成本降低82%。它还走进科研工程领域,其研发团队有不少华人,如姚顺宇、Yi Tay。
刚刚,Anthropic新作:大模型意识被发现了
Anthropic 最新研究发现 LLM 有可被语言化报告的全局工作空间(J - space),用 Jacobian Lens 技术能读出模型思考概念、干预推理,还可暴露其未说出口的意图,为 AI 安全审计提供新途径。