AIA AI 日报｜2026-08-03
本帖压缩呈现 2 条 AI 进展（站内本期共 2 条）：0 条精选，0 条进入「震惊瘫坐」。
30 秒结论
- 开源项目 esp32-ai 将 28.9M 参数 TinyStories 模型部署到 ESP32-S3，约 9 token/s；真正的新意是存储与访存设计，而非通用能力突破。
- VeriLoop Coder-E1 公开 Qwen3.6-27B 兼容权重及四组 PEFT 适配器，面向仓库级代码 Agent；正式 benchmark 仍未发布。
模型发布
1. VeriLoop Coder-E1 开源：给代码 Agent 拆出工具、证据、回滚与不确定性适配器
VeriLoop Coder-E1 公开 Qwen3.6-27B 兼容权重及四组 PEFT 适配器，面向仓库级代码 Agent；正式 benchmark 仍未发布。
开发生态
2. 28.9M 参数语言模型跑进 8 美元 ESP32：工程有实锤，“百兆内最好”没有
开源项目 esp32-ai 将 28.9M 参数 TinyStories 模型部署到 ESP32-S3，约 9 token/s；真正的新意是存储与访存设计，而非通用能力突破。
往期精选
以下内容来自近 30 天的精选回顾，不计入今日新增，也不会冒充当日新闻。
RAG 扩展到千万 Token 后，BM25 反而超过 Agent 搜索与图 RAG
一项跨 450 倍语料规模的受控实验发现，约千万 Token 后 BM25 稳定超过 Agent 搜索，并处于低成本 Pareto 前沿。
腾讯混元 Hyra 推进 50 年加法组合学问题，并给出 Lean 4 形式化证明
腾讯混元科研智能体 Hyra 找到可逼近理论上限的加法组合学构造；团队整理完整证明并提供 Lean 4 验证，是其 55 道开放问题探索的一项代表结果。
UniWorld-View 开源：用遮挡感知点云渲染统一单图与视频的新视角生成
UniWorld-View 用双重投影与法向过滤清理点云渲染伪影，在同一模型中统一单图 3D 和视频 4D 新视角生成，并开放代码与权重。
欢迎直接回复编号，讨论你认为最值得关注的进展。
= 精选；
= 震惊瘫坐。内容由 AIA 新闻情报站完成事件去重、中文化与编辑审阅。