计算

1. 首页
2. 计算

easegen

Easegen 是一款开源的 AI 工具，支持数字人课程的制作与管理。它能够批量生成 PPT 课件、克隆数字人形象和声音，并通过 AI 技术实现视频渲染和智能出题。其核心功能包括课程制作、视频管理、智能课件生成、数字人克隆及声音克隆，旨在提升教学内容的互动性和趣味性。Easegen 的技术基础涵盖人工智能、计算机视觉、自然语言处理和语音合成等，适用于在线教育、企业培训、学术研究、语言学习及职业培训

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

SmartEraser

SmartEraser是中科大与微软亚洲研究院联合开发的图像编辑工具，采用“掩码区域引导”技术实现精准对象移除，同时保留周围上下文。基于Syn4Removal数据集训练，支持多种掩码输入，适用于复杂场景，广泛应用于照片编辑、设计、文物修复及科研等领域。

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

AlphaEvolve

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

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

AlphaGeometry2

AlphaGeometry2 是谷歌 DeepMind 开发的 AI 系统，专用于解决国际数学奥林匹克竞赛中的几何问题。结合神经网络与符号推理技术，能高效预测几何构造并进行逻辑验证，解题准确率达 84%。系统具备扩展语言、强化推理引擎和优化搜索算法，可处理复杂几何问题，适用于数学教育、研究及工程计算等领域。

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

分子之心

国内顶尖的AI蛋白质设计平台公司，分子之心由全球AI蛋白质折叠技术奠基人、计算生物学家许锦波创立，拥有全球顶级计算生物专家团队。

Ai科技公司 2025年06月05日 78 点赞 0 评论 273 浏览

Fin

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

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

UltraMem

UltraMem是字节跳动推出的超稀疏模型架构，通过优化内存访问和计算效率，显著降低推理成本并提升速度。其核心技术包括多层结构改进、TDQKR和IVE，使模型在保持性能的同时具备更强的扩展性。适用于实时推理、大规模模型部署及多个行业场景。

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

BFS

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

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

Claude Computer Use

Claude Computer Use 是 Anthropic 公司推出的 AI 辅助工具，利用自然语言指令驱动 AI 模型执行计算机操作，包括屏幕阅读、文本输入、文件管理、网页浏览及软件操作等功能。该工具支持自动化脚本执行和代码编写调试，广泛适用于软件开发、数据处理、客户服务、教育等领域，具有高度智能化和灵活性的特点。

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

Claude 3.5 Haiku

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

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