搜索：多智能体协调

「多智能体协调」共找到 6473 篇相关文章

菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？

Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。

Anthropic官方披露Claude Code Security定位3个典型0day漏洞，而安恒信息旗下恒脑安全智能体100%复现这3个漏洞，还额外挖出10个全新0day漏洞，展现出强大的AI自主发现能力。

阶跃星辰完成超50亿人民币B+轮融资，刷新近12个月中国大模型单笔融资纪录。同时印奇出任董事长。公司坚持“基础大模型”与“AI+终端”战略，在多模态领域成果多，正推进商业化探索。

2026 年初，OpenAI 报告显示不少人用 ChatGPT 咨询医疗问题，还发布了 ChatGPT 健康。近日，蚂蚁集团等开源的蚂蚁・安诊儿医疗大模型或成最优解，它参数量大，在多评测中登顶，技术优势明显。

ChatExcel是国内首款原生AI DataAgent，专注自然语言对话处理分析数据。其不到10人团队获近千万融资，定位平民化数据产品，核心是多模型结合，已近百万用户，正拓展海外市场。

10月28日，亚马逊约1.4万名员工收到裁员通知，占全职员工4%，超80%来自零售业务。公司业绩不错仍裁员，是为用AI增效、资源重组，还押注具身智能，或取代超50万蓝领岗位。

新加坡国立大学邵林团队提出MetaFold框架用于机器人衣物折叠。它创新分层架构，解耦任务规划与动作预测。构建开源数据集，经实验在多指标超现有方法，还验证了从仿真到现实的迁移能力。

传统理论认为大模型会过拟合，而如今大模型却驱动了诸多应用。2019年研究者突破传统扩大模型规模，出现‘双下降’现象。‘彩票假说’解释其成功原因，还重新定义了‘智能’，揭示科学进步规律。

清华计算机系女神庄莉创办的镁佳科技，完成招股书提交，开启IPO冲刺，目标港交所主板上市。镁佳主打智能座舱集成式域控解决方案，虽业务增长，但面临竞争挑战，2024年营收14亿、亏损2.9亿。

马斯克宣布Grok 4将在7月4日后发布，xAI华人研究员李天乐放豪言，称Grok 4智能无与伦比，且他们一人顶其他实验室10人。网友对此反应不一，马斯克也肯定Grok 4运行结果。