标准会员
过期时间
会员积分 0
还没有账号? 立即注册
已有账号? 立即登录
Excel MCP Server是什么Excel MCP Server 是基于 Model Context Protocol (MCP) 的服务器工具，在无需安装 Microsoft Excel 的情况下，用 AI Agent操作 Excel 文件。Excel MCP Server支持创建、读取和修改 Excel 工作簿，具备数据读写、格式化、公式计算、图表生成、数据透视表创建等功能。Exce
Goedel-Prover-V2是什么Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术，显著提升自动形式化证明生成的性能。模型包含两个参数版本：32B和8B。32B模型在MiniF2F基准测试中达到90.4%的Pass@32成绩，超越671B的Dee
Grok 4是什么Grok 4 是 xAI 推出的最新AI大模型，Grok 4 的推理能力相较于前代提升 10 倍。模型具备卓越的推理能力，能在 SAT、GRE 等高难度考试中接近满分，在多项基准测试中超越其他前沿模型。Grok 4 支持多模态功能，能理解主观概念、生成代码和可视化内容，在语音交互上进行重大改进。Grok 4分为两个版本，Grok 4 是单代理（single agent）版本，
TradingAgents-CN是什么TradingAgents-CN是基于多智能体大模型的中文金融交易决策框架，在TauricResearch/TradingAgents的基础上进行了开发，为中文用户提供了完整的文档体系和本地化支持。框架模拟真实交易公司的专业分工和协作决策流程，通过多个专业化AI智能体协作评估市场条件，包括分析师团队、研究员团队、交易员智能体、风险管理和管理层等多智能体协作
k2是什么k2是月之暗面Kimi推出的具备超强代码和 Agent 能力的 MoE 架构基础模型，总参数 1T，激活参数 32B。在通用知识推理、编程、数学、Agent 等主要类别的基准性能测试中，K2 模型的性能超过其他主流开源模型。k2 模型上下文长度为 128k，不支持视觉功能，支持 ToolCalls、JSON Mode、Partial Mode、联网搜索功能等。k2模型开源了两个版本，
11569 文章 95.03万 关注
1489 文章 0 关注
1221 文章 5.64K 关注
1210 文章 5.87万 关注
1093 文章 9.63万 关注
1024 文章 5.63K 关注
