「可验证计算」共找到 5055 篇相关文章
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 等工具会话难共享问题。该工具可加密导出会话，支持接力对话，有五层安全防护，适配多工具，还待完善，邀开发者贡献。
太突然！OpenAI挖走了英特尔CTO
今年4月刚升职为英特尔CTO兼AI部门一把手的Sachin Katti，仅8个月后就加盟OpenAI。他将负责设计和构建计算基础设施，英特尔AI部门由CEO陈立武兼任负责。
32岁程序员猝死引反思：应给“随时随地办公”设红线；内存条涨速超金条，100根可换上海一套房？DeepSeek工程师误点踩令程序员破防｜Q资讯
本文为AI行业资讯汇总，包含32岁程序员猝死反思‘隐形加班’、TikTok官宣美国方案、内存条价格飙涨、燧原科技IPO获受理等热点，还有OpenAI、Meta等公司近期动态，以及行业会议推荐。
告别盲选LLM！ICML 2025新研究解释大模型选择的「玄学」
弗吉尼亚理工大学研究团队提出 LensLLM 框架，基于 PAC - 贝叶斯泛化界限揭示 LLM 微调性能“双相演进”，可精准预测微调性能、大幅降低计算成本，为 LLM 选型提供新工具。
Hugging Face 发布 FineTranslations：一个万亿级的多语言平行文本数据集
Hugging Face 发布 FineTranslations，这是含超 1 万亿 Token 的多语言数据集，用于提升机器翻译质量。它源于 FineWeb2，用 Gemma3 27B 翻译创建，数据生成流程可复现公开，还能用在其他任务。