「AI工具生态」共找到 10690 篇相关文章
Skill 和 CLI：经验指导能力，能力丰富经验
本文以作者自身使用飞书和 YouMind 工具的经历为例，探讨了 CLI 和 Skill 的关系，指出它们并非上下级，而是像菜谱和菜刀，相互配合。官方设计也体现了二者深度咬合，还给出使用判断口诀及 Skill 链玩法。
5万人抢光「阶跃龙虾」：3分钟一键部署，「养虾」终于变简单了
3月12日「阶跃龙虾」上线，提供5万个免费体验名额。此前阶跃星辰自研的Step 3.5 Flash模型在OpenRouter平台霸榜。其一键部署功能简化养虾流程，且云端版本支持7×24小时在线，国产厂商正推动AI Agent使用范式转变。
OpenAI发布GPT-5.4：首个原生接管电脑通用模型
OpenAI发布GPT-5.4及满血版GPT-5.4 Pro，主打专业生产力。它具备原生电脑操作能力，视觉感知、职场任务表现提升，幻觉问题被压制，代码能力强，工具调用机制优化，已在ChatGPT等全量上线，API定价上调。
OpenAI最强对手出现！马斯克发布Grok-4，性能碾压Claude 4两倍！
半小时前马斯克发布Grok - 4，虽Grok3.5跳票、直播迟到被吐槽，但它训练量和算力投入大。在多项基准测试中碾压Claude Opus 4，还具备原生工具调用等能力，xAI目标是让其更快更智能。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
10岁寒武纪，迎来好日子
常年亏损的寒武纪在2024年四季度和2025年一季度连续单季盈利，2025年一季度营收同比大增4230.22%。其云端产品线贡献大，受益于英伟达芯片出口受限。不过，它在生态和战略上与英伟达有差距，还面临诸多竞争。
10w人看过的龙虾量化系统，评论区骂最多的问题，我花2天补上了。
上一篇龙虾量化系统文章获10w+，评论指出数据是短板。作者经研究找到QVeris，它是统一数据接口平台，使用简单。作者以金融领域为例介绍其用法，还测试其在其他领域的能力，认为它是AI时代的数据基础设施。
没有国产替代，EDA需“自主可控”突围
在ICCAD - Expo 2025上了解到，国产EDA从业者不期待国产替代，要在新产业机遇找突破。先进封装催生出新的EDA技术需求，硅芯科技推出3Sheng平台应对，还推动产业生态建设。赵毅认为国产EDA可差异化突破、工具级协作。
藏师傅 Kimi K2 Thinking 首测！教你用 Kimi 编程全家桶
本文首发测评藏师傅 Kimi K2 Thinking，介绍 Kimi 编程全家桶。K2 Thinking 有 Agent 化等多方面升级，还推出 Kimi CLI 工具与 KFC 套餐。作者展示全家桶使用方法并多维度测试，肯定其表现，赞 Kimi 战略清醒务实有远见。
CS博士求职8个月0 offer，绝望转行！斯坦福入学停滞，全美仅增0.2%
曾经热门的计算机专业渐成「冷门」，全美入学率仅增0.2%，斯坦福等校招生下滑。AI自动化初级编程岗位，致就业前景暗淡，如田纳西大学博士生求职8个月无果。不过也有人认为低迷或为短期，专家建议选培养可迁移技能学科。