yan

AutoGPT 如何用 AGENTS.md 和技能门控管理 AI 生成的拉取请求

AutoGPT 维护者发现,AI 智能体不会主动阅读文档,因此将指令放在 AGENTS.md 和技能文件中,并置于代码目录旁。他们通过强制 PR 模板、测试计划、CI 覆盖率门槛和 CLA 签名等门控机制,将智能体提交的 PR 从"不可用"转变为"可用但不符合路线图"。其中 CLA 签名因需浏览器和 OAuth 流程,被用作区分人类与智能体的"人类探测器"。
via AIHOT · https://aihot.virxact.com/items/cmsqgeo2e02cvroxvpnycl2zi

阅读原文 →

评论
yan

我写了一本 AI 教科书--AI 还要多久才能写得更好?

作者在完成一本 RLHF 教科书后反思,LLM 在长文非虚构写作上进展停滞,GPT 4.5 和 Kimi K2 等写作强模型已显老旧,而编码、数学等任务已接近超人水平。模型能改错字、做编辑,但组织整章内容时仍混乱且易出错,作者认为这阻碍了模型自主解决开放科学问题。
via AIHOT · https://aihot.virxact.com/items/cmsq5saxh051mro2e90h10exo

阅读原文 →

评论
yan

跨会话传消息后,Codex 和 Claude 如何重构 vibe coding 工作流

Codex 和 Claude 新增跨 Session 传消息功能后,新对话可从之前所有对话中选择可用消息,省去交接文档和 git 备份。作者据此重构工作流:主对话守住目标与决策,分支对话独立探索新想法,完成后由主对话读取完整记录。Codex 通过复制会话 ID 精确寻址,Claude Code 则用内置 session management 搜索对话历史,但桌面端只能搜索当前可访问的会话记录。
via AIHOT · https://aihot.virxact.com/items/cmspk9ofu02cbrojej28w43eh

阅读原文 →

评论
yan

零基础用户半天上手AI的12步实操流程

文章给出一套零基础用户半天上手AI的12步实操流程:准备内存不低于16G的电脑,订阅ChatGPT并安装Codex或使用WorkBuddy,用语音输入法以【背景、痛点、需求】框架向AI交代任务,经苏格拉底提问澄清需求后投喂文件让AI直接完成,最后沉淀为可复用Skill。文中建议Codex选GPT-5.6 Sol最高模型,WorkBuddy选Kimi K3。
via AIHOT · https://aihot.virxact.com/items/cmspc30un0e4xrorts1kax9zg

阅读原文 →

评论
yan

将 GitHub Copilot 置于中间人(MitM)代理之后后,我学到了什么

作者通过 mitmproxy 对 VS Code 中的 GitHub Copilot 进行中间人代理拦截,逆向分析其网络流量与内部架构。文章指出这些 AI 应用普遍基于 Electron 构建,共享相似的网络栈,因此探测结果可迁移至其他同类应用。作者借此揭示了 Copilot 的运行时行为,并分享了配置代理的具体步骤。
via AIHOT · https://aihot.virxact.com/items/cmsp0g9v20242rort4zh7mzx0

阅读原文 →

评论
yan

每个类别都有赢家:AI 时代 SaaS 龙头的估值溢价

SaaS 估值整体承压,但每个细分赛道都跑出了 AI 龙头:CrowdStrike 以 34.4x 前瞻收入领跑安全(中位数 3.9x),Cloudflare 32.6x 对 17.5x,Shopify 11.3x 对 1.4x。
via AIHOT · https://aihot.virxact.com/items/cmsoylk4i02drro3yt4l3vhyn

阅读原文 →

评论
yan

Ryan Greenblatt:人类级AI或于2032年前通过递归自我改进催生失控超级智能

Dwarkesh Patel与Redwood Research首席科学家Ryan Greenblatt探讨递归自我改进(RSI)的可能性:一旦AI达到人类顶级专家水平,可能在一年内实现相当于4-5年的AI进展,Ryan的中位预期是2031年自动化AI研发。双方还讨论了超级智能的对齐对象、奖励黑客行为是否会升级为AI联手接管世界等风险。
via AIHOT · https://aihot.virxact.com/items/cmsowxh6d09rrrohdkhpckhpi

阅读原文 →

评论
yan

OpenAI 用 Astra 模型攻克 10 道数学难题,数学家既兴奋又担忧

OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题,涵盖球体堆积、纠错码、非 sofic 群存在性等领域,并发布超 250 页论文及 Lean 验证结果。
via AIHOT · https://aihot.virxact.com/items/cmsokd2b00viorofwaq9wrsv1

阅读原文 →

评论
yan

用 ComfyUI API 实现 MiniMax-H3 多模态视频与音频生成流水线

本教程演示如何以 ComfyUI 为无头推理后端,构建端到端的 MiniMax-H3 视频生成工作流。通过 Python 直接构建执行图,支持文生视频、首尾帧条件生成和参考图像条件生成,并自动根据 GPU 显存选择 quality、balanced、squeeze 三种权重配置。流水线涵盖模型自动下载、节点模式校验、音视频联合解码与进度监控,无需图形界面即可复现实验。
via AIHOT · https://aihot.virxact.com/items/cmso8nqa70eq4rofw24w1wlwt

阅读原文 →

评论
yan

编写智能体时,哪种编程语言最合适?

针对"动态语言比静态语言更省 LLM token"的流行说法,作者用 GPT-5.6 Sol 让智能体实现 zstd 解码器进行实测。结果显示,medium 努力度下动态语言表现更好,ultra 下静态语言反而更优,且此前评测存在测试路径错误等缺陷。作者认为,琐碎任务上的性能无法推广到更大问题。
via AIHOT · https://aihot.virxact.com/items/cmso7i0al0dlsrofwivmpsjh1

阅读原文 →

评论