1.Kimi全量上线 k0-math 数学模型,正式推出“Kimi数学版",采用Self-play RL强化学习和Cot思维链技术,擅长解决数学和推理问题,包括自媒体粉丝增长计算、双色球中奖概率等。
2.上海人工智能实验室开放了强推理模型书生InternThinker的试用体验,该模型具备自主生成高智力密度数据和元动作思考能力。
3.美国初创公司Codeium推出新晋AI编程工具 Windsurf,支持结合 Copilots 和 Agents 创造协作型智能体Flow,深度理解代码库,实时感知用户操作。
4.Anthropic推出的模型上下文协议(MCP)旨在通过连接AI助手与多种数据源,提高查询响应的质量和相关性。MCP解决了AI助手与数据源之间的隔离问题,允许开发者在应用程序与数据源之间建立双向连接,简化了系统的扩展性。
5.Lightricks发布了开源视频生成模型LTX-Video,具有20亿参数量,能在4秒内生成5秒视频。该模型基于扩散变换器架构,支持NVIDIA RTX4090显卡,与ComfyUI集成,简化视频创作流程。
6.AI编程工具 Cursor 发布了0.43版本,引入了Composer Agent功能,具备项目理解与编辑能力,自动执行代码任务。同时推出Bug Finder功能,帮助提前修复代码问题。