➡️
继续阅读
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
AI原生工程实践：AI工程师与前沿部署工程师如何利用Claude Code、Codex和Gemini进行开发
本文介绍AI原生软件开发生命周期（SDLC）框架，涵盖计划、设计、构建、测试、部署、维护六阶段。核心是通过意图、规格、计划等文档驱动开发，将瓶颈从编码转向...
-
Kimi K3 模型结构（3）：序列维度，Gated MLA 与 3:1 混合
本文介绍Kimi K3模型结构：采用3:1混合，每四层含一层Gated MLA（无位置编码、满秩sigmoid门），其余为KDA层。MLA低秩压缩KV至5...
-
内容创作者失误
During Naomi Osaka's match against Anastasia Zakharova at this year's...
-
Kimi K3 模型结构（2）：序列维度（下），chunkwise 并行与下界衰减
本文介绍Kimi K3模型序列维度的chunkwise并行算法：将序列分块，块间递推状态、块内用矩阵乘并行计算。K3将每步log-decay加−5下界，使...
-
如何凭空参加行业大会，观看大佬分享？AI帮你打开思维，轻松理解每一个最新前沿知识
故事的开始是这样的，我前两天，看到抖音官方发布了它们的推荐系统的分享内容，这份来自官方的资料，值得每一个研究抖音的朋友学习。但是，这份内容的文字比较多，而...
