AI工具
本栏目介绍和收录了当前最新的AI产品，紧跟最新AI领域的进展，介绍了AI产品的主要功能、如何使用和主要应用场景，快速了解最新AI产品发展趋势。
EXAONE 4.0 – LG推出的混合推理大模型
VikingDB – 火山引擎推出的大规模云原生向量数据库
Voxtral – Mistral AI开源的语音模型
梯子AI – 百度推出的AI智能搜索助手
Excel MCP Server – 基于MCP的Excel处理工具
Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
Kimi Playground – 月之暗面推出的AI工具调用体验平台
MakeSong – 免费的AI歌曲生成器，支持多种音乐风格
ChatGPT Agent – OpenAI推出的通用AI Agent
