「可验证推理」共找到 6130 篇相关文章
19K star 霸榜，下一代的浏览器自动化神器！
做爬虫或Web自动化测试常因网页结构变动需重写脚本。Github上超火的Skyvern项目是基于浏览器的自动化代理，不依赖XPath或CSS选择器，用视觉识别结合大模型推理完成任务，已获19k+ star。
LeRobot v0.4.0 正式发布：全面提升开源机器人的学习能力
LeRobot v0.4.0 正式发布，带来多方面重大升级。有可扩展的 Datasets v3.0、新 VLA 模型、全新插件系统；支持 LIBERO 和 Meta - World 仿真；还有数据处理 Pipeline、多 GPU 训练简化等特性，上线了机器人学习课程。
开源知识库，从 0 到上线，UltraRAG 企业知识库全流程实战 ，也许这是RAG最好的框架之一～～～
UltraRAG是基于MCP架构的轻量级RAG开发框架，核心设计工程友好。其3.0版强调推理可视化，适用于科研复现、企业知识库问答等场景，还介绍了使用方式，能解决RAG落地痛点。
灭霸带着复联放烟花！16秒，让手搓 AI 视频拥有大片即视感
生数科技的Vidu Q3超越Sora 2，位居全球第二、中国第一。它能16秒声画同出、叙事能力强、镜头和文字渲染出色，还降低了视频制作门槛，可用于漫剧、短剧、影视剧制作。
Moltbook漏洞大到可以冒充Karpathy发帖，黑客都急了
Moltbook先是被曝AI发帖、注册数量造假，现又有白帽黑客指出其存在重大安全漏洞，数据库暴露，可冒充任意Agent发帖。黑客给出修复方案，创建者称已在处理，但修复或引发新问题。
Clawdbot火了，Anthropic急了，Claude Code连夜更新了Agent任务系统。
Claude Code更新Tasks系统，将原TODO系统升级，任务可借助文件系统持久化，实现进度同步。Task变为依赖图，有阻塞关系，还能让多个Agent分工协作，任务状态存本地文件，方便查看。
独立开发者,写爬虫写麻了？这款开源命令行「Katana」帮你全自动扫站
如果你常做站点资产收集等工作，又懒得维护Python爬虫脚本，开源命令行工具Katana会很适合你。它能全面高效爬站，输入输出适配流水线，功能亮点多，不同需求者可按需选用。
7篇顶会NeurIPS 2025最佳论文都说了什么？
NeurIPS 2025七篇获奖论文揭示大模型思维同质化、推理能力虚幻边界等隐忧，也在注意力机制、神经扩展定律等方面取得物理学层面突破，为AI建立更严谨科学地基。
狂涨 9.1K star！最近这款谷歌的AI开源应用，超级火！
介绍Google的实验性应用`Google AI Edge Gallery`，它将生成式AI模型嵌入手机，支持Android和iOS，可离线运行，有多种实用功能，在Github获9.1K star，虽处Alpha阶段但潜力大。
R1时代，RAG-Retrieval技术总结与展望~
RAG - Retrieval提供全链路RAG检索模型微调、推理及蒸馏代码，支持多模型、多loss和训练方式。还发布模型技术报告，设计评估框架，未来探索RL在检索领域应用。