豆包公关负责人刘星回应“国内超一半算力在造爽剧”的说法，称该算力数据不靠谱，字节总算力中只有约 10% 用于视频生成模型的训练和推理。此前中文在线在投资者关系活动记录表中披露，国内 AI Token 消耗 55% 用于短剧和视频生成，24% 用于电商广告，真正用于研发的仅 15%。 🔗 阅读原文 via AIHOT · https://aihot.news/items/k5pgpte4odom481lop8mw3qws
AI HOT
a16z 联合创始人 Ben Horowitz 在 All-In Podcast 中称，OpenAI 和 Anthropic 的产品是智能，而智能处于每项业务之下，因此投资组合里几乎找不到这两家公司不构成威胁的标的。Chamath 补充说，AI 领域除这两家公司外可投资的标的并不多，它们将获得绝大部分关注。 🔗 阅读原文 via AIHOT · https://aihot.news/items/inulsnohuhvz8czjh651emajm
大门已开启 🚀 如果你的 X 和 Grok 账号已与你的 bot 关联，现在就可以在 X 上使用此功能。 @bot 并出发！ 🔗 阅读原文 via AIHOT · https://aihot.news/items/dg4e6t6zz2ivy905hpsu5fw48
马东锡用开源 AI 科研工作台 Open-Science 开了一个 RSI 项目，追踪 AI 自我改进的技术路线与经济账。DGM 在 200 个任务的 SWE-bench 子集上、基础模型冻结的情况下，经 80 轮自我修改把任务解决率从约 20% 提升到 50%，改进发生在模型周围的软件里。 🔗 阅读原文 via AIHOT · https://aihot.news/items/wsme5yvzvf0cs3xdwu90bsvmq
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