ai-native

猫头虎-人工智能

ChatGPT模型选择器详解：全面了解GPT-4o、GPT-4.5、o3等模型的切换与使用策略（2025最新版）为什么chatGPT只能看见ChatGPT5一个模型了？更新时间：16小时前 ⚠️ 注意：本文中部分信息因 GPT-5 发布已过时。文中提到的旧版模型仍可供 Pro、Team 和 Enterprise 工作区使用，但不再对 Free 或 Plus 用户开放。

张艾拉 Fun AI Everyday

小宿科技：AI Agent 的卖铲人今天的主角是：小宿科技所以一直想找一家国内的 AI Agent Infra （基础设施平台）公司，特别是已经有很好的盈利模式和实现相对稳定收入的公司，今天介绍的这家小宿科技，就是这样一个“卖铲子的公司”。

大数据在线

超聚变：智能体时代，AI原生重构城企数智化基因2025 世界人工智能大会（WAIC）世博展览馆内，超聚变展台前人头攒动，其展示的AI落地全栈解决方案及上百个AI应用场景吸引了众多参观者驻足观看。

【AI高性能网络解析】第一期：面向GPU算力纵向扩展的Scale-up网络技术研究摘要 Scale-up网络是算力资源纵向扩展网络，用于提供高带宽、低时延与高可靠的GPU互联网络，压缩GPU之间的通信开销，提高算力资源利用率。本文分析了Scale-up网络的技术要求，指出当前RoCE v2与PCIe都不能完全满足Scale-up网络的技术要求，需要从物理层、链路层及事务层等各个层面做优化。系统梳理了Scale-up网络国内外最新的标准化进展，并对未来Scale-up网络趋势做出预判。关键词智算网络；并行计算；纵向扩展；大模型；内存语义；计算-通信融合

构建 MCP 服务器：第 4 部分 — 创建工具这是我们构建 MCP 服务器的四部分教程的最后一部分。在第一部分中，我们使用基本资源创建了第一个 MCP 服务器。第二部分添加了资源模板并改进了代码组织。在第三部分中，我们添加了提示符并进一步完善了服务器结构。现在，我们将通过添加工具来完成服务器的搭建。

鸿蒙布道师

AI原生手机：三大技术阵营的终极对决与未来展望2024年，智能手机行业迎来了一个历史性转折点——AI原生手机从概念走向主流。根据IDC最新报告，中国AI手机出货量同比激增591%，渗透率从2023年的3%飙升至22%。这一数据背后，是手机厂商在硬件创新枯竭、用户换机周期延长至51个月的困境下，集体押注AI技术的战略选择。

DeepSeek-Prover-V2-671B 简介、下载、体验、微调、数据集：专为数学定理自动证明设计的超大垂直领域语言模型（在线体验地址）体验地址：Hugging Face 在线体验推荐入口：Novita 平台直达链接（含邀请码）DeepSeek-Prover-V2-671B 是 DeepSeek 团队于 2025 年4月30日发布的开源超大垂直领域语言模型，专为在 Lean 4 语言中进行数学定理的形式化证明（formal theorem proving）而打造。该模型是 DeepSeek-V3 架构的继承者，采用冷启动推理数据合成与强化学习相结合的训练策略，成功将非形式化数学推理与形式化证明能力融合为一体。

【初识Trae】字节跳动推出的下一代AI原生IDE，重新定义智能编程从官网可以看到有两个大标签页，即Trae IDE CN和Trae插件，这就说明Trae在发布Trae IDE的同时考虑到对主流IDE的插件支持，这一点非常有心，但是我估测Trae IDE的体验更好（就是AI IDE出生，毕竟更原生嘛），但我也只是估测，具体得真实使用后才能知道。

如何使用AI去水印（ChatGPT去除图片水印）尽管AI去水印听起来复杂，但一旦理解其中的原理，其实并不难。在这篇文章中，我们将介绍如何利用ChatGPT生成去水印的代码，借助人工智能来帮助去除图片上的水印。

深度剖析 RuoYi - AI：打造专属智能助手的全栈解决方案在人工智能技术飞速发展的当下，开发一个功能完备的 AI 助手平台成了众多开发者的目标。今天要给大家介绍的 RuoYi - AI，是一款基于 Spring Boot 的全栈式 AI 应用框架。它开箱即用、功能丰富，非常适合快速搭建属于自己的智能助手。

何为AI原生IDEAI原生IDE（Integrated Development Environment）是新一代智能开发平台，其核心在于将大语言模型（LLM）深度融入软件开发全生命周期，实现**「开发即对话」**的范式革新。以下从技术架构、功能特征及行业影响三个维度进行解析：

檀越剑指大厂

【中国首个AI原生IDE：字节跳动发布AI编程工具Trae，开启智能编程新时代】💝💝💝欢迎来到我的博客，很高兴能够在这里和您见面！希望您在这里可以感受到一份轻松愉快的氛围，不仅可以获得有趣的内容和知识，也可以畅所欲言、分享您的想法和见解。

Trae智能协作AI编程工具IDE：如何在MacBook Pro下载、安装和配置使用Trae？在AI编程新时代，Trae通过以下突破性功能重新定义开发体验：Trae智能协作AI编程工具IDE：如何在MacBook Pro下载、安装和配置使用Trae？

用 AI 工具实现被动收入：自动化内容生成与发布———————————————————嘿，朋友们！今天聊点硬核又实在的东西——如何用AI工具实现被动收入。

什么是DeepSeek？如何入门DeepSeek？DeepSeek（深度求索）是一款由国内团队开发的开源人工智能工具库，专注于提供高效易用的AI模型训练与推理能力。它既包含预训练大语言模型（如DeepSeek-R1系列），也提供配套工具链，助力开发者快速实现AI应用落地。

网页大作功能实现示例：邮箱验证、AI接入要完成短信验证功能，需要有个专用的邮箱账号向登录的邮箱发送验证码，因为我主要使用QQ邮箱，所有我这里用QQ邮箱申请授权码。

LangChain教程 - 表达式语言 (LCEL) -构建智能链LangChain提供了一种灵活且强大的表达式语言 (LangChain Expression Language, LCEL)，用于创建复杂的逻辑链。通过将不同的可运行对象组合起来，LCEL可以实现顺序链、嵌套链、并行链、路由以及动态构建等高级功能，从而满足各种场景下的需求。本文将详细介绍这些功能及其实现方式。

除了混合搜索，RAG 还需要哪些基础设施能力Infinity 是一款专门为 RAG 设计的，在功能和性能上全面领先的数据库，针对向量，稀疏向量，还有文本类数据，分别提供高性能的向量搜索、稀疏向量搜索以及全文搜索，并且提供这些数据之上的高性能范围过滤，除此之外，还提供了基于 Tensor 的重排序，这使得数据库内置不亚于 Cross Encoder 的排序能力成为可能，并且还是多模态 RAG （还有个流行的说法叫做 VisualRAG）的强力助推器。因此，如下图所示，Infinity 本质上是一款针对各种数据的全索引数据库。

克服奖励欺骗：Meta发布全新后训练方式CGPO，编程水平直升5%，打破RLHF瓶颈在人工智能领域，奖励欺骗成为了多任务学习中的一大难题，严重影响了大型语言模型（LLMs）的表现。为了有效应对这一挑战，Meta近期推出了全新的后训练方法——Constrained Generative Policy Optimization（CGPO），该方法通过创新的混合评审机制和约束优化器，成功提升了模型的编程水平达5%。这一进展不仅突破了传统强化学习与人类反馈（RLHF）的瓶颈，还为未来的多任务学习提供了全新的优化路径。CGPO的推出意味着我们在提升AI模型效能、实现更高效的多目标优化方面迈出了重要