计算

1. 首页
2. 计算

Jina

Jina-embeddings-v3 是一款基于 Transformer 架构的文本嵌入模型，支持多语言处理和长文本分析。通过 LoRA 适配器和 Matryoshka 表示学习技术，模型能够生成高质量的嵌入向量，适用于多种任务，包括查询-文档检索、聚类、分类和文本匹配。其高性能和成本效益使其适用于生产环境及边缘计算场景。

AI项目与工具 2025年06月12日 24 点赞 0 评论 394 浏览

肇观电子

让残障人士在内的每个人都生活的更好

创作工具 1970年01月01日 0 点赞 0 评论 394 浏览

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

AI项目与工具 2025年06月12日 75 点赞 0 评论 392 浏览

Fin

Fin-R1是由上海财经大学与财跃星辰联合开发的金融领域推理大模型，基于Qwen2.5-7B-Instruct架构，通过两阶段训练提升金融推理能力。其支持金融数据推理、代码生成、风险控制、ESG分析等多种功能，具备多语言支持与轻量化设计，适用于智能风控、投资辅助、量化交易等场景。模型在权威评测中表现优异，具有较高的实用价值。

AI项目与工具 2025年06月12日 77 点赞 0 评论 387 浏览

novita.ai

Novita.ai是一个综合性的AI云服务平台，提供模型API、无服务器计算、GPU实例等服务。它集成了阿里巴巴的AnimateAnyone项目，支持静态图像动态化，并提供超过10,000个预训练模型，广泛应用于图像生成、动画制作等领域。其主要功能包括模型API支持、无服务器计算、GPU实例租赁、自定义模型添加以及高质量动画生成，适用于娱乐、教育、电商等多个行业。

AI项目与工具 2025年06月12日 87 点赞 0 评论 386 浏览

寒武纪

打造各类智能云服务器、智能终端以及智能机器人的核心处理器芯片

创作工具 1970年01月01日 0 点赞 0 评论 386 浏览

零沫AI工具导航

一个AI垂直类交流社区，一直专注AI领域发展，零沫AI收录了国内外数百个不同类型的AI工具，每日更新和添加最新AI工具。

Ai学习资源 2025年06月05日 13 点赞 0 评论 385 浏览

Gemma 3 QAT

Gemma 3 QAT 是谷歌推出的开源 AI 模型，采用量化感知训练技术，在降低显存需求的同时保持高性能。它支持多模态任务，具备 128,000-token 长上下文处理能力，并可在消费级 GPU 和边缘设备上运行。适用于视觉问答、文档分析、长文本生成等场景，同时兼容多种推理框架，便于部署。

AI项目与工具 2025年06月11日 44 点赞 0 评论 384 浏览

中科驭数

围绕DPU芯片打造了智能网卡系列产品和解决方案

创作工具 1970年01月01日 0 点赞 0 评论 382 浏览

Claude 3.5 Haiku

Claude 3.5 Haiku 是 Anthropic 推出的高性能人工智能模型，具备强大的编码能力和低延迟特性，适合复杂推理与问题解决任务。它通过“Unstructured Generalization”算法优化非结构化数据处理，并引入“宪法 AI”确保行为符合道德规范。此外，该模型支持“计算机使用”功能，能够模拟人类与计算机交互，广泛应用于自动化桌面任务、虚拟助手构建、医疗决策支持、教育及客

AI项目与工具 2025年06月12日 12 点赞 0 评论 381 浏览