搜索：可验证智能 - AI Reading Hub

「可验证智能」共找到 7238 篇相关文章

Github 7万星的Clawdbot实测：用国产模型做心脏，躺在床上指挥电脑干活。

本文实测了Github 7万星的Clawdbot（现叫Moltbot），介绍其能在本地运行，可多平台交互，有持久记忆、能控制浏览器等特点，还说明了安装配置过程，指出它虽有不足但想象空间大。

2025年1月27日，月之暗面发布并开源Kimi K2.5模型，它是迄今最智能全能的模型，在多任务有出色表现。支持多模态输入，具备新能力，还推出Kimi Code工具，集群能力也开启Beta测试。

AI跨越关键门槛能完成有经济价值的工作，但也可能产生大量无用内容。OpenAI新测试显示大模型进步快，虽暂难取代人类工作，但智能体工作续航能力大增，人类对其使用方式决定未来。

本文是对李飞飞的访谈编译。她指出语言模型在世界理解上有短板，空间智能是关键，还探讨了AI发展历程、世界模型重要性等，介绍其公司产品Marble，强调人人在AI时代都有位置。

当特斯拉等巨头还在展示蓝图，星尘智能已量产绳驱AI机器人并获多笔订单。在IROS 2025上，其首发半身机器人和超远程遥操作方案，以「Design for AI」理念获《Nature》认可，展现全栈技术实力。

文章围绕子模优化展开，介绍其在文本选择、段落重排和上下文工程中的应用。指出当前重排器的缺陷，通过子模优化可解决冗余问题。还给出实验结果，凸显其优势，如理论保证、自动停止机制等。

这篇ACL 2025主会论文聚焦提升智能体指南规则遵循能力。提出评估基准GuideBench，涵盖7类1272个任务。实验显示多数主流大模型指令遵循能力不佳，尤其数学推理挑战大，为模型迭代提供评估基准。

MIT与谷歌团队在研究PASTA中探索异步生成范式，开发标记语言PASTA - LANG，采用双阶段训练流程，设计推理系统。实验显示PASTA平衡性能与质量，有可扩展性，为LLM推理效率优化开创学习驱动新路径。

8月，阿里「千问办公」开启公测，它整合三款产品，还接入最新旗舰Qwen3.8 - Max。该产品交付成果可用，可一站生成多模态内容和Office产物，与钉钉打通且有组织级Skill，优势明显。

上周Anthropic在开发者大会上，让参会者用Claude Code为巴掌大的M5Stack Cardputer ADV写程序，会后官方展示五个小项目，如摇一摇切换MacBook模式、拼写游戏等，代码开源，设备可带回家。