AI 加速复古游戏移植，也冲击游戏解构社区
AI 编码工具显著加快了复古游戏的解构与重编译，让爱好者能更快将游戏移植到原本不支持的平台，但也冲击了相关社区。一个追踪解构项目、提供资源的网站上周因 AI 带来的影响关闭；社区负责人指出，有人借助 AI 完成他人项目或抢先移植，却没有为原项目作出实质贡献。文章认为，这种做法可能削弱项目协作和对游戏原始设计的理解，而经典游戏保存工作同时面临 AI 带来的新机会与风险。
#编码
The Verge · AIAI 评分7272 The Decoder精选AI 评分7676 Anthropic 用 Claude 自动验证现有代码并生成数学证明
Anthropic 使用 Claude 为现有软件生成数学证明，并由独立验证程序 Rocq 自动检查；Anthropic 称，Claude 在数周内生成约 1.8 亿行证明代码。验证条件限于特定处理器架构、单线程程序和小于 64 MB 的输入，单项证明可能消耗数亿个 tokens。
The DecoderAI 评分7474 Moonshot AI 发布 Kimi K3.1 Pro，Artificial Analysis Intelligence Index 排名第四
Moonshot AI 发布推理模型 Kimi K3.1 Pro；该模型在 Artificial Analysis Intelligence Index 得分为 55，较 Kimi K3 提高 11 分，排名第四。
The DecoderAI 评分6666 研究比较三种编码 Agent harness：成本差异明显，通关率大多相近
Liu 和 Han 的研究比较了 Claude Code、OpenCode 和 mini-SWE-agent 对编码 Agent 任务表现与成本的影响，发现多数 harness 间的通关率差异落在测量波动范围内。
GitHub Blog · AI & ML精选AI 评分6666 GitHub Copilot 如何帮助 3 位 Java Champions 提升效率
GitHub Blog 采访了三位 Java Champions，介绍他们如何在生产项目和开源工作中使用 GitHub Copilot 提升效率。案例包括将约 900 页教学幻灯片从 Reveal.js 迁移到 Marp，以及借助编码智能体排查 Pi4J 的第五个输入按钮无响应问题；受访者强调，开发者应先明确需求、设置与任务匹配的验证门槛，并对最终代码负责。
推荐理由：三位 Java Champions 以迁移幻灯片、排查硬件输入故障等案例，展示如何为智能体任务设置验证门槛并保留人工责任。
GitHub Blog · AI & MLAI 评分5555 GitHub Copilot app 会话如何在 VS Code 中继续
GitHub Blog 教程介绍如何在 VS Code 中继续 GitHub Copilot app 会话，同时保留原有对话、代码变更和工作树。用户可在编辑器中逐行审查改动、手动修改并运行本地测试，再将完成的更新推送到该会话关联的 pull request。