AI

1. 首页
2. AI

Better AI Code

Better AI Code是一款人工智能编程辅助平台，提供智能代码提示、自动补全、代码审查与优化、在线编程练习等功能，帮助开发者提升编码效率与代码质量。平台支持初学者学习编程，也适用于专业开发者进行项目开发与团队协作，具有广泛的应用场景和用户群体。

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

Maya.ai

maya.ai 是一个由 AI 驱动的，使用专有的 TasteGraph 根据客户的行为来了解和预测客户的偏好，可以跨多个渠道向每个客户提供个性化的推荐、优惠和体验的个性化平台。

创业营销 2025年06月05日 63 点赞 0 评论 1045 浏览

OneAI

OneAI是一款基于AI大语言模型的智能对话工具，支持多语言交流、信息检索、文本创作、翻译及生活辅助等功能。适用于学习辅导、写作协助、客户服务等多种场景，提供高效、精准的服务，提升用户体验与效率。

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

codeAI

一款革命性的VS Code插件，为开发人员提供了基于人工智能的代码生成、单元测试创建和文档生成能力。

Ai编程建站 2025年06月05日 13 点赞 0 评论 1045 浏览

EliGen

EliGen是由浙江大学与阿里巴巴集团联合开发的实体级可控图像生成框架，采用区域注意力机制实现对图像中实体的精确控制，支持多实体修复、风格化生成及交互式编辑。基于50万高质量注释样本训练，具备强大泛化能力，适用于虚拟场景、角色设计、数据合成及产品展示等场景。

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

tellers.ai

Tellers.ai 是一款AI驱动的视频生成工具，能够将文本快速转化为高质量视频。它通过智能分析文本内容并匹配真实视频素材，支持多种自定义选项，包括风格设置、剪辑编辑和多语言字幕。用户可将视频直接发布至主流社交平台，适用于内容创作、教育、企业营销和新闻媒体等多种场景。

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

AEE

AEE（Auto Excel Editor）是一款基于人工智能的在线Excel编辑工具，能够自动执行数据增删改查等逻辑操作，支持智能录入、公式插入、样式优化及模板生成等功能，显著提升工作效率，适合数据分析师、财务人员及市场研究人员等用户群体。

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

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

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

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

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

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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