埃博拉疫情更新、AI 数学突破与永久夏令时
刚果（金）埃博拉病例突破 10,000 例成为史上蔓延最快的疫情，同时 OpenAI 与 Anthropic 竞相发布与千禧年大奖难题相关的数学及理论计算证明。两家公司声称这些 AI 生成的证明已在 GitHub 发布并通过 Lean 语言完成验证，但在成果可理解性与学界认可度上引发争议。
#GitHub
#GitHub
今日 0 条Scientific AmericanAI 评分3232
Scientific AmericanAI 评分7575 《科学美国人》专访爆火 AI 逆向工程工具 REA 开发者
AI 逆向工程工具 REA 通过让 AI 智能体自主调度 Ghidra 和 Kuna 等反编译器，能将编译后的二进制文件还原为可读代码并支持用户重构，在 GitHub 上已收获超 40 万颗星。
The Verge · AIAI 评分6767 复古游戏逆向移植领域正被 AI 全面席卷
AI 编码工具大幅缩短了复古游戏的反编译与重新编译（decomp/recomp）周期，催生了大量跨平台移植项目。然而利用 AI 快速完成他人半成品并进行恶意分叉的行为，正在撕裂原本注重逆向理解与开源协作的游戏保护社区，甚至导致部分资源网站关闭。行业目前呈现两极分化：爱好者与部分大厂看好 AI 加速游戏移植的潜力，而传统游戏保护者则担忧其忽视底层代码细节并破坏社区信任。
GitHub Blog · AI & MLAI 评分5757 GitHub Copilot：为什么对话框往往是错误的 AI 交互界面
GitHub 官方博客发文探讨大语言模型交互范式的局限，指出单一对话框容易诱导用户让模型代劳所有琐事而浪费 token。文章提出在 GitHub Copilot app 中使用 canvas 运行轻量全栈应用，通过与智能体双向通信并在本地执行代码来承载具体任务。这种模式允许智能体为用户生成专用工具或接管多步骤开发流程，从而将开发者从频繁交互中解放出来。
GitHub Blog · AI & MLAI 评分4949 GitHub 探讨：该读 AI 代码吗？RAG 死了吗？Skills 取代了 MCP 吗？
GitHub 在播客中剖析了多项 AI 热门争议，指出开发者仍须对 AI 生成代码负责，且 RAG 并没有消亡，Skills 也未取代 MCP。MCP 为 AI 智能体提供连接工具与数据的标准化接口，Skills 承载流程规范与专业知识，结合 RAG 的外部检索，三者在实际开发工作流中相互协同。