「可验证智能」共找到 7235 篇相关文章
AI最尴尬的短板，中国科学院出手了
7月24日，中科院计算所“知境”团队发布知境社会心智大模型技术体系，为现有大模型补社会心智短板。其建评测体系SoMBench，设计训练系统Zing，用部署架构Actio，在多评测超越GPT - 5.5等，应用前景广。
最新 AGI 暴论：强化学习的「GPT-3 时刻」实现，还需要 1 万年？
国外AI初创公司Mechanize三位创始人联合撰文称，RL或迎“GPT - 3时刻”，但需数千至上万年“模型处理任务所用时间”训练。还提出“复制训练”新范式，能磨炼模型能力，补足短板。
QoderWork Design 上线，设计即代码，不输 Claude Design
阿里 QoderWork 上线设计工作台，定位用自然语言做专业设计。与 Claude Design 接近平手且小有优点，有 140 种风格参考，画笔和 Nudge 工具方便修改，产出可直接用于开发的工程文件。
独家 | 前理想汽车联创沈亚楠成立「赫宇机器人」，布局家庭机器人
AI科技评论独家消息，前理想汽车联合创始人沈亚楠创立「北京赫宇机器人科技有限公司」，进军家庭机器人方向。赫宇机器人是其智能住宅品牌「栖息地」体系内新业务，项目处早期团队组建阶段。
GPT-5.4发布，拥有原生计算机操作能力，像是给OpenClaw量身打造的模型。
OpenAI凌晨发布GPT-5.4，或是4o模型后提升最大的一次。它价格较合理，有原生计算机操作能力，支持100万token上下文，还有工具搜索功能可降47% token损耗，与OpenClaw适配性佳。
Claude一夜吞掉所有APP，全球打工人变天！AI时代「操作系统」诞生
Anthropic官宣十大办公神器可在Claude中交互，集成「MCP Apps」打破AI与软件工具隔阂。Claude从单一对话助手向「AI工作站」演进，新功能已向部分用户开放，MCP Apps带来交互革命。
3.4K star！阿里出品对话式UI神器，轻松打造专业级聊天界面！
ChatUI 是阿里开源的对话式 UI 设计语言与 React 组件库，有智能消息流处理、无障碍访问认证等亮点。技术架构明确，与同类项目对比优势独特，还给出使用指南和实践场景。
【开源】Multica：让 AI Agent 成为真正的团队成员
Multica 是开源的 Managed Agents 平台，能统一分配任务、跟踪进度、积累经验。它把 AI Agent 当团队成员管理，有5个关键能力，兼容8种主流 Agent，支持自部署，5分钟可上手，但生态尚处早期。
8.9K Star！号称 Notebook LM 开源平替，支持 16+AI 模型，一键部署！
Google Notebook LM 虽方便，但有数据泄露风险且被平台绑定。开源工具 `open-notebook` 是其平替，支持 16 + 家 AI 模型提供商，可处理多模态内容，能本地部署保障数据安全，还具备多种实用功能。
成本仅0.3美元，耗时26分钟！CudaForge：颠覆性低成本CUDA优化框架
CUDA代码性能对模型训练与推理重要，但手动优化门槛高。明尼苏达大学团队提出CudaForge，是低成本多智能体CUDA Kernel生成与优化工作流，实验效果好，成本低且具通用性。