「可验证推理」共找到 6130 篇相关文章
谷歌机器人大脑又进化了。成功率飙3倍，还能看表干活、保护自己
Google DeepMind发布机器人大脑Gemini Robotics ER 1.6模型，提升机器人空间感知、多视角解析与仪表读取准度，具精准指认、读表能力，还提高操作安全性与合规度，开发者可通过Gemini API等使用。
龙虾也能当导演了！LibTV解锁全自动拍片，一句话从剧本干到成片
LiblibAI推出AI视频产品LibTV，是一站式AI内容创作社区。它把人和Agent当平等用户设计，人类可自由操控画布创作，也能让Agent一句话全自动出片，还集成多种模型，定价有竞争力。
Clawdbot国产芯片适配完成！清华特奖出手，开源框架直接一键部署
Clawdbot（现名OpenClaw）超火，不到一周GitHub达12万Star。但使用成本高，新开源的国产框架玄武CLI可让其在本地运行，适配国产芯片，还能降低成本，避免信息泄露。
2026年，腾讯正式用元宝派杀入了AI社交。
2026年开年，腾讯用元宝派进军AI社交赛道。元宝派玩法新颖，有独特社交体验，还能与元宝交互，如生成图片、总结消息、制定日程等。虽内测有小毛病，但未来可期。
ChatGPT「群聊」功能正式开启内测
OpenAI正式在部分地区试点ChatGPT群聊，覆盖移动端和网页端。该功能可用于生活娱乐、工作学习等场景，由GPT - 5.1 Auto模型驱动，操作简单，还考虑了隐私与控制。
Visual Studio 正式支持 MCP
2025年8月微软宣布模型上下文协议（MCP）在Visual Studio正式可用，为AI智能体与外部工具连接提供一致协议。开发人员可配置文件连接，管理员能管理使用。但存在限制和安全风险。
AI模型守法率提升11%，港科大首次用法案构建安全benchmark
香港科技大学KnowComp实验室从法律合规视角研究LLM安全，提出「安全合规」新范式。基于法律条文构建benchmark，用GRPO微调Qwen3 - 8B得推理模型，在新benchmark测试中性能提升显著。
从科学论文自动生成视频
该项目解决学术演示两核心问题，用智能体PaperTalker生成视频，还设Paper2Video基准评估。介绍了PaperTalker使用步骤，含环境、配置、推理，也说明了Paper2Video评估指标及运行方法。
腾讯重磅开源：端到端文档转换VLM，中英文错误率双料最佳！
腾讯开源端到端文档转换视觉模型POINTS - Reader，可将文档图片转结构化文本。它基于POINTS1.5架构，支持中英文。在OmniDocBench基准上，中英文错误率暂列最佳，具零后处理简单等亮点。
制造企业如何实现 AI 产品经理“能力复制”？｜极客时间 AI 人才培养实践
在数智化转型中，企业开展AI培训却难转化业务价值。极客时间与制造企业合作，用“线上+线下+实战”的OMO训练营，实现AI产品经理“能力复制”，成果获认可，模式可复制。