「形式化验证系统」共找到 2429 篇相关文章
机器狗翻了个身，国产GPU往前走了坚实一步｜甲子光年
5月18日摩尔线程发布会上，机器狗“小飞”侧空翻，是业内首次基于国产硬件仿真平台训练、国产端侧芯片部署并真机验证。该司以全功能GPU打造国产具身智能基础设施，MT Lambda平台解决多方面问题。
从最优传输角度训练奖励模型：让 RLHF 学会「忽略错误偏好」丨ICML 2026
浙江大学、小红书、北京大学等团队提出SelectiveRM，基于最优传输训练奖励模型。它重构训练目标，通过选择性分布对齐排除噪声偏好，解决了奖励模型训练中监督信号不可靠的问题，实验验证其有效且泛化能力好。
人形机器人绕不开的坎：续航问题怎么破？
人形机器人续航问题常被忽视，但它面临电池重量、行走能耗、脉冲负荷三个维度约束，标称续航在实际工况会打折，工程上可通过快速换电和提升单次充电电量应对，固态电池有潜力但有待验证。
Auto Research时代，47个没有标准答案的任务成了Agent能力必测榜
Einsia AI旗下Navers lab发布Agent Benchmark——Frontier-Eng Bench，让AI在47个多学科交叉的硬核任务中做工程优化，测试其迭代优化能力。研究总结出AI进化规律，初步勾勒接近真实工程循环的AI系统。
蛰伏一年，周衔团队带来首个具身基础模型，烹饪做实验弹琴，效果炸场
Genesis AI公布首个机器人基础模型GENE - 26.5，能完成烹饪、解魔方等复杂任务。该模型是全栈系统，以仿真加速迭代，用自研手套采集数据，还重写控制栈。公司后续计划发布全身机器人。
华创七星微：为直流供电系统筑起一道防火墙
随着AI等领域设备迭代，电源保护重要性凸显。华创七星微依托六类量产芯片和将问世的集成模块，为直流供电系统提供防护，其产品覆盖供电链路关键节点，有完整解决方案，还具备多种能力优势。
DeepSeek不惜代价保住它！V4关键特性被挖出来了
DeepSeek V4技术报告被深挖，为保留核心设计「batch invariance」不惜代价。该设计能保证线上推理稳定、各环节对齐，是复杂上下文系统底座，但会牺牲GPU利用率等，换来训练等多阶段可复现和稳定度。
“养虾”热潮下，专家帮你拆解Agent如何重写软件逻辑 | 奇点智能技术大会首日精彩回顾
2026 奇点智能技术大会聚焦 AI 发展新趋势，探讨 Agent 对软件与互联网产业的重构。会上发布白皮书、评测榜单，成立开发者社区，多位专家分享见解，涉及 AI 研发、模型协同、大模型演进及科学多模态模型等内容。
最新风口Harness，李开复、陆奇已重金入场
养虾人面临Token费钱、长程任务不靠谱问题，行业浮现Harness群体多智能体解决方案。OpenAI、Anthropic等顶尖玩家发现需更高约束系统。明日新程获陆奇、李开复投资，李笛团队将推新产品，检验群体智能能否走向C端。
Claude Code 推出 Monitor 功能，帮你随时盯梢
Claude Code 在 v2.1.98 版本推出 Monitor 功能，可让 Agent 后台挂监控脚本，解决轮询痛点。它能覆盖日志监控等多场景，与 /loop、/schedule 功能有别，使用有注意事项，反映 Anthropic 让其成工程系统的方向。