天眼早报

🤖 AI 大模型

𝕏 OpenAI Astra 模型解决 10 大数学难题，含 Lean 证明

OpenAI发布下一代模型家族Astra，成功解决10 个重大数学、量子复杂性及理论计算机科学问题，包括冯·诺依曼代数领域康涅斯刚性猜想反例、高维球体堆积界限优化等。所有证明均附带Lean证书和思维链推导，算力成本仅约 2000 美元，引发行业对 AI 科研能力的重新评估。

MiniMax H3 统一多模态流程，原生输出 2K 视频并支持口型同步

MiniMax H3将文本、图像、视频和声音统一进同一套理解与生成流程，可输出原生双声道的15 秒 2K视频，并支持单提示词生成多角色口型同步视频，保持场景一致性。该技术已集成至Magnific平台，为创作者提供高质量视频生成方案。文章拆解了全模态表征、高压缩 VAE 及异构训练技术。

OpenAI 利用 ChatGPT 成功捣毁跨国诈骗集团

OpenAI官方宣布，其ChatGPT系统协助执法部门破坏了一个涉及投资、恋爱、赌博和冒充身份的跨国诈骗集团。这是 AI 直接用于打击网络犯罪的典型案例。

𝕏 DeepSeek V4-Flash-High 前端能力超预期，性价比极高

DeepSeek发布的V4-Flash-High模型在前端开发任务中表现惊人，测试者需反复确认模型版本。其性能与价格比被评价为“太不可思议”，成为开发者新宠。

𝕏 Grok Imagine Video 1.5 升级：原生 1080p 与多模态参考

Grok Imagine Video 1.5更新带来原生 1080p画质，并新增文本转视频、图像参考及语音参考功能。新功能需订阅SuperGrok Plus（100 美元/月）方可使用。该版本显著提升了视频生成的清晰度与多模态控制能力，为创作者提供更专业的工具支持。

𝕏 LMSYS 发布 Inkling-small 模型，276B 参数仅需 12B 激活

LMSYS开源Inkling-small模型，采用276B总参数量但仅12B激活的稀疏架构。配合 SGLang 推理引擎，解码速度达 648 tok/s，在 RL 训练中表现优异。

𝕏 Seedance 2.5 上线 Higgsfield，支持复杂运镜与长视频生成

Seedance 2.5即将在Higgsfield平台上线，核心升级包括3 分钟超长视频生成能力及精准运镜控制。用户可通过机位调度图指定 Dolly 推近、机械臂环绕等动作，彻底消除 AI 视频的“僵硬感”，实现电影级导演感。

---