「DeepSeek R1」共找到 2175 篇相关文章
Spring AI Alibaba 1.0 GA 正式发布，Java智能体开发进入新时代
2025年AI智能体爆发，Java智能体构建需求激增。Spring AI Alibaba 1.0发布，是基于Spring AI的AI框架，提供多智能体框架、生态集成等核心能力，助力Java智能体开发，还规划了持续迭代、可观测评估等功能。
太魔幻了！刚刚OpenAI发布GPT Image 1.5：Nano Banana Pro 王座不保
OpenAI发布由GPT Image 1.5驱动的新版ChatGPT Images。新模型核心升级体现在精准修图、指令遵循能力强、生成速度提升4倍。还推出Images主页，API上线且价格降20%，适合企业。
具身Scaling Law押对了！独角兽新品1小时学会新任务，重复1800次成功率99%
具身智能独角兽Generalist推出新模型Gen - 1，它在精细任务上表现出色，成功率大幅提升、效率加快，验证了机器人领域的Scaling Law。研发团队重写数据处理架构，采用新技术提升性能。
Claude Opus 4.1火速发布！坐稳编程之王，官方：马上还有大更新
Claude Opus 4.1正式发布，编程性能超Claude Opus 4及竞品，拿下SOTA。在Agent任务和推理方面升级，定价不变。官方将在几周内大规模改进。Anthropic借客户背书，暗秀关系，文风受开发者喜爱。
全网实测开玩Fable 5.1，听说写作说话和真人没区别？
Anthropic发布Fable 5.1后，第三方跑分和个人实测出炉。ARC Prize测试成绩佳且成本降32%，网友用它做出多款游戏。科技媒体Every全面测评，指出其多方面优势与设计等短板，并给出使用边界。
八卦 | 抄袭DeepSeek劈腿前同事，Mistral 员工被前女友5000字小作文爆锤
一封5000字分手信曝光Mistral AI员工的狗血瓜，不仅有感情纠葛，还指控其学术不端，把DeepSeek技术包装成自己成果，邮件疯传引发热议，Mistral AI未回应。
OpenAI新模型GPT-5.1发布，不跑分不刷榜，主打一个说人话
OpenAI发布GPT-5.1，主打更智能、更具对话性，无跑分打榜，有人设说人话。包括Instant和Thinking两个子模型，简单问题快，复杂问题智能。本周逐步向用户免费开放，还更新了语气风格等功能。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
Cursor 1.0 正式版来了！BugBot 代码审查、后台 Agent 全面开放、MCP 一键安装。
Cursor 1.0正式版更新，新增功能不少，如BugBot代码审查、记忆功能、MCP一键配置等。后台Agent全面开放，还支持Jupyter Notebook。不过新设置界面使用体验一般，远程开发时mcp配置有问题。
刚刚，Anthropic公布Fable 5.1保姆级使用技巧，看完少走十天弯路
Claude Fable 5.1虽可兼容旧版提示词，但行为习惯有变化。官方整理提示词与工程落地指南，涵盖思考程度、工具调用进度汇报、独立工具批量调用等多方面使用技巧和避坑细节。