搜索：多智能体系统

「多智能体系统」共找到 6784 篇相关文章

AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开

Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。

五源投资人石允丰认为，Agent是新生命，以OpenClaw为例，它持续运行，有心跳、记忆等特征且消耗大量token。这引发AI市场“双链分裂”，代谢链潜力大，还带来可靠性、编排等投资机会。

SpaceX 宣布收购 xAI，合并后公司估值达 1.25 万亿美元。此举旨在打造宏伟创新引擎，将 AI 与航天等技术结合，利用太空资源满足 AI 算力需求，推动人类太空探索与发展。

OpenAI 推出 Codex 独立桌面应用，或改变 AI 编码方式。它是 Agent 的指挥中心，有 Worktree、Skills、Automations 等功能，支持双个性模式和安全沙箱，限时开放且付费用户额度翻倍。

Win系统装软件易遇‘全家桶’，开发者管理包管理器繁琐。开源神器UniGetUI可聚合主流包管理器软件源，在清爽界面搜索、安装、更新和卸载软件，功能丰富，还提供多种安装方式。

Andy Pavlo回顾2025年数据库领域，提及PostgreSQL发展、MCP支持情况、MongoDB起诉案、文件格式竞争等。还介绍收购、合并、融资等动态，以及数据库元老拉里·埃里森的成就，最后给出建议并提及新创业公司。

Open Notebook 是开源自托管项目，是 NotebookLM 平替。它解决了资料隐私、模型选择、可扩展性问题，有多种实用功能，提供两种 5 分钟上手方式，适合资料敏感、折腾模型及程序员等人群。

香港大学 HKUDS 开源的 DeepTutor 是爆火的个人学习助手，集文档问答、可视化讲解、智能出题、深度研究于一体，解决自学痛点，还给出了快速入手步骤。

Liquid AI发布首个端到端音频基础模型LFM2 - Audio - 1.5B，参数1.5B，能在本地设备处理高质量端到端音频任务。它是统一多模态模型，支持两种生成策略，多种应用场景，虽仅支持英文但性能出色。

华为推出开源多模态模型openPangu-VL-7B，适配昇腾端侧。它推理性能性价比高，在多核心任务表现突出，技术报告还披露核心技术细节，为昇腾使用者带来新选择，丰富昇腾生态。