博客

月之暗面发布开源思考型Agent模型Kimi K2 Thinking，具备1万亿参数。其核心突破在于无需人工干预即可连续执行200-300次工具调用，完成复杂多步骤任务。该模型采用INT4量化技术提升生成速度，通过精简架构降低计算冗余，训练成本为460万美元。在多项基准测试中表现超越GPT-5，包括智能体能力（τ²-Bench Telecom达93%）、综合推理（HLE达44.9%）及编程实战（SWE-Bench Verified达71.3%）。模型完全开源且商用免费，采用修改版MIT许可证。

LTX-2是Lightricks发布的全球首个音画同步4K视频生成模型，可生成20秒、50fps高清视频，支持文本/图像输入。它实现了角色口型与语音同步，能在ComfyUI运行并本地部署，将于5年11月下旬开源。作为专业级创作工具，LTX-2让"文字变电影级短片"成为现实。

LTX-2是Lightricks发布的全球首个音画同步4K视频生成模型，可生成20秒、50fps高清视频，支持文本/图像输入。它实现了角色口型与语音同步，能在ComfyUI运行并本地部署，将于5年11月下旬开源。作为专业级创作工具，LTX-2让"文字变电影级短片"成为现实。

快手推出AI编程产品矩阵KAT-Coder，涵盖自研模型、工具与平台，支持20多种编程语言及多类开发任务。其开源版本KAT-Dev-72B-Exp在SWE-bench榜单以74.6%成绩超越GPT与Claude。该模型具备代码生成、调试、优化等能力，兼容主流开发工具，并在网页生成、电商网站、3D特效等领域展现强大应用潜力，标志着快手正式进军AI编程赛道。

Manus作为2025年AI Agent热潮的代表，虽依托大模型、工具链与记忆技术实现任务执行，但因缺乏专业场景深耕与闭环交付，暴露“通用Agent”泡沫。其问题根源在于工程积累不足、资本驱动短视，导致功能堆砌却智能有限。行业正转向垂直领域，如医学Agent OpenEvidence，强调确定性流程与数据驱动，揭示未来属于专注、可评估、落地扎实的“笨智能”路径。

OpenAI发布首款AI原生浏览器ChatGPT Atlas，深度融合ChatGPT智能能力。其核心功能包括：实时AI辅助网页内容总结与互动、智能写作优化、自然语言控制浏览器操作、个性化记忆推荐、智能体模式自动执行购物及预订任务、光标聊天实时文本处理。该浏览器通过AI技术提升浏览效率，实现任务自动化，重塑人机交互体验。

谷歌的Veo3.1与OpenAI的Sora2在AI视频生成领域展开竞争。Veo3.1以精准控制、高质量音画同步见长，适合专业长视频创作。Sora2则胜在流畅自然的动态效果和娱乐性，更适合创意短视频。两者各有优势，选择取决于具体应用场景。

近年来，人工智能技术的进步让我们惊叹不已，尤其是在生成式AI的领域。谷歌的最新AI模型——Gemini 3.0

文章对Manus、扣子空间、Lovart、Flowith Neo、Skywork和超级麦吉六款主流AI Agent产品进行了评测，从执行能力、可信度和使用频次三个维度分析其市场竞争力。Lovart、Skywork和超级麦吉在各自垂直领域表现出色，总评分达18分，而通用型产品面临入口和整合的挑战。文章指出专业化与通用化共存、可交付性、信任机制和入口整合将成为Agent发展的重要方向。

2025年5月，谷歌推出Veo 3，首次实现AI音画同步生成，使AI视频角色能“开口说话”。该模型突破包括4K画面、物理一致性与音效同步等，利用V2A技术编码视频视觉为语义信号，生成匹配音轨，应用于脱口秀、游戏直播、音乐会等场景。虽在复杂动作生成存在不足，但商业化前景显著，定价分层，冲击传统广告与影视制作行业。

Google最新发布的三款Gemma专业化模型——MedGemma、SignGemma和DolphinGemma，代表AI模型从通用性向垂直领域深度适配的重要转变。MedGemma聚焦医疗场景，提供多模态影像和高精度文本推理能力；SignGemma支持多语言手语翻译，帮助听障群体交流；DolphinGemma探索合成海豚语音，推动跨物种沟通研究。这些模型在提升专业性能的同时，兼顾计算效率与部署便利性，为AI产业化落地提供了新路径。

Anthropic发布Claude 4系列，涵盖Opus 4和Sonnet 4两个版本，专注编程和高级推理任务。CEO Dario Amodei在开发者大会上宣布该系列全面超越竞品，性能在多个基准测试中领先，同时推出Claude Code及全新API功能，推动AI与开发模式变革。

Manus上线图像生成功能，新用户获赠1000积分并每日补充300积分。平台采用深度思考流程，支持多工具协同与任务交互调整。测试案例显示其可完成复杂图像生成、品牌设计、网页部署等任务。积分消耗较高，基础功能免费额度有限，付费订阅分三档。Manus优势在于意图理解与全流程执行，但存在速度慢、质量波动和成本高等问题，未来仍有提升空间。

OpenAI 于2025年5月推出 Codex 编程智能体，集成于 ChatGPT，基于 codex-1 模型，在云端执行编写代码、修复漏洞、运行测试等任务。Codex 支持 GitHub 集成，提供可验证的执行证据，并在 SWE-Bench 测试中得分达 72.1%。目前向Pro、Enterprise 和 Team 用户开放，未来将进一步增强交互性与开发工具集成，助力提升软件开发效率。

Google DeepMind推出AI编码智能体AlphaEvolve，能够自主编写、优化代码并进行科学发现。该系统融合大语言模型、进化算法和自动评估器，已在数学领域取得多项突破，如改进矩阵乘法算法和解决几何难题。同时，其在Google数据中心优化、芯片设计和AI训练中实现显著效率提升，标志着AI从工具转变为算法创新伙伴的新里程碑。

Bento Grids（苹果风）是一种以极简、清晰和高度组织化的视觉设计风格，常用于现代网页和移动应用界面。该风格通过网格模块展示内容，强调留白、对齐与一致性，营造出干净的阅读体验。文章还提供了使用Figma实现该布局的具体操作步骤，并推荐了相关插件及工具。

英伟达发布开源Llama-NemotronAI模型，包括8B、49B和253B版本。旗舰级LN-Ultra以仅253亿参数在多项基准测试中超越了6710亿DeepSeek-R1，同时在单个xH100节点上实现更高效运行。该系列五阶段训练流程，创新性技术包括推理开关、硬件感知优化和合成数据训练。模型性能参数规模与性能的正比关系，标志着AI效率优先时代，其开源许可将加速技术普及。

Google发布Gemini 2.5 Pro版，在多模态理解和代码生成领域实现重大。该模型在编程能力上超越竞争对手Cl 3.7 Sonnet，特别擅长视频内容和手绘草图转化为功能完备的网络，显著提升开发效率。它在Web开发、审查优化和教育技术等领域展现出革命性，开创了AI辅助开发的新范式。

Bolt.new是一个AI驱动开发平台，用户通过自然描述直接生成完整网站，编写代码。它支持多框架生成应用程序，安装软件包，并实现动态优化代码和手绘转换。用户登录后输入网站需求即可自动代码，支持多轮对话优化和实时预览，可部署或下载代码。关键是编写详细提示词明确网站类型、风格和目标受众，同时结合编辑提高精度。Bolt.new特别适合原型开发，结合专业工具（如Cursor能实现更复杂项目。平台初期免费，但未来收费，适合创业者、内容创作者和开发者。

DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。

OpenAI正式推出其最新多模态图像生成模型​​gpt-image-1​​，并通过API向全球开发者开放。 这