「可验证推理」共找到 6084 篇相关文章
Trae-Agent 刚刚开源，Windows-MCP 操作你的电脑，Chrome MCP 让AI自动化完成浏览器任务。
Trae - Agent 开源，可完成软件工程任务。Windows - MCP 能让 AI 操作 Windows 系统，Chrome MCP Server 使 Chrome 成 AI 助理。还介绍了 Gemini Cli、Claude 等工具及特点。
物理-数据双驱动的大迎角非定常气动力建模 | 航空学报CJA
现代飞行器大迎角机动时，气动力复杂，现有建模方法面临两难。论文提出DEM - LSTM混合框架，结合专家经验与数据驱动，解决小样本、强非线性挑战，经算例验证性能优势明显。
Anthropic说：Session Management 是最好用的 Harness Engineering！
Anthropic指出管理Session、Context等在Claude Code上已落地。模型上下文并非越长越好，rewind比纠错好，compact要把握时机，subagent可隔离上下文，如今行业看重agent产品runtime。
开源版AlphaXIV
开源版AlphaXIV可实现与arXiv论文智能对话，打破传统文献阅读壁垒。它利用微软Markitdown转换PDF，用MiniRAG索引内容，借助Google的Gemini API对话，还介绍了功能、问答流程、安装使用等。
独家丨欧拉万象完成数亿元融资，要做「养成系」家庭具身智能机器人
AI科技评论独家消息，家庭具身智能企业欧拉万象近日完成数亿元融资，由招商局创投领投。其创始人团队背景强大，走‘渐进式进化’技术路线，将推可养成机器人，策略务实获资本认可。
我做了个 Claude Code 对话共享工具，可以让别人半路接手你的工作。已开源
作者开发开源工具 cc-go-on，解决 Claude Code 等工具会话难共享问题。该工具可加密导出会话，支持接力对话，有五层安全防护，适配多工具，还待完善，邀开发者贡献。
支持30种语言，多种中文方言 [四川话、粤语等]的颠覆性无分词器TTS系统
VoxCPM是无离散音频分词器的语音合成系统。VoxCPM2基于MiniCPM - 4构建，有20亿参数，支持30种语言和9种中文方言，具备音色设计、可控声音克隆等特性，还完全开源，商用就绪。
32岁程序员猝死引反思：应给“随时随地办公”设红线；内存条涨速超金条，100根可换上海一套房？DeepSeek工程师误点踩令程序员破防｜Q资讯
本文为AI行业资讯汇总，包含32岁程序员猝死反思‘隐形加班’、TikTok官宣美国方案、内存条价格飙涨、燧原科技IPO获受理等热点，还有OpenAI、Meta等公司近期动态，以及行业会议推荐。
无限长、零掉帧！StableAvatar口型同步全新技术
当前音频驱动头像视频生成扩散模型合成长视频时难兼顾音频同步与身份一致，瓶颈在音频建模。复旦大学提出StableAvatar，首个端到端视频扩散Transformer，能无限时长生成，还介绍原理与演示效果。
Hugging Face 发布 FineTranslations：一个万亿级的多语言平行文本数据集
Hugging Face 发布 FineTranslations，这是含超 1 万亿 Token 的多语言数据集，用于提升机器翻译质量。它源于 FineWeb2，用 Gemma3 27B 翻译创建，数据生成流程可复现公开，还能用在其他任务。