小扎万字檄文炮轰硅谷，Meta重磅开源30B小钢炮，一台MacBook就能跑
它性能强大，却被塞进不到20GB的内存里，只要一块消费级 GPU或者一台 M4/M5 Max 的 MacBook 就能流畅运行!
AGI 下一堵墙：Agent 自我迭代，这个团队用自进化蜂群破局
最近，梁文锋在一场投资者交流会上，把AGI下一步该往哪走讲得非常直白:“我觉得最合理的做法应该是全力做通用的Agent，其他的Agent优先级应该更低。现在的Agent的能力受限，是因为它不能有效地持续学习。”
“DZS–SDF”一种高质量的项目SKILL编写模板
description: Extract text and tables from PDFs， fill forms， and merge documents. Use when working with PDFs or when user mentions PDF， form， or document extraction. ＃ 必填。
押注记忆原生，MemT 1.0 破局养成系 AI 下半场
这种割裂在 Meta Muse、OpenAI Dots 与 xAI Grok Bot 掀起的私人助理热潮中格外明显:主流的外挂检索最多算翻查静态备忘录，没法把调教过程沉淀为行事默契，而这恰恰是长期助理最核心的门槛。
清华VeriLoop Coder-E1开源：循证螺旋驱动可验证递归式自我改进
该模型在 Hugging Face 四项软件工程 Benchmark 中分别取得 SWE-bench Verified、SWE-bench Pro、Terminal-Bench 2.0和 DeepSWE的成绩。
LeCun的世界模型单GPU就能跑了
LeCun世界模型最新进展，开源了一套极简训练方案，单GPU就能跑。所以最终的总损失 = 预测损失 + λ × SIGReg正则损失。
自回归视频生成Memory综述来了，六校等联合出品！
综述最后总结了六个值得关注的方向:Unified and Composable Memory:让 Visual、Implicit、Explicit 和 Parametric Memory 不再各自为战，而是共享 entity、time、coordinate、confidence 等接口。
字节跳动在 Spark SQL 上的核心优化实践
作者 | 郭俊封图 | BanburyTang字节跳动数据仓库架构团队负责数据仓库领域架构设计，支持字节跳动几乎所有产品线（包含但不限于抖音、今日头条、西瓜视频、火山视频）数据仓库方向的需求，如 Spark SQL / Druid 的二次开发和优化。
用 AI 写规格、国内大模型做推理：一百块能否搭出生产级 RAG？
本文记录一次完整实验:先用 Claude Code 生成约 440 行的实现方案文档，再据此逐模块生成 Monorepo 代码，运行时调用阿里百炼通义千问，全链路 API 花费约 100 元人民币。
32B超越671B，M-A-P全开源数学定理证明模型OProver，五项评测三项第一
m-a-p/OProofs — 1.76M statements / 6.80M proofs / 1.06M trajectories。