马东锡用开源 AI 科研工作台 Open-Science 开了一个 RSI 项目，追踪 AI 自我改进的技术路线与经济账。DGM 在 200 个任务的 SWE-bench 子集上、基础模型冻结的情况下，经 80 轮自我修改把任务解决率从约 20% 提升到 50%，改进发生在模型周围的软件里。 🔗 阅读原文 via AIHOT · https://aihot.news/items/wsme5yvzvf0cs3xdwu90bsvmq
AI HOT
NVIDIA 将 Run:ai 平台完整开源，源码以 Apache 2.0 协议发布在 GitHub，平台团队可检视、fork 和自托管而无需付费订阅。 🔗 阅读原文 via AIHOT · https://aihot.news/items/t4k9stbchn7bkvp9w31x3v4a5
用积木搭建创意，由端侧 AI 驱动！🧱📱✨ 很喜欢这个富有创意的对比。感谢对 MiniCPM-V 4.7 1B 进行测试！🚀 🔗 阅读原文 via AIHOT · https://aihot.news/items/dw0docel0xlr81w9w3t3936v7
Addy Osmani 分享其团队在 Agent 时代重构代码审查的做法：当 Claude 编写了 Claude Code 约 90% 的代码、6 月到 9 月合并 PR 数量翻倍以上且回滚率下降超过 40% 时，瓶颈从写代码转向证明代码可用。 🔗 阅读原文 via AIHOT · https://aihot.news/items/s15hoewx4m9zljwu713q7188r
韩国一位中间件工程师向 The Pragmatic Engineer 作者 Gergely Orosz 求助，称管理者把 AI token 用量设为 KPI，自己很少用 AI 而被反复敲打。Gergely 站在管理者一边，称持续学习新工具是职业素养的一部分，优秀工程师与拒绝学习新事物可以并存，并给出二选一框架：上船接受 AI 改变工作方式，或诚实接受愿意雇你的公司池子持续缩小的代价。 🔗 阅读原文 via AIHOT · https://aihot.news/items/q2cqs1svux56tsxqtd9capfgx
现在你可以回溯一段对话，编辑提示词，并从那里继续对话。 其原理是丢弃被编辑提示词之后的消息/工具调用，以确保模型不会混淆。 这是长期被要求的功能，很高兴团队把它发布了！ 🔗 阅读原文 via AIHOT · https://aihot.news/items/gxjl1gjskcwswl9ll6g86x4w4
pstack v0.15.27 新增 skill /create-formal-verification-skill，目前为 beta。它是 meta-skill，根据想验证的系统特性自动生成定制验证 skill 和验证套件，如用 TLA+ 验证状态机与并发、用 Kani 排查 Rust 未定义行为。 🔗 阅读原文 via AIHOT · https://aihot.news/items/sg9v28vqpmsgqiyite7k3wp15
阿里通义 MAI-UI 团队开源通用计算机使用智能体完整技术栈 OpenGCUA，包含 harness、跨设备 SDK、原生 macOS 应用、评测轨迹和参考 agent 实现，地址 https://github.com/Tongyi-MAI/OpenGCUA。 🔗 阅读原文 via AIHOT · https://aihot.news/items/v0sh6ff930zryg6h8vqmmx2t1
Mistral AI 发布时序基础模型家族 Timestral，包含 5M、28M、123M、209M 四个零样本预测模型，209M 版在 GIFT-Eval、TIME 和 fev-bench 上位居零样本预训练模型第一，fev-bench SQL skill score 为 50.39，超过 Google 的 TimesFM-3 的 48.99。 🔗 阅读原文 via AIHOT · https://aihot.news/items/vd68ub9lfujnxxim0cwkga917
第 14 天/ 小幅体验改进。现在你可以在桌面应用的对话线程中编辑此前发送的消息。这是长期被请求的功能，推出得实在太晚了。 🔗 阅读原文 via AIHOT · https://aihot.news/items/f5dqxkatyp3of695klsz9xrc0