「可验证计算」共找到 5055 篇相关文章
AutoDev 预上下文引擎：预生成代码语义化信息，构建 AI 编程的知识基座
文章介绍 AutoDev 预上下文引擎，指出向量化代码检索性价比低，提出用预生成上下文提升 RAG 效果。Context Worker 能深度解析代码，支持多语言，使用简单，还可结合 MCP 服务获取上下文知识。
从视觉压缩，到视觉记忆：MonkeyOCRv2以重建保留文档页面证据
文档视觉编码器对LLM理解和推理很重要。MonkeyOCRv2提出‘重建即文档视觉记忆’，通过多组实验验证其有效性，还发布MonkeyDoc v2数据集，推动公平比较的研究文化。
Claude Opus 4.7发布：更强能力，自我纠错，越来越不需要人类干预了
Anthropic发布Claude Opus 4.7版本，搭配Routines功能可自动化工作，减少人类干预。该版本能力大幅增强，还引入新护栏机制保障安全，推出新运算级别和任务预算功能。
切开Claude大脑，Anthropic称发现了一个类似人类意识的内部空间
Anthropic在Claude模型中发现J空间，其与人类大脑全局工作空间理论相似，承载特殊内容且可干预、参与多步推理等，但模型和人脑有差异，研究也有局限性。
在Claude桌面版里用任意模型
现在Claude桌面版可使用任意模型，这是4月官方更新添加开发者模式带来的功能。文中介绍了操作方法，还称Claude桌面版是世界最好的AI客户端，覆盖多种使用场景，推荐大家使用。
西湖大学科研版NanoBanana开源！科研绘图从此自动化
西湖大学将科研版NanoBanana开源，其AutoFigure框架可自动化生成学术插图且能编辑，论文被ICLR 2026接收。该框架提出理性渲染范式，配套FigureBench基准测试集，表现超越人类预期。
2025（第七届）深圳国际金融科技大赛启动，激发高校学生AI创新潜力 | Q推荐
由多方联合举办的‘2025深圳国际金融科技大赛’9月26日开赛。大赛已办七年，本届设人工智能、数据分析赛道，响应国家号召，为学生搭实践平台，设50万奖金，9月26日起高校学生可报名。
隐私堡垒！Presenton开源革命：本地AI生成PPT，敏感数据永不触网！
本周GitHub新开源项目Presenton可离线制作PPT，支持主流AI模型，本地运行保护数据隐私，有灵活自定义模板和API集成功能，还具备多模型支持、主题定制等特性。
ACL'25首届博士论文奖 | 重新思考 LLM 中的数据使用
近日，第一届 ACL 计算语言学博士论文奖获得者是 Sewon Min，其论文《重新思考大型语言模型中的数据使用》围绕大型语言模型如何使用训练所用的庞大文本语料库展开研究。
Cursor现在可以直接控制浏览器了
随着Claude4.5发布，Cursor更新了“@Browser”，可控制浏览器、截图、改进UI、调试客户端等。无需安装其他工具，任何模型输入@browser即可控制浏览器，在Windows下调用顺滑，需启用预览版功能。