Gemma 2 Gemma 2是一款由谷歌DeepMind开发的开源人工智能模型，提供90亿和270亿参数版本。它具有卓越的性能、高效的推理速度和广泛的硬件兼容性，适用于各种应用场景。Gemma 2不仅支持多种AI框架，还提供了丰富的资源和工具，以支持开发者和研究人员负责任地构建和部署AI。 AI项目与工具 2025年06月12日 57 点赞 0 评论 586 浏览
360AI办公 一款集成了多种办公工具和海量内容模板的办公效率平台。360AI办公提供方便的PDF工具集，支持PDF转换和编辑，以及强大的图片编辑和压缩功能。 Ai办公效率 2025年06月05日 71 点赞 0 评论 591 浏览
NotesGPT NotesGPT是一款开源的AI语音笔记工具，具备语音转录、自动总结及任务生成等功能，采用先进技术保障转录准确性与任务生成效率，支持多语言并适配多种使用场景，如会议记录、学术研究及个人备忘等。 AI项目与工具 2025年06月12日 80 点赞 0 评论 591 浏览
Video Enhance AI Video Enhance AI是一款专门针对视频的增强工具，采用深度学习算法，支持用户轻松的将所有低分辨率视频转换成8K分辨率的高质量视频。 Ai视频生成 2025年06月05日 12 点赞 0 评论 605 浏览
MarsX 一个专注于通过 AI 和微应用商店简化软件开发流程的软件开发平台，结合了AI、无代码和传统编码功能，让软件开发流程变得更简单。 Ai编程建站 2025年06月05日 64 点赞 0 评论 606 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 614 浏览
