在将 MoE 和 Lightning Attention(闪电注意力)的激进架构变革引入基础模型底层,转化为全新的 MiniMax-01 系列模型的 5 个月后,大模型公司 MiniMax 终于更进一步,捧出了酝酿许久的自研文本推理模型 MiniMax-M1,这也是全球首个开源、大规模实现混合注意力的推理模型。 推理模型已成为新的大模型技术浪潮,拿出一款强劲的自研推理模型,是近半年里国内第一阵营的大模型公司保持自己技术身位最直接的目标。 作为推理模型,MiniMax-M1在长上下文理解能力上,是目前包括所有闭源和开源模型在内,能力全球前二的模型,且在训练和推理成本上极高的性价比。 M1 仍然延续着 MoE 架构,而在注意力机制上和强化学习算法上的创新让 M1 鲜明的区别于其他推理模型。模型总参数达到 4560 亿参数,原生支持 100 万 token 的上下文长度输入,以及目前所有模型中最长的 80k token 的输出长度。 除了在长上下文能力上的强势,M1 所展现出的在智能体工具使用(Agentic Tool Use)维度上的能力上限甚至更加让人期待。从评测基准 TAU-Bench (airline) 中的表现来看,目前 M1 已经是市面上在 Agentic Tool Use 方面能力最强的模型。 技术报告中对于 M1 的概述是,这个新的开源模型已是与 DeepSeek-R1、Qwen3-235B 并列的世界顶尖开源推理模型,这一结论是在参与了业内主流的 17 个评测基准之后得出的。在处理复杂场景时长上下文、智能体工具使用能力上的长板足够亮眼,M1 在更通用的模型性能上也已经跨入顶尖行列。 此外需要特意说明的是,M1 系列模型中的两个模型中,MiniMax-M1-40K 模型是 MiniMax-M1-80K 模型在训练时的中间阶段。而在测评基准所呈现的总体表现中,MiniMax-M1-80k 在多数基准上持续优于 MiniMax-M1-40k,这也验证了上下文窗口长度带来了模型整体性能的显著提升,而非仅仅意味着支持更长的输入。 在底层架构层面,M1 是目前唯一一个用线性注意力机制「大改」传统 Transformer 架构,从而大规模实现混合注意力的 MoE 推理模型;在算法层面,M1 提出了新的强化学习算法 CISPO。更彻底的双线创新提高了 M1 的训练效率,而训练成本的下降也非常可观。 为解放 Transformer 架构中核心的注意力机制 Softmax Attention 在计算资源消耗方面的局限性,M1 系列模型在注意力机制的架构设计方面相比传统架构的推理做了更大胆的尝试——采用混合注意力机制 Lightning Attention——来代替标准 Transformer 中使用的传统 Softmax Attention。 独特的注意力层设计让 M1 在推理时具有显著效率优势,天然有利于强化学习的高效扩展,但走到混合架构大规模强化学习的无人区,MiniMax 显然也会遇到新架构带来的挑战。 比如在混合架构的初步零强化学习(zero-RL)实验中,团队发现传统的 PPO/GRPO 算法会意外的严重损害训练性能。具体来说,与反思行为相关的关键 token——例如表示转折的 however、wait——这些低概率 token 对稳定熵和促进可扩展 RL 至关重要,但却容易在策略更新时被裁剪,难以保证这些 token 的梯度贡献,导致难以促进长 CoT 推理行为。此问题在混合架构模型中尤为突出,阻碍了强化学习的规模扩展。 为此,M1 在算法层面提出了新的强化学习算法 CISPO,意在明确避免丢弃任何 token(即使更新幅度大),同时将熵维持在合理范围以确保稳定探索。 在 zero-RL 设置下,MiniMax 团队在数学推理数据集上训练 Qwen2.5-32B-base,对比 CISPO、 字节跳动提出的 DAPO 以及 DeepSeek 提出的 GRPO 算法在 AIME 2024 上的表现。相同步数下 CISPO 显著优于 DAPO 和 GRPO;其训练效率更高,仅需 DAPO 50% 的步数即可达到同等性能。 底层架构上对于线性注意力机制的引入,以及算法层围绕 CISPO 所形成的高效 RL 框架,最终让 M1 的强化学习训练变得十分高效,进而取得了训练成本的大幅下降。 与模型一同发布的技术报告中显示,在生成长度为 10 万 Token 时,M1 的计算量仅为 Deepseek R1 的 25%,而整个 M1 的完整强化学习训练能在 512 张 H800 GPU 上仅用 3 周完成,以目前的 GPU 租赁价格计算,成本仅为 53.47 万美元。 Prompt 是这样的: 创建一个迷宫生成器和寻路可视化工具。随机生成一个迷宫,并逐步可视化 A* 算法的求解过程。使用画布和动画,使其具有视觉吸引力。 demo 里可以清晰看到,M1 在生成的网页中思路清晰的设置了代表打字速度的 WPM(words per minute)和准确度的 Accuracy 两个指标,并且体贴的让上方文字随着你的输入进程而同步变色。 这些 demo 都在指向一些通用 agent 中产品化 feature 的可能性。长上下文理解、智能体这些在模型能力产品化过程中的核心能力,恰好是 M1 模型的强势所在。这符合 MiniMax 最早以产品起势的路线,而这家公司近来在基础模型层面持续的激进探索,也以 M1 的出现为节点,在当下大模型公司们技术突破普遍降速的时候显示出后劲。 M1 的出现,背后是一条 MiniMax 从传统的稠密模型与 Transformer 架构,转向 MoE 与线性注意力机制的草蛇灰线。在 MiniMax 决定引入 MoE 与线性注意力机制的时候,在当时几乎都没有什么可以参考的对象。 Mistral AI 在 2023 年底用开源的模型 Mistral 8✖️7B 击败了当时最优秀的开源模型之一,700 亿参数的 Llama 2。2023 年夏天,MiniMax 已经在准备从稠密模型转向 MoE,投入了当时公司 80% 的算力与研发资源,在 Mistral 8✖️7B 发布的一个月后,上线了国内首个 MoE 大模型 abab 6,并且由于这是个过于新的架构,MiniMax 为 MoE 自研更适配的训练和推理框架。 MiniMax 开始投入 Linear Attention 是从 2024 年 4 月开始的,那时尚没有模型在千亿级别的参数规模层面挑战传统的 Transformer 架构。这使得 MiniMax 需要对分布式训练和推理框架进行彻底的重新设计来适配,使得模型能够在大规模 GPU 集群上高效运行,这才有了今年 1 月的 MiniMax-Text-01,这也是第一个依赖线性注意力机制大规模部署的模型。 可以说,MiniMax-Text-01 是 MiniMax 在线性注意力这件事上,为整个行业从小规模可行的共识,到 Scale up 的可行做了一次验证。而推理模型 M1,本质上又是一次基于 MiniMax-Text-01 的 scale up 和架构创新。 团队以 MiniMax-Text-01 为基座,实施 7.5 万亿 token 的定向增强预训练,将 STEM(科学/技术/工程/数学)、编程代码与复杂推理三类核心领域的数据权重提升至总语料 70%。随后通过监督微调阶段注入链式思考(CoT)机制,系统性构建模型的分步推理能力,为强化学习奠定能力基础。 最终这种激进式的创新得到了积极的验证,M1 是目前全球最先抵达 80k 上下文输出的推理模型,同时在长上下文,软件工程和 Agent 工具使用方面体现出了优势。 此前星野和 Talkie 在商业化上的优异表现,让 MiniMax 早早成为一家可以自己独立行走的大模型公司,也让外界赋予了这家公司一个「产品驱动」这样过于笼统的标签。这一定程度上忽视了 MiniMax 在模型层面上相当强悍的研发能力。 值得注意的是,MiniMax 的官方公告透露,M1 系列模型同时也拉开了为期五天的 MiniMaxWeek 的序幕,未来五天,MiniMax 会围绕文本、语音和视觉等多模态模型对外公布更多的技术进展。 与此前 MoE 的 Abab 6 模型刚出现时类似,此次发布的混合注意力机制的 M1 在底层架构层面仍然是一个「非共识」的推理模型,但也正是因为这些屡次探入模型底层架构「非共识」地带所带来的技术创新,一直在印证 MiniMax 终究是一家「模型驱动」的 AI 公司。
牛爷爷大战小丽是谁画的鹏城实验室副主任石光明在演讲阐释了人工智能的由来、AI技术发展历程和大模型的推进状况及应用,指出AI大模型的本质,从能源危机、强化中心化、训练数据、算力需求等方面分析了AI大模型存在的问题,从AI技术的底层逻辑推测了下一步AI可能的发展方向。他指引高效模型架构与多模态融合也是社会变革的透镜,迫使人类重新定义创造力边界、责任分配与协作模式,其终极意义在于确保AI从“效率工具”进化至“共生伙伴”的进程中,技术与文明实现双向赋能。来自意大利天空体育的消息表示,米兰在今年夏天有意引进弗拉霍维奇,但鉴于他的高薪,他们的兴趣仍然较为谨慎,尽管弗拉霍维奇符合他们的引援要求。若要将弗拉霍维奇出售给直接竞争对手,尤文的要价为3000万欧元。牛爷爷大战小丽是谁画的高三妈妈用性缓解孩子压力翻阅过往记录,不难发现西方批评中国深海活动的“三板斧”。首先,中国的深海科研、商业活动常被冠以“不良目的”,或指称深海载人潜水器参与海底基础设施的破坏活动,或把中国企业承包海底基础设施建设项目与信息安全挂钩。白色T恤本身在颜色上面确实是没有任何出挑之处的,但是,优势在于这种色彩看着就十分的清新干净,打造出来的着装永远都很耐看。
20250812 🔞 牛爷爷大战小丽是谁画的三间房的金茂满曜,相对朝观天珺,就热度高一些,大家知道,金茂项目操盘手李丹,她家就住在满曜附近,想必她会骑着小电动经常在周边游走,把价格体系弄得熟熟的。《特殊的房产销售2》这番操作也是让人想起她曾经拿下12个影后的辉煌战绩,那股“拼命三娘”的狠劲儿又回来了,看来这次她是真的要放大招了。
📸 苑维伟记者 李桂英 摄
20250812 💋 牛爷爷大战小丽是谁画的这意味着,阿里将进一步整合集团业务。飞猪、饿了么、淘天在各自领域有多年的能力和资源积淀,会师之后,将会发挥各自优势和长项,构建更加完整的大消费服务体系。特别是即时零售领域,淘宝闪购与饿了么将加强协同,全面打通各项资源。《特殊的房产销售2》而在认定工亡程序的另一端,武汉市人社局驳回了敖女士的申请,2024年11月21日,敖女士将其起诉至武汉市江岸区人民法院,今年4月9日该案开庭审理,目前尚未宣判。红星新闻获得的武汉市人社局的行政答辩状显示,2024年5月17日敖女士提交申请,同年5月31日该局受理申请,并在同日作出《工伤认定申请举证告知书》,向中南财经政法大学邮寄送达。
📸 李志军记者 罗辉锡 摄
🔞 当然,纽卡斯尔并不是今夏唯一一家寻找门将的英超俱乐部。刚刚升入英超的利兹联也将签下一名门将作为优先事项。由于伊兰-梅斯利耶预计离队,以及前纽卡斯尔球星卡尔-达洛也可能离开,利兹联急需在门将位置上进行补强。因此,利兹联与两名可能可用的门将联系在一起。据《约克郡邮报》报道,波普和特拉福德都被列为潜在目标。尽管纽卡斯尔和伯恩利可以保持现状,但利兹联却不能承受现状,因为梅斯利耶在2024/25赛季中多次失误导致失球,他即将离队。做aj的小视频大全