计算

1. 首页
2. 计算

酷芯微电子

应用于智能安防、智能硬件、智能车载等多个领域。

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

EMMA

EMMA是一款基于Gemini模型的端到端自动驾驶多模态模型，可直接从原始相机传感器数据生成驾驶轨迹并执行多种任务，如3D对象检测、道路图元素识别及场景理解。该模型利用自然语言处理技术实现跨任务协作，并展现出强大的泛化能力，但在某些方面仍需改进。

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

Z.ai

Z.ai 是智谱推出的 AI 模型体验平台，整合 GLM 系列的基座、推理和沉思模型，支持 HTML、SVG 等内容的可视化生成与预览。平台提供免费体验，适用于代码生成、问题解答、研究写作、内容创作及教育辅助等多种场景，具备高效、易用和多用途的特点。

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

novita.ai

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

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

Fin

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

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

BFS

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

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

Claude 3.5 Haiku

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

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

寒武纪

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

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

RLCM

RLCM是由康奈尔大学开发的一种基于强化学习的文本到图像生成框架，通过微调一致性模型以适应特定任务的奖励函数，显著提升生成效率与图像质量。其核心技术包括强化学习、策略梯度优化及任务导向的奖励机制，适用于艺术创作、数据集扩展、图像修复等多个领域，具有高效的推理能力和对复杂任务的适应性。

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

AlphaEvolve

AlphaEvolve是谷歌DeepMind开发的通用科学代理，结合大型语言模型与进化算法，用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果，如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制，支持跨领域应用，具备高效计算和持续优化能力。

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