AI资讯Meta推出Muse Spark 1.1，加入激烈的AI编程竞争
Meta于周四公开发布了新版Muse Spark，这是一款多模态AI模型，专为智能编程设计，旨在与OpenAI和Anthropic等公司推出的类似产品竞争。 Spark 1.1的首个版本于今年四月发布，具备多步推理能力，能够处理复杂流程，管理数字化工作流，并在企业系统中部署新功能，Meta公司表示。 虽然Meta在这方面稍显落后，Anthropic和OpenAI早已推出类似模型，但这并不意味着Me
#编程模型
按标签聚合查看文章内容。
AI资讯
AI资讯OpenAI发布全新GPT-5.6系列模型
OpenAI于周四正式推出了其最新一代模型系列，向日益激烈的人工智能市场注入了强劲的新力量。 GPT-5.6系列包含三种版本：Sol（被视为主力机型）、Terra（中间级选项）和Luna（经济实惠型）。这些模型在多个领域扩展了用户的应用可能性，公司承诺它们在企业应用、编程甚至科学研究方面具备强大的能力。 CEO Sam Altman表示，新一代模型在效率和成本效益上远超以往版本。近期他向媒体透露，
AI资讯2026年4月本地模型排行榜
本文盘点了当前社区推荐的本地模型，涵盖不同规模和应用场景，帮助了解本地模型的最新趋势。
AI资讯SpaceXAI发布Grok 4.5：收购Cursor后的首款Opus级模型
SpaceXAI推出了专注于编程和智能代理的Grok 4.5模型，定位于性价比优先，性能接近Opus系列。
AI资讯Cursor承认其新编程模型基于Moonshot AI的Kimi构建
本周，AI编程公司Cursor发布了名为Composer 2的新模型，并宣传其具备“前沿级编程智能”。 然而，一位名为Fynn的X用户很快指出，Composer 2实际上是“仅在Kimi 2.5基础上加入了强化学习”的版本。Kimi 2.5是由中国公司Moonshot AI最近开源发布的模型，该公司由阿里巴巴和红杉中国（前身为红杉资本中国）支持。 Fynn提供了代码证据，显示模型标识符指向了Kim
AI资讯谷歌推出Gemini 3.5 Flash，押注AI智能代理而非聊天机器人
谷歌于周二发布了Gemini 3.5 Flash，这是一款公司迄今为止最强大的AI模型，专注于编程和自主AI代理。该模型在谷歌年度开发者大会Google I/O上亮相，能够独立执行编程流程、管理研究项目，并在内部测试中实现从零开始构建操作系统。 此次发布标志着谷歌从将AI定位为对话工具，转向将AI视为具备自主行动能力的工具。它不仅能回答问题，更能在极少人工干预下进行规划、构建和迭代实际工作。 De