跳到正文
只看论文#开源/仓库

标签

#开源/仓库

按发布时间排列的全部收录，按天分组；筛选和搜索都在这一页。

共 60 条 · 更新于 19:17

11/06

星期五2 条

  1. Hacker News · 首页60Verify, Then Vote：五款本地小模型加 Claude 核查，准确率从 77.1% 升到 85.0%
  2. Hacker News · 首页34Axiom 将约 7500 页的 Stacks Project 全量形式化进 Lean

11/05

星期四9 条

  1. Hacker News · AI 讨论38WebsiteBench：AI 智能体能否通过浏览器探索重建网站？
  2. MarkTechPost36Google Research 发布 Agile Deliberation 框架，用于灰色地带图像分类器
  3. IT之家31中国科大发布开源 RNA 序列基础模型 structRFM，成果登上 Nature
  4. Reddit · r/artificial58WSSE 与 wpgit 发布：把 LLM 权重编辑纳入 Git 式版本控制
  5. 掘金74人大、复旦、上交发布 ToolSpace，用 804 个真实工具环境训练 Agent，Qwen3.6-35B 均分从 23.0 升至 41.0
  6. Google Research36Google Research 提出 Agile Deliberation：让 AI 帮人类厘清主观概念的灰色地带
  7. The Decoder58开源基准 CloudOpsBench 显示推理是 AI 云运维的最大瓶颈
  8. The Decoder29Anthropic 开源 FlashProve：用密码学证明 AI 回复出自哪个模型而不暴露权重
  9. The Decoder58研究称 GPT-6 Astra 可直接读写模型权重，改写 0.016% 权重让 Qwen3.5-0.8B 数学准确率升至 48.1%

11/04

星期三3 条

  1. IT之家45Anthropic 正开发 FlashProve 开源系统：用密码学证明 AI 输出来自哪个模型
  2. MarkTechPost34Anthropic 开源 FlashProve：用密码学证明回复来自已承诺权重
  3. TechCrunch · AI32Anthropic 研发 FlashProve 开源系统，用密码学证明 AI 模型身份

11/03

星期二4 条

  1. Hacker News · 首页18维苏威挑战赛首次读出 PHerc. 306B 古卷文字，Liam Warner 与 Nicola Bodill 获 5 万美元首字母奖
  2. Hacker News · AI 讨论38Verify, Then Vote：用证据校验推翻多智能体 LLM 的错误多数
  3. Hacker News · 首页58研究称 GPT-6 Astra 可直接读写神经网络权重，修复 Qwen3.5-0.8B 循环使 MATH-500 从 7.9% 升至 48.1%
  4. The Decoder58Olam Labs 把 50 个 GPT-6.1 智能体放进 Minecraft 和 Mindustry，观察协作与竞争行为

11/02

星期一3 条

  1. MarkTechPost34qwenGPU：把 45 层编译 GPU 塞进 Qwen3.5-2B 权重，直接跑 CUDA
  2. IT之家60Y Combinator 与 Olam Labs 研究者在《我的世界》测试上百个 AI 智能体集群
  3. Hacker News · AI 讨论60Rocky Linux 创始人用 GPT-5.6 驱动 Codex 在 11 天内造出独立内核 Ginux

11/01

星期日5 条

  1. Hacker News · AI 讨论20研究：Minecraft 中的 AI 智能体集群未能建立文明，反陷官僚内耗
  2. 钛媒体72DeepSeek Harness 团队提出 Super Agent 设计并开源原型
  3. 掘金58MTA-OPSD 让每个 token 自选教师，Qwen3-1.7B 数学推理平均分从 51.1 升至 57.0
  4. 量子位78DeepSeek 开源 Super-agent 原型，公开 Personal Agent 双层架构思路
  5. Hacker News · AI 讨论34Show HN：Deferred Cognitive Architecture（DCA）将 LLM 上下文复杂度从 O(N^2) 降至 O(k)

10/31

星期六3 条

  1. IT之家80DeepSeek 提出 Super-agent 双层架构设计，Router 与 Worker 分工并给出原型实现
  2. 掘金58CMU 等提出统一训练框架，把预训练、SFT、RL 合并为同一损失函数
  3. Simon Willison22Drew Breunig 将 NES 6502 CPU 模拟器烘焙进 Qwen3.5-4B 权重

10/30

星期五1 条

  1. Hacker News · AI 讨论58YC 与 Olam Labs 在 Minecraft 和 Mindustry 中跑 50 个 AI 智能体集群实验

10/29

星期四4 条

  1. Hacker News · 首页60Qwenputer 在 Qwen3.5 权重里编译出可运行的确定性 RISC-V CPU
  2. Hacker News · AI 讨论52Qwenputer 把 32 位 RISC-V CPU 编译进 Qwen3.5-4B 权重
  3. 量子位58逐际动力更新 FluxVLA Engine V2 技术报告，加入在线强化学习与真机部署验证
  4. 量子位58逐际动力更新 FluxVLA Engine V2 技术报告，加入在线强化学习与真机部署验证

10/28

星期三5 条

  1. MarkTechPost78Polymathic AI 与普林斯顿等机构发布 FlashMap，Qwen3-8B 解码最高提速 6.14 倍
  2. Hacker News · AI 讨论62开发者用各家 AI 编码智能体沙箱自己的测试互测，发布 196 条契约语料
  3. 掘金58Axiom 用数十个 AI 智能体 24 天完成有限单群分类定理的 Lean 机器检验证明
  4. MarkTechPost78UC Berkeley 开源 LEANN 向量索引，60M chunk 的 RAG 索引从 201 GB 降到 6 GB
  5. Ars Technica · AI22中国团队推出 Pinal：用自然语言提示词设计蛋白质，Hugging Face 同步上线 DNA 层面工具

10/27

星期二1 条

  1. 掘金81阿里 ATH-MaaS 开源 0.8B 统一 OCR 模型 OvisOCR3，OmniDocBench v1.6 得分 96.74