「硬件瓶颈」共找到 1029 篇相关文章
ICSE 2026杰出论文 | 突破代码模型真实工程落地瓶颈，北大团队提出SEAlign对齐框架：显著提升软件工程智能体决策质量
现有代码模型在经典基准表现好，但在真实软件工程环境表现差。北大金芝、李戈团队提出 SEAlign 框架，通过识别与对齐智能体轨迹关键决策点，提升模型在真实工程任务表现，成果获 ICSE 2026 杰出论文奖。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
优理奇机器人完成两轮合计3亿元天使++++轮及天使+++++轮融资，“算法-硬件-场景”三位一体加速具身智能应用落地
优理奇机器人近日完成两轮合计3亿元融资，是半年内第五轮。其坚持“场景驱动”，产品在运动会获奖，量产交付订单超千台。构建完整技术栈，推出标准化机械臂产品，创始人看好具身智能统一发展。
ICLR 2026 Workshop二轮征稿开启：聚焦终身智能体的学习、对齐、演化
人工智能进入转折点，AI Agent 崛起但存在瓶颈。ICLR 2026 会议期间的 Lifelong Agent Workshop 将深入探讨相关问题，推动终身智能体研究范式，现开启二轮征稿。
一键检测你的电脑能跑哪些大模型，这项目6！
介绍工具`LLMFit`，它用Rust编写，能自动检测硬件配置，判断大模型能否流畅运行，还可推荐最优量化版本和运行模式。该项目在Github获5.9k+ star，有多种安装方式。
寻找最强具身大脑！全球机器人顶会ICRA开启报名，智元全程陪跑带你拿奖
由智元主办的AGIBOT WORLD CHALLENGE @ICRA 2026赛事开启报名，设推理 - 操作和世界模型两赛道。智元提供顶配硬件、仿真平台、数据集和基线模型，还有超百万美元奖金与资源，助力开发者。
一站式机器人操作控制框架ManiUniCon
ManiUniCon是多进程机器人控制框架，为操作任务设计。有模块化设计、多机器人支持等特性，介绍了架构、支持的硬件、安装方法、使用方式、开发途径及可用工具等内容。
给龙虾🦞装上一双手，直接解放了我的双手！
OpenClaw让AI Agent爆火，Violoop应运而生。它是桌边触屏AI原生硬件，实现感知 - 判断 - 执行闭环，有诸多亮点，适合特定人群，4月Kickstarter众筹发布，链路设计思路清晰值得关注。
五一大瓜！英伟达强烈批评Anthropic，造谣中国走私AI芯片
CNBC消息，Anthropic在文章中称中国用“孕妇肚子”和活龙虾运输AI芯片，英伟达强烈批评，认为应专注创新。美国“AI扩散规则”即将生效，特朗普拟更新限制措施，Anthropic依赖英伟达硬件却呼吁更严限制。
国产算力正在进入Token标准化时代
2026年6月17日，是石科技攒局国产异构算力创新发展论坛。其创始人闫博文认为国产算力瓶颈在工程化转化能力。是石科技正将异构算力转化为标准化Token生产能力，还启动B轮融资。