Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
Goedel-Prover-V2是什么 Goedel-Prover-V2 是普林斯顿大学、清...
Excel MCP Server – 基于MCP的Excel处理工具
Excel MCP Server是什么 Excel MCP Server 是基于 Model...
梯子AI – 百度推出的AI智能搜索助手
梯子AI是什么 梯子AI（原Tizzy.ai）是百度推出的全新AI智能搜索助手应用。基于百度...
Voxtral – Mistral AI开源的语音模型
Voxtral是什么 Voxtral 是 Mistral AI 推出的先进音频模型，基于卓越...
VikingDB – 火山引擎推出的大规模云原生向量数据库
VikingDB是什么 VikingDB 是火山引擎推出的高性能向量数据库，专为处理海量高维...
EXAONE 4.0 – LG推出的混合推理大模型
EXAONE 4.0是什么 EXAONE 4.0是韩国LG AI Research推出的自研...
文兜智写 – AI标书编写平台，解析招标文件自动生成标书
文兜智写是什么 文兜智写是专为招投标行业设计的AI标书制作工具。能快速解析招标文件，精准识别...
SendShort – AI视频编辑工具，自动拆分长视频
SendShort是什么 SendShort是 AI 视频编辑工具，专注于将长视频快速拆分为...