混元Hy4实测：基模有了视觉、Agen能跨应用，干活能力到底如何？
11月4日，腾讯混元正式推出新一代大语言模型Hy4，并且旗下AI助手元宝也同步完成了能力接入。现在，在元宝App、PC客户端、网页端，用户都能把模型切换到Hy4使用。
一天烧掉5倍Token预算、3周没看一眼代码！微软产品经理让Claude Code、Codex重构代码库，结果Skills是假的、测试连上了生产环境
近日，AI Engineer 栏目在 YouTube 分享了 Keiji Kanazawa 的这段经历——《I Let Agents Refactor My Codebase for 3 Weeks. Then I Read the Code》。
650万行数学证明，4周交卷，Gemini 4 Carbon啃下加密协议验证硬骨头
4周时间，650万行证明，困扰软件安全研究者多年的难题终于破解，还得靠AI啊。无论靠人还是靠AI，还从来没有人把一款广泛使用的加密协议，直接验证到实际运行的机器码这一层。
突发，「源神」 MiniMax 开源H3 Image，最强开源模型中国造
OpenAI 在11月4日刚上线的 Images 2.6 才过了几天，已有人喊出:GPT is cooked.市面上主流模型大多在一百万到四百万像素，速度普遍是分钟级，最快的也要 50 秒左右，H3 Image 生成 4K 的图像只需 10 到 20 秒，降低了尝试的时间成本。
九成代码AI写，谁来审？Claude Code亮出6道关卡！
Claude Code约90%的自身代码，已经交给Claude编写。写代码的换成了AI，改动数量也跟着暴涨:6月到9月，合并进代码库的PR数量，翻了一倍多。
Linux内核被挖出948个漏洞，OpenAI花120万美元找到的
刚刚，Linux内核，被GPT挖出了948个漏洞😭。对，948个。。。要知道，这可不是什么犄角旮旯的小软件，这是Linux Kernel，是安卓、是全世界无数云服务器、是几乎所有超算背后共同的心脏。超过4000万行代码，几十年来全世界最顶尖的一批程序员在上面添砖加瓦。
Grok Bot把AI做成同事后，最难的是授权与交接
Grok Bot 把研究、写作、日程拆给有名字的 Bot，各自记各自的记忆，再在群里协作交接。报道显示，这个产品从 2026 年 8 月测试到两个月后，付费周用户达到 80 万，10 月较前一个月增长超过一倍。
MiniMax Code 实测，这是一个很有性格的 Agent。
MiniMax Code 的 Go 套餐仅需 49，话说这算一众 Coding Agent 中起步很便宜的了吧?M Plan 的 Explore 套餐 119 元、Build 套餐 469 元，分别是 Go 的 3 倍和 12 倍用量。
AGENTS.MD，危险危险危险！！！
AGENTS.MD，正在成为AI时代的电脑病毒。没点任何弹窗，没点任何「确定下载」，手都没怎么动。就在你切走网页的一瞬间，一个叫AGENTS.md的纯文本文件，已经悄无声息躺进了你电脑的「下载」文件夹里。
狂揽 83.7K Star！开源版Super-agent来了，告别AI监工～
这个83.7K Star的开源项目从聊天框长成多智能体平台，群里一句话就能接活、拆活、派活，人终于不用当人肉路由器。