「可验证计算」共找到 5058 篇相关文章
这个AI精准模拟人类行为大脑状态，上Nature了
德国团队开发出人类认知通用计算模型Centaur，登上Nature。它基于Llama 3.1 70B，用5天训练，参数仅Llama的0.15%，能模拟人类在160项实验中的行为，性能超传统模型。
OpenAI 史上最大一笔收购：挥金 30 亿美元砸向 AI 编码公司 Windsurf
OpenAI拟以约30亿美元收购AI编码初创公司Windsurf，这或成其史上最大收购。此前Windsurf目标估值就是30亿美元。收购可提升OpenAI编码能力，其志在主导AI编码领域。
Agent 下半场：真正能自进化的 Agent 应该是什么样的？
当下 Work Agent 难以稳定完成复杂长程任务，且经验无法沉淀。EvoMap 提出自组织蜂群架构，通过 AutoResearch 落地验证，探索 AI4AI 方向，构建记忆和连接的三层产品结构，推动 Agent 网络自进化。
这个51K星标的开源神器，让任何Agent都能一键切换所有模型。
作者分享开源工具CC Switch，它能让Agent产品一键切换模型，已获50k星标。该工具全平台可用，可预填配置，还具备用量追踪、使用统计、故障转移等实用功能。
北约将活蟑螂的神经接入AI，化身无孔不入的赛博格侦察兵
德国SWARM Biotactics公司将电子系统与活体蟑螂结合，打造赛博格侦察兵，可进入传统设备难以到达区域。公司追求以生物繁殖代替工业制造扩展能力，该项目获融资正从实验室走向现场。
完全取代Claude Code？OpenAI反击来了，推出Codex app「限时免费使用」
OpenAI推出macOS版Codex应用，反击Claude Code。它有全新交互界面，助开发者管理多AI Agents，支持并行任务。限时内，ChatGPT部分用户可免费使用，速率限制有调整，还具备多种新特性。
让AI像人类画家一样边画边想，港中文&美团让模型「走一步看一步」
在文生图和视频生成领域，现有模型处理复杂任务常出错。港中文和美团团队提出TwiG范式，将视觉生成拆解为“生成-思考-再生成”循环，经实验验证有效，有望拓展到更多领域。
苹果端侧AI两连发！模型体积减半、首字延迟降85倍，iPhone离线秒用
苹果在Hugging Face放出FastVLM与MobileCLIP2两条多模态主线。前者主打「快」，首字延迟压到竞品1/85；后者突出「轻」，体积减半。模型和Demo已开放，开发者可集成开发。
中国造出一颗「不怕死」的AI大脑，专接最要命的活儿
全球首个搭载AI大脑的防爆机器人“若愚揽月01”接管加油站，其“若愚九天”机器人大脑深度整合多模块，采用双系统，实现“脑+体”合一，可迁移至多场景，成立三年成果显著，欲做机器人时代“智能内核”。
开源免费！一键给Agent接入A股28个「全场景数据端点」
想让Agent分析股票，却因数据来源难解决而无法使用。现推荐开源工具包a - stock - data，可一键给Agent接入A股28个数据端点，无需API等复杂操作，具有零依赖、全栈架构等特点。