Category: AI工具

AI工具集介绍和收录了当前最新的AI产品,紧跟最新AI领域的进展,介绍了AI产品的主要功能、如何使用和主要应用场景,快速了解最新AI产品发展趋势。

  • 刺鸟创客 – AI内容创作平台,支持多种创作形式

    刺鸟创客是什么

    刺鸟创客是专业高效的AI内容创作平台,帮助用户快速生成高质量文案。用户只需输入核心想法,平台基于强大的AI算法,快速生成、改写或续写出完整的公众号文章、新媒体文案、邮件、营销广告等。拥有100+写作模板,涵盖多种场景,能满足不同用户的需求。算法高效流畅,3秒即可出稿,支持同时输出多个结果,让用户有更多选择。刺鸟创客具备联网实时获取信息的功能,确保生成内容的时效性。

    刺鸟创客

    刺鸟创客的主要功能

    • 智能文案生成:用户只需输入主题或创意,平台可快速生成完整的文章、文案或广告内容,适用于公众号文章、新媒体文案、邮件、营销广告等多种场景。
    • 多种文体生成:支持生成新闻、小说、论文、营销策划、短视频脚本大纲等多种文体。
    • 自定义写作:用户可以根据自身需求输入内容,实现个性化创作。
    • 文案改写与润色:支持对现有文案进行改写、润色和扩写,提供多种输出结果,帮助用户优化内容表达。
    • 文章续写与扩展:可以根据已有内容进行续写和扩展,保持内容连贯性,激发更多创作灵感。
    • 新建与导入作品:允许用户从头开始创作新的内容,也支持将现有作品导入平台进行编辑和管理。
    • 作品管理:用户可以对作品进行分类存储、版本管理和发布状态跟踪,方便作品的整理和查阅。
    • 文本校对与提取:提供文本校对功能,帮助用户检查语法错误;还支持从音频、视频、截图中提取文案。

    如何使用刺鸟创客

    • 访问平台:访问刺鸟创客的官网:https://www.ciniaoai.com/,或者在手机端微信小程序中搜索“刺鸟创客”,或访问刺鸟创客的官方应用商店下载应用。
    • 登录账号:注册并登录账号,使用平台的全部功能。
    • 选择创作类型:在平台首页选择需要的创作类型,如公众号文章、新媒体文案、邮件、营销广告、小说、论文等。
    • 输入主题与关键词:明确想要撰写的文章主题,输入与主题相关的关键词。
    • 选择生成风格:根据需求和喜好,选择合适的写作风格,如正式、活泼、简洁等。
    • 点击生成:点击生成按钮,刺鸟创客将快速生成一篇基于所选主题和关键词的高质量文章。
    • 修改和完善:对生成的文章进行修改和完善,添加自己的观点和见解,满足具体需求。
    • 高级功能使用
      • 文章改写与润色:将已有的文章导入平台,使用AI改写功能对文章进行优化,提升语言表达和逻辑连贯性。
      • 文章续写:选中文章中的句子、段落或整体内容,点击续写功能,平台将根据上下文生成后续内容。
      • 自定义写作:如果你没有找到合适的模板,可以使用自定义写作功能,如翻译、标题生成、产品文案等。
      • 文本校对与提取:使用平台的文本校对功能检查语法错误,可以从音频、视频、截图中提取文案。

    刺鸟创客的应用场景

    • 广告创意与营销文案:刺鸟创客能根据历史数据分析出最具吸引力的信息组合,为广告设计提供灵感,生成高质量的广告文案。
    • 社交媒体内容:通过自动化工具生成定期更新的帖子,节省时间并保持活跃度。
    • 短视频脚本写作:为短视频创作者提供脚本写作支持,输入关键词即可一键生成高质量脚本。
    • 教育创作:教育工作者可以使用刺鸟创客创作教学材料,编写课程内容,制作教案和课件,提升教学资源的质量和可用性。
    • 自由创作:为自由创作者提供灵活的创作环境,支持多种创作形式,激发创作灵感,帮助创作者将创意转化为高质量的作品。
  • 飞书妙搭 – 飞书推出的企业AI原生系统搭建平台

    飞书妙搭是什么

    飞书妙搭是飞书推出的国内首款企业场景的AI原生系统搭建工具,能帮助企业快速将业务需求转化为实际应用。飞书妙搭通过多Agent架构,支持需求分析、功能设计、应用开发和问题修复,具备局部AI精调、多模态输入、错误自动修复等功能。支持用户用对话方式快速搭建轻量级系统,如客户反馈、工单管理等,实现立等可取、所见即所得的效果。飞书妙搭支持双端自适应,一次搭建即可在多端使用,大幅提升开发效率和应用智能化水平。

    飞书秒搭

    飞书妙搭的主要功能

    • 快速系统搭建:快速将业务需求转化为实际可用的系统原型,支持轻量级应用的快速开发。
    • 多Agent架构支持:从需求分析到问题修复,每个环节都有专业Agent支持,提升开发效率和质量。
    • 局部调整与自动修复:用户直接选中元素对话调整,AI精准响应并自动修复开发错误。
    • 多模态输入与智能输出:支持多种输入方式,生成支持数据存储、功能操作和权限管控的智能应用。
    • 双端自适应:一次搭建能在PC端和移动端使用,提升系统的通用性和灵活性。
    • AI能力集成:支持对话为系统添加AI能力,让应用更智能,提升交互体验。

    如何使用飞书妙搭

    • 申请试用:访问飞书妙搭官网:https://apaas.feishuapp.cn/ai/feida/runtime/app_4gv1aa1z92p8m,点击“申请试用”,填写信息后提交,等待审核开通权限。
    • 登录平台:按提示完成注册和登录,进入操作界面。
    • 创建项目:点击“创建新项目”,输入项目名称和描述,选择项目类型。
    • 描述需求:用自然语言描述业务需求,AI根据描述生成系统原型。
    • 调整优化:选中元素对话调整系统,添加功能,设置数据和权限管理。
    • 测试系统:完成开发后进行测试,邀请团队或用户参与,收集反馈。
    • 一键发布:测试无误后点击“一键发布”,将系统上线投入使用。

    飞书妙搭的应用场景

    • 客户反馈系统:快速搭建客户反馈收集与处理系统,实时跟踪反馈状态,提升客户满意度。
    • 工单管理系统:生成工单管理工具,实现工单的创建、分配、处理和归档,优化工作流程。
    • 销售管理工具:开发销售线索跟踪、客户关系管理等应用,助力销售团队高效工作。
    • 项目管理系统:搭建项目进度跟踪、任务分配和资源管理的系统,提升项目管理效率。
    • 内部知识库:创建企业内部知识库,方便员工快速查找和共享信息,促进知识共享。
  • MirageLSD – Decart AI推出的实时视频生成模型

    MirageLSD是什么

    MirageLSD 是 Decart AI 团队推出的全球首个 Live-Stream Diffusion(实时流扩散)AI 视频模型,能实现无限时长的实时视频生成,延迟低至 40 毫秒以内,支持 24 帧/秒的流畅输出。通过 Diffusion Forcing 技术和历史增强训练,解决了传统自回归模型在长时间生成中的误差累积问题,实现了视频的无限生成。基于Hopper 优化的 Mega Kernels、架构感知剪枝和 Shortcut Distillation 等技术,MirageLSD 在保持高画质的同时,大幅提升了生成速度,实现了真正的实时交互。

    MirageLSD

    MirageLSD的主要功能

    • 无限时长实时视频生成:MirageLSD 能生成无限时长的视频流,延迟低至 40 毫秒以内,支持 24 帧/秒的实时生成速度,解决了传统视频生成模型在长时间生成中的误差累积问题。
    • 实时交互性:用户可以在视频生成过程中实时进行提示、转换和编辑,实现连续的交互式体验。
    • 低延迟处理:模型通过优化技术,如 Hopper 优化的 Mega Kernels 和架构感知剪枝,实现了 40 毫秒的超低延迟处理,支持实时视频生成。
    • 广泛的应用场景:可用于直播、视频通话、游戏开发、动画制作等多个领域,能将普通场景实时转换为用户指定的风格或场景。

    MirageLSD的技术原理

    • Diffusion Forcing 技术:通过逐帧去噪,允许模型在没有完整视频上下文的情况下生成单帧图像,从而实现帧级生成。
    • 历史增强训练:在训练时引入历史帧的噪声数据,使模型能够预测并纠正输入中的误差,从而实现无限生成。
    • 优化策略
      • Hopper 优化的 Mega Kernels:针对 NVIDIA Hopper GPU 架构优化,减少每层模型延迟。
      • 架构感知剪枝:通过调整模型参数大小以适应 GPU 架构,减少计算量。
      • Shortcut Distillation:通过训练更小的模型来匹配大模型的去噪轨迹,减少生成所需的扩散步骤。

    MirageLSD的项目地址

    • 技术论文:https://about.decart.ai/publications/mirage

    MirageLSD的应用场景

    • 直播与视频通话:将普通视频通话或直播内容实时转换为用户指定的场景,如将现实场景变为科幻世界。
    • 游戏开发:能实时将游戏画面转换为不同的视觉风格,如将普通战斗场景变为光剑对决。
    • 动画制作与虚拟换装:为动画制作和虚拟换装提供实时的视觉效果支持。
  • 来福 – AI私人电台应用,语音交互实现提问、点播

    来福是什么

    来福是北京耳朵时间科技推出的AI私人电台应用,应用主打AI语音驱动的“陪伴型内容”,结合语音合成与场景感知实现个性化播报,为用户提供沉浸式的音频体验。用户用语音交互点播节目、提问或聊天,享受7×24小时的声音陪伴。应用融合播客、智能语音助手与定制内容推荐的多重属性,用AI生成内容替代传统主播,重新定义私人电台的使用体验。

    来福

    来福的主要功能

    • 海量内容自动播放:打开应用自动播放丰富多样的音频内容,无需手动搜索,实现连播不停。
    • 个性化推荐:AI根据用户的收听历史和偏好,精准推荐符合用户口味的音频内容。
    • 语音交互功能:语音指令实现提问、点播、控制播放和聊天,提供便捷的交互体验。
    • 多种AI主播风格:提供不同风格的AI主播供用户选择,如资讯速报员、段子手等,满足多样化需求。
    • 7×24小时声音陪伴:全天候不间断提供音频内容,随时随地陪伴用户。

    如何使用来福

    • 下载与安装:访问来福官网:https://laifu.fm/,根据系统类型下载来福APP
    • 注册与登录:打开应用后,按提示完成注册和登录。
    • 初次使用:j进入应用自动播放推荐内容,点击麦克风图标激活语音交互功能。
    • 常用功能操作:激活语音交互功能后,用语音指令点播想听的内容、控制播放,或手动浏览分类选择节目,同时在界面中切换不同风格的AI主播。
    • 个性化设置:在设置中调整推荐偏好,点击“收藏”或“订阅”保存喜欢的节目。

    来福的应用场景

    • 开车出行:在驾驶过程中,用语音交互点播喜欢的音乐或有声读物,解放双手,享受安全的娱乐体验。
    • 做家务时:边做家务边听来福电台的节目,如新闻、广播剧或轻松音乐,让家务不再枯燥。
    • 睡前放松:睡前听轻音乐、有声读物或冥想音频,帮助放松心情,更快进入睡眠状态。
    • 运动健身:在健身房或户外运动时,播放动感音乐或激励性播客,提升运动动力。
    • 工作学习:在工作或学习时,播放轻音乐或专注力提升的音频,帮助集中注意力,提高效率。
  • BytePlus – 字节跳动面向海外推出的企业级云服务平台

    BytePlus是什么

    BytePlus 是字节跳动旗下的企业级智能服务平台,提供内容分发与加速(CDN)、个性化推荐、增强现实、数据处理与分析、实时音视频通信等多元化服务。BytePlus 凭借先进的技术和强大的数据分析能力,帮助企业优化用户体验、提升业务效率、挖掘数据价值,支持全球范围内的数字化转型。BytePlus 的服务广泛应用在电商、媒体、教育、游戏等多个行业,助力企业在数字时代实现创新发展。

    BytePlus

    BytePlus的主要功能

    • 内容分发与加速:BytePlus CDN通过全球分布式的内容分发网络,加速内容在全球范围内的传输,提升用户访问速度和体验。
    • 个性化推荐:BytePlus Recommend基于机器学习的个性化推荐系统,根据用户行为和偏好,精准推荐相关内容或商品。通过实时数据分析和模型优化,帮助企业提高用户留存率和转化率。
    • 增强现实与虚拟现实:BytePlus AR提供增强现实(AR)和虚拟现实(VR)解决方案,包括虚拟试穿、虚拟展示等。
    • 数据处理与分析
      • ByteHouse:云原生数据仓库,支持批量和实时数据分析,能够处理大规模数据集,帮助企业快速获取洞察并做出决策。
      • BytePlus Flink:云原生全托管实时数据处理与分析服务,适用需要实时数据反馈的业务场景。
      • 实时音视频通信
      • BytePlus RTC:提供实时通信功能,包括语音和视频通话,支持高并发、低延迟的通信服务。
    • 人工智能与机器学习
      • ModelArk:一站式大语言模型服务平台,提供多种预训练模型和定制化服务,帮助企业快速构建智能应用。
      • Seedream:全球领先的文生图模型,支持高质量图像生成,适用于创意设计、广告制作等领域。
      • Seed Speech:基于大模型的语音解决方案,提供自然流畅的语音合成和语音识别服务。
    • 安全与隐私SealSuite零信任安全平台,提供全方位的安全防护,包括身份认证、访问控制、数据加密等。确保企业在数字化转型过程中的数据安全和隐私保护。
    • 云计算与基础设施
      • Elastic Compute Service:安全稳定、可弹性伸缩的云计算服务,支持根据业务负载自动调整资源。
      • Virtual Private Cloud:私有网络服务,为云上资源构建隔离的、自主配置的虚拟网络环境。
      • Elastic Block Storage:高可用、高可靠、高性能的块存储设备。
    • 企业级服务
      • BytePlus Messaging:多渠道消息服务,包括短信、WhatsApp 和语音消息。
      • BytePlus DNS Suite:安全、快速、可靠的DNS和全球流量管理解决方案。
      • BytePlus Certificate Center:提供强大的SSL解决方案,支持多种证书类型,在一个集线器中管理所有内容。
    • 媒体服务
      • BytePlus MediaLive:专业的视频和音频直播解决方案,支持高并发、低延迟的直播服务。
      • BytePlus Video On Demand:轻松启动易于集成的 VOD 服务和应用程序。
      • BytePlus Effects:沉浸式贴纸、滤镜、AR效果和视觉算法,提升内容的吸引力。
    • 数据库服务
      • RDS for MySQL:稳定可靠、灵活弹性、易于使用的关系型数据库服务。
      • Cache for Redis:兼容 Redis 的缓存数据库,支持快速读写。
      • Document Database for MongoDB:开箱即用、稳定可靠,完全兼容原生MongoDB的云服务。
    • 存储服务
      • Torch Object Storage:快速可扩展、低成本的云存储,适用各种高性能应用。
      • Elastic Block Storage:高可用、高可靠、高性能的块存储设备。
      • Parallel File Storage:高吞吐量、低延迟、可扩展的并行文件存储服务。

    如何使用BytePlus

    • 注册与登录:访问 BytePlus 官方网站:https://www.byteplus.com/,按提示完成注册和登录。
    • 选择服务:在控制台中浏览 BytePlus 提供的所有服务,根据业务需求选择合适的服务,例如 CDN、个性化推荐、实时通信等。
    • 配置服务:在选定的服务页面中创建服务实例,设置相关参数(如域名、缓存策略、推荐模型参数等),根据需要集成 SDK 或调用 API。
    • 部署与测试:完成配置后,将服务部署到生产环境(如将域名指向 CDN 节点),在正式上线前进行功能测试,确保服务按预期工作。
    • 监控与优化:用 BytePlus 提供的监控工具(如 Cloud Monitor)监控服务运行状态,用数据分析工具(如 ByteHouse)分析使用情况,根据结果调整配置优化性能。

    BytePlus的应用场景

    • 媒体与娱乐:媒体公司可以加速内容分发、提供高质量的直播服务,实现个性化内容推荐,提升用户参与度和留存率。
    • 电商与零售:电商企业结合 CDN 加速内容加载,增强用户购物体验,提高转化率。
    • 金融科技:金融机构借进行实时数据处理与分析,用 SealSuite 确保交易安全和数据隐私。
    • 在线教育:在线教育平台用 BytePlus RTC 提供低延迟的实时课堂体验,借助 Recommend 推荐个性化学习资源,提升教学效果。
  • ChatGPT Agent – OpenAI推出的通用AI Agent

    ChatGPT Agent是什么

    ChatGPT Agent是OpenAI推出的强大的AI智能体工具。工具整合OperatorDeep ResearchChatGPT本体的能力,能自主选择工具(如可视化浏览器、文本浏览器、终端和API调用器)完成复杂任务,例如浏览网页、提取信息、运行代码、生成PPT或表格等。用户用自然语言描述任务,ChatGPT Agent能实时展示操作过程,支持任务中断、修改和接管。ChatGPT Agent具备高级安全防护功能,确保用户数据安全。ChatGPT Agent与Manus交互界面相似,底层原理却又本质差异,ChatGPT Agent将Agent能力内化于模型,实现端到端的统一系统,Manus更依赖多个底层模型的“外部缝合”。目前,ChatGPT Agent已向付费会员(Pro/Plus/企业用户)用户开放,在多项基准测试中取得优异成绩。

    ChatGPT Agent

    ChatGPT Agent的主要功能

    • 自主任务执行:用户只需描述任务,ChatGPT Agent 能自主判断所需工具,自动访问网页、提取信息、运行代码、生成 PPT 或表格等。
    • 任务中断与修改:执行过程中,用户能随时中断任务、修改指令,支持手动接管浏览器继续操作,确保任务始终符合目标和需求。
    • 多轮对话支持:支持多轮对话机制,用户在任务执行过程中随时插入新指令,Agent 会暂停当前任务处理新需求。
    • 实时进度展示:操作步骤实时显示在屏幕上,用户能随时了解任务执行进度,在必要时请求进度摘要。
    • 三合一系统:整合 Operator(网页交互能力)、Deep Research(信息整合与分析)和 ChatGPT 本体(自然语言理解与智能推理),形成统一智能体系统。
    • 内置工具支持:内置图形/文本浏览器、终端和 API 调用器等工具,支持手机端使用,任务完成后自动推送结果。
    • 第三方应用连接:支持连接 Gmail、GitHub 等第三方应用,深度嵌入用户真实工作流。
    • 安全与权限控制: 在执行敏感操作(如提交表单、发送邮件)前,明确征得用户许可,自动拒绝高风险任务,如金融交易或提供法律建议。

    ChatGPT Agent的性能表现

    • Humanity’s Last Exam (HLE):单次作答准确率达到43.1分(刷新纪录),启用并行八路推理准确率进一步提升至44.4%。
    • FrontierMath 数学基准:在具备终端代码执行能力的前提下,准确率达到27.4%,远高于此前模型。
    • DSBench(数据科学任务):数据分析准确率达到89.9%,建模准确率达到85.5%,远超人类平均水平。
    • SpreadsheetBench(电子表格编辑任务):性能达到45.5%,超过Excel中Copilot的20.0%。
    • BrowseComp(网页浏览任务):准确率达到68.9%,刷新行业领先水平(SOTA)。
    • WebArena(网页任务执行能力):表现优于基于o3的CUA模型。

    ChatGPT Agent

    如何使用ChatGPT Agent

    • 访问官网:网页端访问ChatGPT官网,移动端下载ChatGPT App
    • 激活智能体模式
      • 桌面端:打开ChatGPT界面。在编辑器中的工具下拉菜单中选择“智能体模式”。
      • 移动端:打开ChatGPT App。在聊天界面左下角的“工具”下拉菜单中选择“Agent模式”。
    • 描述任务:在聊天框中用自然语言清晰地描述想要完成的任务。
    • 实时观察操作流程:ChatGPT Agent在屏幕上实时展示操作步骤,例如浏览网页、筛选信息、运行代码等。随时能中断任务,修改指令或接管操作。
    • 任务执行与结果生成:Agent根据任务需求自动选择合适的工具,任务完成后,Agent生成可下载的输出内容,例如幻灯片、电子表格或文档。
    • 设置周期性任务:如果需要定期执行某些任务(如每周生成周度报告),在Agent界面中设置周期性任务。

    ChatGPT Agent的应用场景

    • 旅行规划:规划完整的旅行,包括搜索航班、比较酒店价格、预订租车服务,生成详细的行程安排。
    • 数据分析:在工作中,访问财务数据源,运行数据分析代码,生成图表和报告,将其整理成PPT或电子表格。
    • 文档处理:读取和编辑文档,提取关键信息,生成简洁的摘要或报告,帮助用户高效完成文档整理工作。
    • 健康与健身:根据身体状况和目标,制定个性化的健身计划,跟踪饮食和运动记录,帮助用户保持健康的生活方式。
    • 学术研究:访问学术数据库,检索相关文献,提取关键信息,生成研究报告,助力用户学术研究。
  • MakeSong – 免费的AI歌曲生成器,支持多种音乐风格

    MakeSong是什么

    MakeSong 是免费的 AI 歌曲生成器,用户可以通过输入歌词或描述来生成高质量的音乐作品。支持多种音乐风格,包括流行、古典、嘻哈、摇滚、电子等,满足不同用户的需求。生成的音乐听起来像专业歌手演唱,可以免费用于商业用途,每个免费账户最多可生成 10 首歌曲。平台的操作非常简单,用户只需输入歌词或音乐描述,选择喜欢的风格,可在几秒钟内生成歌曲。生成的音乐可以以 MP3 或 WAV 格式下载,支持在社交媒体上分享。

    MakeSong

    MakeSong的主要功能

    • 文本转音乐:用户可以输入简单的文本或歌词,AI 会将其转化为完整的歌曲,支持多种音乐风格,如流行、古典、嘻哈、摇滚等。
    • 歌词转音乐:用户输入歌词后,AI 能生成听起来像专业歌手演唱的歌曲,可以通过标签、流派和性别等提示来引导歌曲结构。
    • 定制化音乐生成:用户可以根据需求选择不同的音乐风格和情绪,生成符合特定场景的音乐,如游戏音乐、广告音乐等。
    • 高质量音乐下载:生成的音乐可以以 MP3 或 WAV 格式下载,支持商业用途,适合视频、播客、音频剧等多种应用场景。
    • 人声与乐器分离:提供去人声功能和器乐分离器,方便用户进行混音或采样。
    • 多语言支持:支持多种语言创作歌词,包括英语、中文、西班牙语、法语、日语等。

    MakeSong的官网地址

    • 官网地址:https://www.makesong.com/

    MakeSong的产品定价

    • 入门版:$19.9/月,包含每月 150 积分,生成 2 首歌曲 = 3 积分,支持 MP3/WAV 下载和商业许可。
    • 高级版:$29.9/月,包含每月 1000 积分,支持高质量无损下载、商业许可和无限制使用权,同时运行 2 个任务。
    • 专业版:$49.9/月,包含每月无限积分,支持高质量无损下载、商业许可和无限制使用权,同时运行 4 个任务。

    MakeSong的应用场景

    • 视频制作:为视频创作者提供背景音乐,增强视频的吸引力和观众的参与度。
    • 游戏开发:根据游戏情节、设定和氛围生成音乐,增强玩家的沉浸式体验。
    • 音频内容创作:为播客节目创作开场音乐、过渡音乐或背景音,提升听众的收听体验。
    • 广告与品牌推广:为广告制作定制的背景音乐或耳虫,增强品牌记忆度。为品牌活动或宣传视频生成符合品牌形象的音乐,提升品牌的吸引力。
    • 个人创作:为独立音乐人提供创作灵感,快速生成歌曲原型。为音乐爱好者提供一个简单的平台,能快速创作出属于自己的音乐作品。
    • 音乐教育:为音乐学习者提供不同风格的音乐样本,帮助他们理解和学习不同音乐风格的特点。
  • Kimi Playground – 月之暗面推出的AI工具调用体验平台

    Kimi Playground是什么

    Kimi Playground 是为开发者提供的工具调用能力体验平台。平台能让 AI 通过调用各种工具(如天气查询、酒店预订、数据分析等)完成复杂的任务,不仅是进行对话。开发者能在平台上直观地选择和调用预置的官方工具或第三方工具,实时调整参数并查看调用细节。基于多个工具的协同调用,AI 能快速生成专业的解决方案,如旅游行程规划或数据分析报告。Kimi Playground 能帮助开发者更好地探索和利用 AI 的工具调用能力,提升开发效率和应用体验。

    Kimi Playground

    Kimi Playground的主要功能

    • 直观的工具调用界面:提供预置的丰富工具集,支持可视化调用过程和实时展示执行结果,让开发者清晰地看到工具调用的每一步。
    • 便捷的调试体验:开发者能快速选择不同工具(包括内置官方工具和第三方 MCP server 工具),实时调整参数,即时查看调用细节,方便进行调试和优化。
    • 支持多种工具协同调用:支持同时调用多个工具完成复杂的任务,例如在旅游行程规划中,同时调用高铁查询工具、酒店预订系统、地图工具和美食推荐系统,生成综合的行程表。
    • 数据处理与分析能力:在处理数据分析任务时,能调用文件读取工具解析数据,使用数据分析工具进行统计处理,并输出专业的分析报告,生成可视化图表和交互式网页。
    • 第三方工具接入支持:目前支持 ModelScope MCP 快速接入,开发者能配置自己的第三方工具,扩展工具库,满足更多个性化需求。

    如何使用Kimi Playground

    • 访问 Kimi Playground:访问 Kimi Playground 官网 https://platform.moonshot.cn/playground 。
    • 选择工具
      • 预置官方工具:平台提供丰富的预置工具,直接选择并使用这些工具。
      • 第三方工具(MCP Server):如果需要使用第三方工具,通过配置 ModelScope MCP Server 接入。
    • 模型选择:确保可以用 Kimi K2 模型进行基本对话。
    • 进入 MCP 服务器设置:在 Kimi Playground 中,找到并点击「MCP 服务器设置」选项,进入设置页面。
    • 添加 MCP 服务配置:在「MCP 服务器设置」中,点击「配置」按钮,进入 MCP 服务配置页面。
    • 同步外部平台:在配置页面中,点击「同步外部平台」按钮,准备同步 ModelScope 的 MCP 服务。
    • 获取 ModelScope API 令牌:访问 ModelScope 首页,登录账号,进入「访问令牌」页面并复制生成的 API 令牌。
    • 输入 API 令牌并同步:返回 Kimi Playground 的「MCP 服务器设置」页面,将复制的 ModelScope API 令牌粘贴到指定位置,点击「开始同步」按钮。
    • 查看同步结果:同步完成后,所有已配置的 ModelScope MCP 服务将成功同步至 Kimi Playground 的可用服务列表中。
    • 增量更新:如果后续在 ModelScope MCP 广场新增或删除托管服务,可在 Kimi Playground 的「设置-MCP 服务器-同步服务器」中点击同步按钮进行增量更新。
    • 在对话中使用 MCP 服务:同步后,在 Kimi Playground 页面左侧的「MCP 服务列表」中多选并启用希望使用的 MCP 服务。
    • 开始对话测试:在 Playground 中,输入需求或问题,例如“帮我查询明天的天气”或“规划一个从上海到北京的旅游行程”。模型根据需求调用相应的工具,并实时展示调用过程和结果。
    • 调试与优化
      • 选择工具:快速切换不同的工具,选择最适合当前任务的工具。
      • 调整参数:根据需要实时调整工具的参数,查看不同参数下的结果。
    • 查看调用细节:Kimi Playground 展示工具调用的详细过程,帮助理解每个步骤的执行情况。
    • 实时结果展示:工具调用完成后,结果实时显示在界面上。
    • 导出报告:对于复杂任务(如数据分析),将结果导出为报告或图表。

    Kimi Playground的应用场景

    • 旅游行程规划:调用高铁查询、酒店预订、地图导航和美食推荐工具,快速生成涵盖交通、住宿、游玩和餐饮的个性化旅游行程表。
    • 数据分析与报告生成:用文件读取、数据分析和可视化工具,对复杂数据进行处理,生成包含统计过程和结论的专业分析报告。
    • 智能客服与技术支持:借助问题识别和知识库查询工具,自动为用户提供精准的解答和解决方案,提升客服效率和客户满意度。
    • 教育辅导与学习辅助:基于在线课程查询、学习资料推荐和学习计划生成工具,为学生提供个性化的学习支持,助力高效学习。
    • 健康与健身管理:结合健康数据查询、健身计划生成和饮食建议工具,帮助用户制定科学的健康管理方案,实现健身目标。
  • Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型

    Goedel-Prover-V2是什么

    Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术,显著提升自动形式化证明生成的性能。模型包含两个参数版本:32B和8B。32B模型在MiniF2F基准测试中达到90.4%的Pass@32成绩,超越671B的DeepSeek-Prover-V2。Goedel-Prover-V2 在PutnamBench和MathOlympiadBench基准测试中位居榜首,展现强大的定理证明能力。Goedel-Prover-V2的推出为AI在数学定理证明领域的研究提供新的里程碑。

    Goedel-Prover-V2

    Goedel-Prover-V2的主要功能

    • 自动生成证明:为复杂的数学问题生成形式化的证明。
    • 自我修正能力:通过Lean编译器的反馈,模型能迭代修正自身的证明,提高证明质量。
    • 高效训练与优化:用分层式数据合成和模型平均技术,提升训练效率和模型性能。
    • 开源与可扩展性:提供开源模型和数据集,便于研究者进一步开发和改进。

    Goedel-Prover-V2的技术原理

    • 分层式数据合成(Scaffolded Data Synthesis):自动生成难度逐步递增的证明任务,帮助模型从简单问题逐步过渡到复杂问题。基于生成中级难度的问题,填补简单问题和复杂问题之间的空白,提供更密集的训练信号。
    • 验证器引导的自我修正(Verifier-Guided Self-Correction):模型用Lean编译器的反馈,学习如何迭代修正自身的证明。高度模拟人类在完善证明时的修正过程,提升证明的准确性和可靠性。
    • 模型平均(Model Averaging):基于平均多个训练阶段的模型检查点,恢复模型的多样性。在更大的Pass@K值下显著提升模型的整体性能,增强鲁棒性。

    Goedel-Prover-V2的性能表现

    • MiniF2F 基准测试
      • 32B模型
        • Pass@32:达到 90.4%,显著优于DeepSeek-Prover-V2-671B的 82.4%。
        • 自校正模式:在自校正模式下,Pass@32成绩进一步提升至 90.4%。
      • 8B模型
        • Pass@32:达到 83.3%,与DeepSeek-Prover-V2-671B的 82.4% 相当,但模型规模小了近100倍。
    • PutnamBench 基准测试
      • 32B模型
        • Pass@64:解决 64个问题,位居榜首。
        • Pass@32:解决了 、57个问题,显著优于DeepSeek-Prover-V2-671B的 47个问题。
      • 8B模型
        • Pass@32:表现也十分出色,与DeepSeek-Prover-V2-671B相当。
    • MathOlympiadBench 基准测试
      • 32B模型:解决 73个问题,显著优于DeepSeek-Prover-V2-671B的 50个问题。
      • 8B模型:表现也非常接近,展现强大的定理证明能力。

    Goedel-Prover-V2

    Goedel-Prover-V2的项目地址

    • 项目官网:https://blog.goedel-prover.com/
    • HuggingFace模型库
      • https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B
      • https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B

    Goedel-Prover-V2的应用场景

    • 数学定理证明:自动生成数学定理的形式化证明,帮助数学家验证猜想、探索新的数学理论,加速数学研究的进程。
    • 软件和硬件验证:在软件开发和硬件设计中,验证算法、程序逻辑和电路设计的正确性。用形式化证明,确保软件和硬件系统的可靠性,减少错误和漏洞,提高系统的安全性。
    • 教育:作为数学教育的辅助工具,为学生提供形式化证明的示例,帮助他们更好地理解和掌握数学概念和定理。
    • 人工智能与机器学习:在人工智能和机器学习领域,验证模型的数学基础和算法逻辑,确保模型的可靠性和准确性。
    • 科学研究与工程:验证科学研究中的数学模型和理论,帮助科学家和工程师确保设计方案的可行性和可靠性。
  • Excel MCP Server – 基于MCP的Excel处理工具

    Excel MCP Server是什么

    Excel MCP Server 是基于 Model Context Protocol (MCP) 的服务器工具,在无需安装 Microsoft Excel 的情况下,用 AI Agent操作 Excel 文件。Excel MCP Server支持创建、读取和修改 Excel 工作簿,具备数据读写、格式化、公式计算、图表生成、数据透视表创建等功能。Excel MCP Server支持三种传输方式,stdio、SSE(已弃用)和可流式传输的 HTTP,方便本地和远程使用。Excel MCP Server为用户提供高效、灵活的 Excel 文件操作解决方案,适合需要自动化处理 Excel 数据的场景。

    Excel MCP Server

    Excel MCP Server的主要功能

    • 工作簿操作:支持创建、打开、保存和修改 Excel 工作簿文件。
    • 数据读写:能读取和写入单元格数据,支持公式计算。
    • 格式设置:支持单元格样式、字体、颜色等格式设置。
    • 图表与可视化:能创建各种类型的图表和图形。
    • 数据透视表:支持创建和修改数据透视表。
    • 工作表管理:支持添加、删除、重命名和重新排序工作表。
    • 实时编辑与屏幕截图(仅限 Windows):支持实时编辑功能和屏幕捕获。

    Excel MCP Server的技术原理

    Excel MCP Server 基于客户端-服务器(Client-Server)架构,客户端通过 MCP 协议向服务器发送请求,服务器处理请求并返回结果。技术实现基于以下组件:

    • Python 3.10+:作为开发语言,提供强大的库支持。
    • MCP SDK 1.2.0+:用在与 MCP 协议交互。
    • OpenPyXL 3.1.2+:用在读写 Excel 文件。
    • FastMCP 框架:对外暴露 API,支持 SSE/stdio 等多种集成方式。

    Excel MCP Server的项目地址

    • 项目官网:https://excelmcpserver.com/
    • GitHub仓库:https://github.com/haris-musa/excel-mcp-server

    Excel MCP Server的应用场景

    • 企业数据自动化处理:企业中实现数据的自动读取、清洗、计算和汇总,减少人工操作,提高效率和准确性。
    • 数据分析与报告生成:数据分析人员快速生成数据透视表、图表和可视化报告。支持动态更新数据,帮助团队实时掌握业务动态,辅助决策。
    • ERP 系统集成:作为中间件,将 ERP 系统中的数据导出到 Excel 文件中,或从 Excel 文件导入数据到 ERP 系统,实现数据的无缝对接,提升企业资源管理效率。
    • 远程协作与实时编辑:基于网络远程操作 Excel 文件,团队成员在不同地点协作处理同一个文件。在 Windows 环境下,支持实时编辑功能,便于团队实时协作。
    • 教育:教师快速生成教学用的 Excel 文件,如练习题、数据集等。同时,支持自动批改学生提交的 Excel 作业,检查公式和数据格式,提高教学效率。