「可验证计算」共找到 5115 篇相关文章
AI科研全周期拆解：从选题到宣发，哪里能放手，哪里得盯着
Awesome AI Auto-Research Team 综述梳理 AI 科研全周期能力与局限，按四阶段八环节拆解，介绍五种方法范式，指出各阶段应用情况、瓶颈及规律，强调人本治理的 AI 辅助科研才是可信路径。
几张GPU干翻超算！耶鲁AI颠覆化学合成，实验成功率71%
近日，耶鲁大学李昊特团队开发 AI 系统 MOSAIC，将化学合成知识分 2498 个领域训练专家模型。测试中对超 35 种新化合物合成成功率达 71%，还完成难反应与新反应，相关论文发表于《自然》。
Anthropic 发布 Computer Use 最佳实践
Anthropic发布Computer Use开发者最佳实践，涵盖截图处理、模型选择、上下文管理等多方面。如缩小截图提升点击准确率，不同模型各有所长，还给出应对小目标、提示注入等问题的策略及教学、顾问模式。
把 RAG 做成主流的公司，现在开始“做空”RAG 了
Pinecone 曾将 RAG 定义成大语言模型 grounding 标准范式，如今却宣布 RAG 时代结束。它推出面向 Agent 的知识引擎 Nexus，提出“知识编译”概念，称能提高任务完成率、降低 token 开销，整个 AI 世界都在将“推理”往上游移动。
7300 人收藏的 PraisonAI，5 行代码即可部署 24 小时 AI 智能体团队！
PraisonAI是开发者Mervin Praison开源的全功能多智能体运行框架，有7.3K+ GitHub星标。它开发门槛低，支持100+大模型，具备完整智能体能力，还能可视化编排、一键接入聊天平台。
AI 驱动的多代理金融工作台
Vibe-Trading 是 AI 驱动的多代理金融工作台，能将自然语言请求转化为交易策略等。它有自然语言转策略、多数据源、专家团队等核心能力，具备面向交易的深度研究等功能，还介绍了安装方式、环境变量和推荐模型。
五一假期，花半天装个 Claude Code 玩玩？
作者朋友五一想搭建自己网站，因不会装Claude Code求助。作者整理安装流程，以Mac为例演示三分钟安装，还介绍接免费API方法，最后讲Claude Code玩法及词元跳动API优势。
重磅！Claude一口气打通Adobe、Blender等8大设计建模创意软件，3所顶级艺术院校同步试点
Anthropic宣布与多家伙伴推出一批连接器，让Claude能在创意软件中运行，涵盖3D建模、平面设计等领域。Claude在创意工作中有多种用途，Anthropic加入Blender开发基金，还与三所艺术院校合作试点。
实验室造出人类精子：无精症男性或迎生育新解法
全球约2.5亿男性患不育症，其中10%-15%为无精症。美国Paterna公司宣布在实验室用精原干细胞培育出有初步受精能力的精子样细胞，形成早期胚胎，成果或助不育男性生育，不过研究尚处早期。
震撼！人类第一张在太空生成的图片曝光
人类首张太空生成图片曝光，共绩科技与星测未来两家清华系企业携手开启「天地同算」时代。前者解决算力调度难题，后者让太空有算力可用，未来太空或成分布式超级计算机。