「内核进化」共找到 707 篇相关文章
蚂蚁开源 x SGLang Meetup技术回放解读之基于CUTE DSL的通信计算重叠算子实践
文章是对蚂蚁开源x SGLang Meetup分享的回放解读，聚焦基于CuTe DSL的通信 - 计算重叠内核实践。探讨不同通信计算重叠方案，分析在Blackwell上做GEMM + AllReduce融合算子的优势，介绍multimem指令等，还提及接入模型执行路径和性能结果。
从一个公众号智能体说起：好用的Agent，究竟需要什么?
文章从公众号智能体切入，探讨好用的 Agent 所需条件。介绍腾讯云智能体开发平台 3.0，其有知识处理进化等能力；还提及 Agent 在酒店、营销等场景应用，强调可靠工程与用户触达对实现其价值的重要性。
小扎豪掷143亿，却换不来AI燃料！数据之争下半场，中国冲出一匹黑马
2025年大模型高速进化，全球AI圈“数据大战”激烈。小扎花143亿抢占数据制高点却遇问题，马斯克裁员转招“专业AI导师”。中国澳鹏数据崛起，上半年营收3.06亿，有五大技术平台，未来目标2030年前中国区营收超20亿。
谷歌新研究：大模型“吵架”有利于提升推理质量
谷歌新研究发现高级推理模型自发进化出'思想社会'，研究人员用LLM - as - judge方法识别出多个虚拟人格。还找到控制现象的'开关'，实验表明教AI'吵架'更有效，其'社交技能'通用，给开发者带来新启示。
Reasoning模型可以Self-Train！
当前大模型依赖人类标注数据，成本高且扩展难。论文探讨模型自我纠错、自主进化可能，提出自我奖励训练（SRT），用投票共识代替人类标注。在数学数据集上有效果，但高难度数据集出现问题，作者给出解决办法并开源代码。
国产手机卖到1万6！华为新旗舰，搭载麒麟9030
华为年度旗舰Mate 80系列和折叠屏旗舰Mate X7携全新麒麟9030系列芯片亮相。首发鸿蒙6操作系统，小艺进化成智能体。Mate 80系列首发第二代红枫影像，Mate X7影像模组升级。价格上，Mate 80系列起售4699元，Mate X7高配达15999元。
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。