模型发布 - AI 资讯
20万页 智能选型深度横向博弈，紧密跟踪前沿大模型发布与 AI 落地实战应用解析。
Exa AI 发布 Dynamic Highlights：AI 智能体搜索时代的关键效率革命
Exa AI 正式推出 Dynamic Highlights 研究预览版，旨在解决智能体（Agent）搜索中上下文窗口膨胀和 Token 成本过高的问题。该技术将文档检索粒度从“文档级”提升至“Token 级”，通过全局动态分配策略，在保持甚至提升回答质量的前提下，平均减少 95% 的冗余 Token 使用。实测数据显示，在单轮搜索中 Token 效率提升 40%，在长周期智能体任务中降低 30% 的 Token 消耗，标志着 AI 搜索从“广度覆盖”向“精准高效”的范式转移。
Felo AI 发布文本/图像生成电影级短视频功能，限时 7 折仅需 1 美元
Felo AI 正式推出文本与图像生成电影级短视频的核心功能，支持从创意描述或单张照片快速生成 4 秒高画质片段。此次更新标志着 Felo 在视频生成领域的重大突破，用户仅需 1 美元（含 1000 积分）即可在限时活动中获得 10 个 768P 分辨率的 4 秒视频片段，极大地降低了 AI 视频创作的门槛。
Trickle AI 发布动态 Banner 教程：Nano Banana 与 Seedream 4.0 打造沉浸式偶像主页
Trickle AI 最新教程详解如何利用 Nano Banana、Seedream 4.0 及 Seedance 1.0 Pro 三大模型，结合 Magic Canvas 构建高保真动态 Banner 与九宫格主页。文章涵盖从风格一致性控制、图像生成到视频动画及页面编排的全流程，展示了从静态素材到沉浸式视觉体验的完整工作流。
OpenAI 正式官宣 Astra 模型：突破临界安全门槛，GPT-6 代号确认？
OpenAI 正式公布其下一代旗舰模型 Astra，标志着公司首个通过“准备就绪框架”中关键网络安全能力门槛的模型诞生。Astra 在 ExploitBench 基准测试中表现卓越，并展现出利用零日漏洞的能力。尽管社区广泛猜测其为 GPT-6，但 OpenAI 尚未确认具体命名或 API 细节。本文深度解析 Astra 的官方披露、技术架构传闻及开发者应对策略。
Listnr 发布：打造 142+ 语种与千声 AI 配音的新一代 TTS 平台
Listnr 正式推出新一代 AI 语音平台，针对创作者与团队在视频、有声书及多语种内容生产中的痛点，提供 1000+ 逼真声线覆盖 142+ 种语言。平台强调从脚本到可商用音频的完整工作流，支持商业授权与多语言扩展，旨在替代传统单一功能的 TTS 工具，实现规模化内容生产。
Qwen3.7-Max 重磅发布：8K 动态上下文与 25% 延迟降低，重塑企业级 AI 文档工作流
Qwen3.7-Max 正式发布，针对企业级文档处理场景进行深度优化。核心突破包括支持 8K 动态上下文窗口、推理延迟降低 25% 及显存占用优化。新增领域适配工具包与多模态原生支持，显著提升了金融、法律等垂直领域的自动化处理能力，帮助组织在知识密集型工作中实现高达 40% 的效率提升。
GitLab 发布 Duo Agent Platform：通用型 AI 代理平台正式公测，重塑软件交付全链路
GitLab 正式宣布 GitLab Duo Agent Platform 进入通用可用（GA）阶段，标志着其将生成式 AI 从代码辅助扩展至整个软件开发生命周期。该平台通过统一的代理协作体验，解决了 AI 生产力提升带来的新瓶颈（如代码审查积压），支持自主执行多步任务、智能规划及跨工具编排。开发者可立即体验分析、代码生成、CI/CD 优化及安全漏洞修复等核心能力，并享有专属 Credits 抵扣权益。
OpenAI GPT-6 Astra 正式入驻 GitHub Copilot：自主编码新纪元
OpenAI 最新通用模型 GPT-6 Astra 正式在 GitHub Copilot 中全面上线。该模型专为长周期、自主编码及智能体任务设计，具备动态规划、自我验证及批量诊断能力。相比前代模型，GPT-6 Astra 在复杂任务中步骤更少、性能更强，现已支持 Pro+、Max 及企业版用户，标志着 AI 编程从辅助生成迈向自主执行的关键跨越。
Bohrium 发布 Science Navigator：重塑经济研究证据链与因果推断工作流
Bohrium 正式推出 Science Navigator，专为经济学研究设计的 AI 工具。不同于通用大模型，它聚焦于多约束文献检索、因果推断验证及证据溯源。通过整合 Bohrium 的 AI Mentor 模式，支持从复杂经济问题拆解到结构化证据表生成的全流程，帮助研究人员在数据版本、识别策略和实证结果之间建立可追溯的验证闭环，解决传统 AI 工具在经济学领域“幻觉”与“不可验证”的痛点。
OpenAI 静默开源 Codex Security CLI：终端驱动的安全代理与实战价值
OpenAI 在 GitHub 与 npm 上静默发布了 Codex Security CLI，将其定位为命令行环境下的安全代理（Security Agent）。该工具基于 Apache-2.0 开源，支持扫描代码库、映射攻击路径并在沙箱中验证漏洞，已测试扫描 120 万+ 提交并发现 792 个关键问题。尽管依赖 API Key 且需人工复核，但其 JSON 输出与 SARIF 导出功能使其成为 CI/CD 流程中自动化安全测试的有力补充。
InfCode 登顶 Multi-SWE-bench Java 榜单：难题解决率提升 6 倍，定义 AI 工程时代
InfCode 继 C++ 领域夺冠后，再次在 Multi-SWE-bench Java 榜单中斩获第一，难题解决率高达 16.67%，是第二名的 6 倍。凭借语义定位、AST 结构化检索及闭合测试环三大核心能力，InfCode 展现了在复杂大型工业系统（如 Java 后端）中的卓越工程级代码能力，标志着 AI 编程正从“感性 Vibe Coding
二狗 PPT 发布：AI 驱动的中式职场演示工具，重塑 PPT 制作与协作新范式
二狗 PPT 正式上线，作为面向中文职场场景的 AI 演示工具，它解决了传统 PPT 制作中排版繁琐、风格不统一等痛点。工具内置中式专属模板，支持 AI 智能排版与主题调节，并能导出标准 PPTX 文件。虽然工具本身不直接处理多人实时协作冲突，但其强大的自动化能力为高效制作提供了坚实基础。
