「推理质量」共找到 2595 篇相关文章
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
视频生成比播放还快：开源VDN-H3，14秒视频11秒搞定
近期，网络出现“无限流”视频，源于MiniMax H3。OpenVDN团队开源Video Delta Net（VDN），基于MiniMax H3使视频生成速度提升75到90倍，14.4秒的768p视频11.23秒就能生成。它采用混合思路，性能提升显著。
刚刚，Claude偷偷上线隐形水印，每个字都可全球追踪！
8月2日起，Claude生成文字将带隐形水印，触发原因是欧盟AI法案透明度要求。Anthropic设计了文本隐写加文件签章两层标记，覆盖五条产品线，全球生效，但水印存在四重局限，引发用户争议。
逛完WAIC，我们发现这家芯企已经把端侧AI“场景落地”做实
7月17 - 20日，世界人工智能大会召开，端侧AI成热点。瑞芯微展台展示大模型、Agent、AI+应用，多方案已量产落地，其双轨架构优势突出，还规划了产品路线图。
我去，真有这种，Openclaw 增强工具，ClawRouter 让 AI Agent 自己选模型、自己付钱，还能把 LLM 成本打下来 90%，爽～～
ClawRouter是开源本地LLM Router / Proxy，支持55+模型，能让AI Agent自动选模型、付费，将LLM成本降90%。它解决路由、支付等问题，适合做AI Agent、编程工具等产品的开发者。
让机器人学会「预判接触」：它石智航牵头四大顶尖机构发布TacForeSight，破解精细操作难题
它石智航联合四大顶尖机构发布论文 “TacForeSight: Force-Guided Tactile World Model for Contact-Rich Manipulation”，提出力条件触觉世界模型，让机器人能提前预判接触变化，在真机验证中性能优异。
广域铭岛 x 领克汽车张家口工厂：一座工厂的智造进化论
广域铭岛‘工厂大脑’产品落地领克张家口工厂，解决了数据割裂、异常处理难等问题。通过四个核心场景，实现管理、流程和决策升级，验证了‘数据+AI’在复杂制造场景中的价值。
从“一句成片”到“长轨推演”：探究多模态智能体在长视频编辑中的应用
近年来大语言模型在长篇视觉叙事中潜力卓越，但长视频剪辑仍难控制。中科大等团队开源工作从系统工程视角研究多模态智能体在长视频编辑中的机制，重构剪辑管线，找到症结并给出解决办法。
1.3万人收藏的 OpenHarness！港大开源轻量级 Agent 基础设施，兼容性拉满！
近期，香港大学数据科学学院团队开源项目 OpenHarness，它是 Agent 基础设施，有 Agent Loop、工具箱等亮点，功能特性丰富，支持多种大模型提供商，还提供多种安装和配置方式。
4400 人收藏的开源排版项目！Kami：让 AI 生成的文档，终于有了值得一看的排版！
开源作者tw93因不满AI生成文档排版，开发了Kami。它是给AI写的文档设计系统，有一套跨文档的约束集合，支持六种文档类型，安装简单，能让AI生成的文档排版更专业。