「多智能体推理能力」共找到 7075 篇相关文章
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
姚顺雨入职腾讯50天后，发布了首篇署名论文：CL-Bench
2月3日姚顺雨加入腾讯50天后发布首篇署名论文《CL-bench: A Benchmark for Context Learning》。该论文做了新的benchmark，测试显示前沿模型平均分仅17.2%，指出模型在上下文学习尤其是归纳能力上的短板。
14000人原地被裁！亚马逊今日：打工人水深，AI机器人火热
10月28日，亚马逊约1.4万名员工收到裁员通知，占全职员工4%，超80%来自零售业务。公司业绩不错仍裁员，是为用AI增效、资源重组，还押注具身智能，或取代超50万蓝领岗位。
The Batch: 882 | Qwen3-Next 提速
阿里巴巴对开源权重模型 Qwen3 全新升级，发布 Qwen3 - Next - 80B - A3B 的 Instruct 和 Thinking 版本权重。其融合新研究成果，推理能耗低、速度快，还优化架构和训练方法提升效率与稳定性。
实测国内首个对话式AI音乐创作Agent：聊个天就能谱曲填词混剪生成MV
实测国内首个对话式AI音乐创作Agent Tunee，玩法像Suno+ChatGPT结合体。它操作简约功能全，能反复修改创作，还具备多模态内容处理能力，虽有小瑕疵，但体现国产AIGC应用发展趋势。
追平GPT-4o，数学基测96.3%高分，Hermes4 来了
Nous Research推出新一代大模型Hermes 4系列，其有混合推理和长度控制机制，还能用DataForge“造”数据，经Atropos质检。它在数学等领域表现佳，追平GPT - 4o，是开源AI对巨头的挑战。
清华团队开源发布首个结构化数据通用大模型
2025年8月29日，清华崔鹏教授团队联合稳准智能开源“极数”（Limi X）结构化数据通用大模型。它融合结构因果推断与预训练技术，适配多任务，性能超最优专用模型，已落地多个工业场景。
人工智能研究者如何意外发现：我们对“学习”的理解，可能全是错的
传统理论认为大模型会过拟合，而如今大模型却驱动了诸多应用。2019年研究者突破传统扩大模型规模，出现‘双下降’现象。‘彩票假说’解释其成功原因，还重新定义了‘智能’，揭示科学进步规律。
清华计算机女神，冲刺IPO了
清华计算机系女神庄莉创办的镁佳科技，完成招股书提交，开启IPO冲刺，目标港交所主板上市。镁佳主打智能座舱集成式域控解决方案，虽业务增长，但面临竞争挑战，2024年营收14亿、亏损2.9亿。
谷歌又来砸饭碗！免费AI Agent发布，程序员狂喜
谷歌发布免费开源的AI Agent——Gemini CLI，可在电脑终端运行。免费额度高，用个人谷歌账号登录就能用Gemini 2.5 Pro，还有大上下文窗口和高请求额度。它能力不止编码，功能强大且易上手。