「有监督学习」共找到 7102 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
科技赋能 未来已来 | 人形机器人训练中心探秘 @首钢园
文章探秘首钢园的人形机器人数据训练中心，提及机器人学习的情况，还列出了相关参考资料，展现科技赋能下人形机器人领域的发展。
π0.7的泛化能力有多强？零样本纯靠口述就能用空气炸锅，演示完换个机械臂也能叠衣服
2026年4月16日，美国明星机器人AI公司Physical Intelligence发布模型π0.7。它具组合泛化能力，借助多模态提示框架，能零样本完成新任务。在空气炸锅、叠衣服等实验中表现出色，有望推动具身智能发展。
NanoClaw：ClawdBot瘦身版，500行代码搞定
开发者因OpenClaw代码库复杂，开发出NanoClaw，核心代码仅500行。它运行在Apple容器，有安全设计，还增加Docker支持。虽跟随热度爆火，但‘nano’项目热度易逝，当下适合借鉴。
给龙虾🦞装上一双手，直接解放了我的双手！
OpenClaw让AI Agent爆火，Violoop应运而生。它是桌边触屏AI原生硬件，实现感知 - 判断 - 执行闭环，有诸多亮点，适合特定人群，4月Kickstarter众筹发布，链路设计思路清晰值得关注。
突发！姚顺雨后，清华95后庞天宇加入腾讯，任混元「首席科学家」
继OpenAI大神姚顺雨之后，95后清华博士庞天宇入职腾讯，任混元首席研究科学家，负责多模态强化学习。腾讯AI战略从跟随转向进攻，人才、技术、架构都有新动作。
备受Meta折磨，LeCun依旧猛发论文！新作：JEPAs不只学特征，还能精准感知数据密度
备受Meta审核规定“折磨”，LeCun仍发新论文。其团队发现自监督模型JEPAs学会了数据“密度”，打破学界以往认知。还提出JEPA - SCORE工具，经多组实验验证其效果。
月薪 3500 的 “机器人保姆” 来了！OpenAI 投资的家用人形机器人开售，AI 是核心驱动力
10月28日，OpenAI投资的1X Technologies推出的家用人形机器人NEO开售，早鸟价20000美元/台，也可月租。它硬件出色、AI驱动，能对话、处理家务并持续学习，核心是升级的硬件平台。
首发丨手机的『魔法挂件』，实测钉钉dingtalk A1，有用的好帮手
2025年基于大模型的AI硬件焕发生机，钉钉dingtalk A1是其中代表。它厚度仅3.8mm，使用方便，具备会议录音转写、纪要生成、通话分析等功能，还能用于学习和生活场景。
Agentic Deep Research新范式，推理能力再突破，可信度增加，蚂蚁安全团队出品
尽管LLM能力提升，但在复杂任务上受静态内部知识限制。业界提出Agentic Deep Research系统，不过现存系统有梯度冲突和奖励稀疏问题。蚂蚁安全团队提出Atom - Searcher，解决上述问题，实验效果良好。