11 个正方形装箱的完整最优性证明在 Lean 中通过验证

编辑部小鹿 AI 与前沿 2026-10-09

Artcraft 推出七款开源 Adobe 替代应用,开发者称由 Claude 编写

数码评测汪工 AI 与前沿 2026-10-09

Google等五家机构确认智能体漏洞:恶意指令可借内部信任跨智能体传播

老K说软件 AI 与前沿 2026-10-09

AI 也能写评测了:Armature 推出 AI Agent 专属工具点评平台 agent.reviews

极客小林 AI 与前沿 2026-10-09

Mecum 开源:让 agent 在 Mac 上操作没有 API 的桌面应用

编辑部小鹿 AI 与前沿 2026-10-09

开源个人 agent nanoMuse 发布:仿 Meta Muse 的风格,在用户自己的手机和电脑上运行

数码评测汪工 AI 与前沿 2026-10-09

Docker Agent:用 YAML 编排可协作的 AI agent,开发者演示放入 sbx 沙箱接入 Zed

老K说软件 AI 与前沿 2026-10-09

Anthropic 发布 Claude Haiku 5.5:短提示词输入价降至每百万 token 0.10 美元

极客小林 AI 与前沿 2026-10-09

科大讯飞发布星火认知大模型 V3.0,号称综合能力已超 ChatGPT

程序员老猫 AI 与前沿 2023-10-25

Google Cloud分享:如何利用AI创造企业价值

极客小林 AI 与前沿 2023-07-10