智谱从1.3万亿跌到2400亿：40亿回购救得了吗
先说结论：回购是好消息，但别把它当成反转信号。40亿港元不少，可它要填的坑，是1.1万亿港元。昨天这家公司终于动手了，动作不小，诚意也有，但想靠这一笔就把股价拉回来，难。事情是这样的。
AI接管一家8万Star开源公司，写代码、派任务、查Bug全包了
早在半年前，LobeHub团队就开始用自家的AI协作平台搞研发，让Agent参与派任务、写代码，甚至排查Bug。
「假电脑」教AI用电脑，出的题连GPT-6 Astra都做不对
合成环境后，再在里面合成高质量的 agent 任务、对应的 verifier 验证器，来组成 {environment， task， verifeir} 训练样本，只在这些合成的环境中训练两个 Qwen 模型，却在 8 个横跨 web agent， claw agent 和 GUI computer-use agent OOD 常见评测榜单上全部有提升。
JeecgBoot是开发框架还是低代码平台？开源版不写代码能做什么
提到 JeecgBoot，不少人的第一反应是 “一个 Spring Boot + Vue 的开发框架”，用之前得先读懂代码结构、会写 Java。这个说法只对了一半。
不会写代码也能操作网页？阿里开源工具2天涨800星
你有没有过这种时刻——> 重复填了二十遍同样的表单、每天要登录后台截图汇报、网页上的数据要手动复制粘贴到 Excel 里……这些事，技术含量为零，但就是又烦又费时间。我之前一直用 Playwright 或者 Selenium 写脚本解决，门槛不低，每次需求一换就得重写。
650万行数学证明，4周交卷，Gemini 4 Carbon啃下加密协议验证硬骨头
4周时间，650万行证明，困扰软件安全研究者多年的难题终于破解，还得靠AI啊。无论靠人还是靠AI，还从来没有人把一款广泛使用的加密协议，直接验证到实际运行的机器码这一层。
2980港元跌到426 智谱还剩几成神话
智谱全称北京智谱华章科技股份有限公司，总部在北京海淀中关村，做的就是"通用大模型"这门生意：自研 GLM 系列基座模型，往上卖四种东西——按调用量计费的开放平台与 API（MaaS）、企业级智能体、企业级通用大模型的私有化本地部署，以及零散的技术服务，另外还有面向开发者的 GLM
阿里Qwen Code 1.0发布：Qoder与Qwen Code Harness融合开源
IT之家 11 月 11 日消息，阿里今日官宣推出 Qwen Code 1.0 版本，Qoder 与 Qwen Code 融合开源。阿里把在 Qoder 中打磨的 Harness 能力融入 Qwen Code，随 Qwen Code 1.
阿里 Qwen Code 1.0 发布：Qoder 与 Qwen Code Harness 融合开源
11月11日，阿里正式推出 Qwen Code 1.0，将 Qoder 中打磨的 Harness 能力融入 Qwen Code，并以 Qwen Code 1.0 Preview 独立分支开放，现有稳定分支继续保留。
AI接管一家8万Star开源公司，写代码、派任务、查Bug全包了
来源：市场资讯（来源：量子位）文婷 发自 凹非寺量子位 | 公众号QbitAI一位AI主编领着三位AI小编，分别盯紧前沿大模型、开源项目和大厂人事。我把选题需求往主编Agent Sienna手里一塞，它转头便拆起了活，派人、收稿，汇总一气呵成。