几十个 AI 24 天写完 4310 万行，靠的不是模型更聪明 Axiom 用几十个 Agent、24 天把有限单群分类定理形式化成 4310 万行 Lean，还翻出 1986 年证明的错误；另一边多智能体失败率高达 87%。差别不在模型，在组织结构。
腾讯混元 Hy4 首发电脑操作，金融众测开源第一【AI 早报 2026-11-05】 腾讯混元 Hy4 首发电脑操作，金融众测开源第一【AI 早报 2026-11-05】 腾讯混元 Hy4 首次把视觉理解、Computer Use 和长程智能体打包进开源模型，579 个真实金融任务众测...
英伟达和 Pika 都在改这个中国模型，但美国用户不能本地跑 MiniMax H3 开源一个月 2400 万下载、300 多个衍生模型，Pika 和英伟达/MIT 都在它上面做二次开发；但 H3 社区许可把美欧英韩排除在本地部署之外。
腾讯混元 Hy4 发布：770B MoE 开源，首支持电脑操作【AI 早报 2026-11-04】 腾讯混元 Hy4 发布：770B MoE 开源，首支持电脑操作【AI 早报 2026-11-04】 腾讯混元 Hy4 把总参数推到 770B，并首次给开源模型加上 Computer Use 与视觉理解...
免费到 11 月 15 日，腾讯把 770B 旗舰放进了 WorkBuddy Hy4 在 WorkBuddy 国内版、国际版限时免费到 11 月 15 日，每天送额度，Hy3 同步延期；腾讯云 TokenHub 还打 5 折到年底。附四个实测场景和可直接抄的提示词。
卡帕西受不了 YouTube 推荐，花两小时自己造了一个 他把 20 年、4300 万条 HN 评论交给 Claude，筛出 6,454 个被人反复推荐的视频，做了个不看播放量的 YouTube。两小时，代码几乎全是 AI 写的。
GPT-6 Astra 改 0.016% 权重，小模型数学暴涨 6 倍【AI 早报 2026-11-04】 GPT-6 Astra 改 0.016% 权重，小模型数学暴涨 6 倍【AI 早报 2026-11-04】 今日最受关注的是 MIT CSAIL 的权重空间编程：GPT-6 Astra 不训练、只改 ...
GPT-6 Astra 只改 0.016% 权重，Qwen 数学从 7.9% 升至 48.【AI 早报 2026-11-03】 GPT-6 Astra 只改 0.016% 权重，Qwen 数学从 7.9% 升至 48.【AI 早报 2026-11-03】 今日头条是 MIT CSAIL 的“权重空间编程”：GPT-6 Astr...
AI 画的架构图一眼假，因为它根本不该动手画 SeeCode 让 Agent 只写 30–150 行 JSON，布局和连线交给渲染器：一张图 1400 token，而不是 15000。45 种图，能导入 Mermaid，能导出 GIF。