「AI数学证明」共找到 10120 篇相关文章
百度“龙虾” 全家桶亮相，多款龙虾产品上新，家用小度虾也来了
3月17日百度AIDAY龙虾专场，百度“龙虾”全家桶亮相，多款产品上新。百度集团沈抖谈OpenClaw趋势，还推出桌面AI智能体DuMate、“家用小龙虾”等，多个Skills也发布，持续降低体验门槛。
工业级 LLM 数据工程：北京大学 DCAI 团队 DataFlow 框架的架构设计与实践
2026 年大模型研发从‘模型中心’向‘数据中心’演进，数据语义密度与工程精度成突破关键。北京大学 DCAI 团队推出 DataFlow 框架，解决数据准备难题，其技术报告登顶 Hugging Face。该框架有多种特性，实验验证其能提升模型性能。
马斯克惊叹！DeepSeek和Kimi先后出手，捅破了Transformer的「潜规则」！
文章介绍了DeepSeek和Kimi在残差连接上的突破。DeepSeek让连接权重可学习，用数学约束保证稳定性；Kimi将注意力机制用于层间连接，解决了更根本的问题，性能提升显著。
光轮智能完成 10 亿元融资，全球首个具身数据独角兽诞生
近日光轮智能完成10亿元A++及A+++轮融资，成全球首个具身数据独角兽。其构建具身规模化数据与仿真引擎，在三领域成全球交付冠军，还推动行业基础设施建设。
在 Mac 上安装最新版 OpenClaw 并接入企业微信之后，一切都改变了
文章介绍在Mac上安装最新版OpenClaw及接入企业微信的方法。新版本功能增强，安装后可连接多种工具。接入企业微信后，能实现诸多功能，如分析股价、制定健身计划等，还能拓展写作等技能。
CVPR 2026 | 1B模型也能当多镜头导演？大连理工&快手可灵开源力作MultiShotMaster
大连理工与快手可灵团队推出MultiShotMaster框架，能在1B左右小参数量级模型实现导演级镜头调度和连贯叙事，支持多图参考、主体运动控制。论文录用至CVPR 2026，代码已开源，还获AAAI CVM Workshop竞赛冠军。
智能流体力学青年学者论坛第30讲~33讲
智能流体力学青年学者论坛第30 - 33讲将于2026年3月6日举办，由中国空气动力学会智能流体力学专委会主办。报告涵盖迈向大语言模型时代的自动化智能CFD工作流等主题，多位学者将分享最新研究成果。
王兴兴署名，宇树机器人春晚之后又进化了：单个策略就能学习各种极限动作
春晚上，宇树机器人展现高动态、高协同的全自主集群控制技术。现在，多机构提出 OmniXtreme 通用策略，可执行各种极限动作。该框架分两阶段，经测试在仿真和现实中表现出色，打破了泛化壁垒。
2026 年，万物皆 Coding Agent 的平台工程新范式（A2A / ACP / MCP / Skill）
过去 DevOps 工具链复杂，如今 AI 重塑其为 Coding Agent。借助 A2A、ACP、MCP 和 Skill，可构建 Agent 网络。文章分析平台工程演进，介绍相关协议，对比编排模式，还给出 Routa 编排架构实践参考。
击败 GPT-5！理想汽车开源 RubricHub：大模型开放生成从此有了专业裁判
理想汽车基座模型团队联合高校发布RubricHub数据集，解决开放式任务评价难题。该数据集可将主观评价转化为量化标准，经其训练的Qwen3 - 14B小模型在医疗基准测试中超越GPT - 5。