「中科院自动化所」共找到 649 篇相关文章
微软、哈佛开源创新优化器:全面超越Muon,提升大模型训练效率
随着大模型训练所需计算资源爆炸式增长,微软和哈佛团队联合开源优化器Dion。它利用低秩近似和解耦动量缓冲区,避免分布式训练同步完整梯度,在集中式和分布式场景都有高效表现,性能超Muon。
AI自动写学术综述:10分钟生成6万字,成本不到四块钱
上海人工智能实验室等单位提出SurveyForge框架,能自动化生成高质量学术综述论文。它有双数据库协同驱动的大纲生成机制、学者导航代理SANA和并行生成与协调机制。还有SurveyBench评估框架,实验显示其效果好,应用前景广。
ICRA 2025 获奖名单出炉,卢策吾、邵林等人获分类最佳论文奖
2025年IEEE国际机器人与自动化大会(ICRA 2025)落幕,公布最佳论文等奖项。上海交大卢策吾团队获人机交互最佳论文奖,新加坡国大邵林团队获机器人操作与运动最佳论文奖,大会竞争激烈,共收3000余篇投稿。
老黄秘密武器曝光:AI一夜设计芯片,顶人类顶级工程师10个月!
英伟达在GTC大会揭露用AI设计GPU,原本8名工程师10个月的任务,AI一夜完成。其开发NB - Cell、Prefix RL等工具,还推出内部大模型Chip Nemo和Bug Nemo,不过完全端到端自动化设计仍有距离。
新瓶旧酒or涅槃重生?操作系统的 AI 进化终将走向何方?
本文基于「AI 进化论:智算时代 OS 的破局之路」直播实录,解码 AI 时代 OS 破局之道。探讨国内外 OS 的 AI 进化差异、内核价值重构、技术跃迁、算力适配等,还提及未来趋势、Agent 生态挑战及 OS 进化关键。
两次拿到陆奇投资,张浩然这次想用 Agencize AI 干掉所有工作流 Agent
Agencize AI 创始人张浩然认为,所有要求用户预先构建工作流的 Agent 都是错的。该产品让用户只需描述意图,就能完成自动化工作,为用户生成个性化软件,连接传统 SaaS 软件。其还谈到未来软件变革及产品壁垒等。
Codeforces难题不够刷?谢赛宁等造了个AI出题机,能生成原创编程题
LiveCodeBench Pro团队推出AutoCode框架,利用LLM自动化竞赛编程问题创建与评估。该框架结合验证器 - 生成器 - 检查器框架与双重验证协议,在测试用例生成上可靠性佳,还能生成新问题,同时揭示了LLM在创作上的优劣势。
Hexstrike AI的安装及交互跟踪环境
Hexstrike AI是基于专业化Agent协同的智能渗透测试系统,有强大自动化攻击能力。文章介绍其安装方法,包括服务端和客户端配置,还提及搭建跟踪系统及后续计划,将深入分析专业AI代理原理及关注v7.0新功能。
AI驱动的开源攻击框架:HexStrike-AI
HexStrike-AI是安全研究员开发的开源攻击框架,2025年7月起在GitHub免费提供。它基于MCP协议,集成LLM与150多种工具,可自动化渗透测试和漏洞发现。曾被网络犯罪分子利用,能加速攻击流程,展现强适应和并行化能力。
斯坦福华人研究火了:45分钟让你的论文变身AI智能体!
斯坦福大学研究人员提出Paper2Agent,可将静态论文转化为可交互的AI智能体。它提供自动化工作流,核心是封装成MCP服务器。通过三个案例展示其将不同论文转化为智能体的能力,提升科研成果易用性与可复现性。