单一来源
当前只有一个可用来源，尚未完成多源交叉核验MiniMax 开源 H3-Image 生图模型，10 秒就能生成一张 4K 图像
IT之家 11 月 10 日消息，今天（10 日）深夜，MiniMax 宣布，MiniMax H3-Image 正式发布并开放权重。这是一款衍生自 H3 的图像生成模型，其具备文本生成图像、图像参考和图像编辑能力。
IT之家从官方介绍获悉，其能够在 10 秒内生成一张 4096 x 4096 像素、约 16 MP（4K）的高分辨率图像，同时呈现丰富、真实的细节，并具备优秀的指令遵循和多参考图理解能力。
MiniMax 称，在 H3 预训练赋予的广泛图像能力基础上，H3-Image 进一步强化了整个后训练链路，在数据、强化学习、步数压缩、PE、部署优化等方面做了许多扎实的工作。这些工作的组合，使得 MiniMax H3-image 同时具备了速度、画面质量、指令遵循三个方面的竞争力：相比于主流的 100 万像素或者 400 万像素，1600 万像素（16MP，4096×4096）的图片在细节上具备显著优势。
MiniMax H3-Image 在 10s 内生成 16MP 的高规格图像，速度可达市面主流水平的 5 倍。画面细节和真实感可以显著拓宽模型的使用范围。有别于常见的“AI 感”，H3-Image 能够提供丰富的画面细节和“极强的真实感”。
模型提供了“开源模型中最强”的指令遵循能力，最多支持 16 张参考图片。发布首周，MiniMax 还将针对 16MP 及以上规格的生成请求提供官方价格的五折优惠。Hugging Face: https://huggingface.co/MiniMaxAI/MiniMax-H3-ImageAPI: https://platform.minimax.cn/docs/guides/image-generationMiniMax Code: https://code.minimax.cn/about
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
DeepMind 用 AI 工具形式化验证 Signal 协议安全
DeepMind 用 AI 工具形式化验证 Signal 协议安全 15 分钟前 Google DeepMind 研究人员借助新 AI 框架 AlphaProof Code，在四周内完成 Signal 协议的形式化验证，确认当前受检协议部分未发现新漏洞，且可正确识别存在已知旧漏洞的旧版 Signal 的问题，判定其无法通过验证。该成果是形式化验证向全球各类软件拓展的里程碑，相关研究人员已公开本次分析开发的规范与证明，为其他形式化验证工作提供助力。 DeepMind 用 AI 工具形式化验证 Signal 协议安全 techflowpost.com 谷歌 DeepMind 用 AI 完
我国算力总规模达 310 万 PFLOPS，位居世界第二
IT之家 11 月 10 日消息，据央视新闻报道，今天，全国数据标准化技术委员会 2026 年第二次“标准周”活动在福建厦门举行。据相关负责人介绍，全国数据标准化技术委员会此次正式成立具身智能数据标准起草工作组及气象、卫生健康、电力、商务等 4 个行业应用标准起草工作组，加快推进“十五五”期间数据领域相关标准制定，赋能行业产业数字化发展。IT之家从报道中获悉，最新数据显示，我国算力总规模已达到 310 万 PFLOPS，位居世界第二。2025 年 8 月的信息显示，近年来，我国算力总规模年增速达到 30% 左右。在人工智能的快速发展带动下，智能算力需求呈现迅猛增长态势。中国电信研究院发布的《智
英伟达于 CoRL 发布世界动作模型 GR00T2 五次示范成功率 95%
英伟达于 CoRL 发布世界动作模型 GR00T2 五次示范成功率 95% 10 分钟前 11 月 9 日英伟达发布新一代世界动作模型 GR00T2，该模型基于 10 万小时人类第一视角数据预训练，在 50 项评测任务中，仅给 1 次示范时平均成功率为 71%，给 5 次示范时成功率达 95%，且无需目标机器人的任务专用示范，可直接实现跨本体迁移。 英伟达在 CoRL 大会上推出 GR00T 2、Isaac Lab 3.0 及新的开放基准测试。 英伟达：在 CoRL 大会上推出 GR00T 2、Isaac Lab 3.0 以及全新的开放式基准测试。 华尔街见闻 英伟达于 CoRL
谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性
IT之家 11 月 10 日消息，长期以来，Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今，谷歌 DeepMind 团队利用人工智能，对这一协议的安全性进行了正式验证（Formal Verification）。据IT之家了解，除了 Signal 应用本身，这套加密协议也被 WhatsApp 和谷歌信息（Google Messages）采用，这项研究成果被描述为“一项具有里程碑意义的进展”。所谓“形式化验证”，是指通过数学方法，严格证明或证伪某种加密算法或协议是否满足其安全性承诺。与传统测试不同，形式化验证旨在证明协议在所有符合既定模型的条件下都能满足安全要求，而不只是通过测
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。