学习

1. 首页
2. 学习

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G

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

Stable Artisan

Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务，利用Stability AI的AI技术和模型，如Stable Diffusion 3和Stable Video Diffusion，使用户能够通过自然语言提示生成高质量的图像和视频。此外，它还提供了一系列图像编辑工具，包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能，适用于创意人士、设计师、内容创作

AI项目与工具 2024年01月01日 46 点赞 0 评论 696 浏览

Kimi长文生成器

Kimi长文生成器是一款基于AI技术的长文本创作工具，支持生成长达20万字的内容，具备结构化写作、信息整合、多语言支持及格式规范等功能。它适用于学术研究、内容创作、法律咨询、编程开发等多个领域，可显著提升用户的写作效率和文本质量。

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

纸飞机AI

纸飞机AI是一款依托人工智能技术的虚拟陪伴应用，允许用户创建个性化AI智能体，提供情感支持、互动陪伴及社交体验。具备逼真的文本转语音功能，支持多角色选择和多样化的互动形式，包括朋友圈社交与角色对话创作。广泛应用于社交训练、情感支持、娱乐休闲及语言学习等领域。

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

TÜLU 3

TÜLU 3是艾伦人工智能研究所发布的开源指令遵循模型，提供8B、70B及未来的405B版本。它通过后训练技术显著提升了模型在数学、编程和推理等方面的表现，同时支持多种任务处理和创新的后训练方法，适用于自然语言处理、教育、编程开发及内容创作等多个领域。

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

悬河

悬河是一款基于AI技术的虚拟角色社交平台，支持用户通过文字或语音与定制化的AI角色进行深度交流。其核心功能包括情感陪伴、IP互动、个性化角色定制、智能推荐和沉浸式聊天体验，广泛应用于情感支持、社交训练、心理辅导、生活助手及学习辅助等领域。

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

Product Hunt

一个集产品展示、社区互动和市场验证于一体的平台，Product Hunt让独立开发者有机会展示自己的作品和进行市场验证，让用户们有机会发现最新和最有趣的产品。

独立开发 2025年06月05日 32 点赞 0 评论 697 浏览

BFS

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

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

OmniManip

OmniManip是由北京大学与智元机器人联合实验室开发的通用机器人操作框架，结合视觉语言模型与三维操作技术，实现机器人在非结构化环境中的任务执行。其核心为以对象为中心的交互基元表示法，支持零样本泛化、跨平台部署及大规模仿真数据生成。通过双闭环系统设计与任务分解机制，提升操作精度与适应性，适用于日常操作、工业自动化及服务机器人等场景。

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

Midjourney V7

Midjourney V7 是一款基于深度学习的 AI 图像生成工具，具备草稿模式、语音交互、实时编辑等功能，显著提升生成速度与图像质量。其支持个性化配置，可根据用户偏好优化输出结果，适用于艺术、设计、娱乐等多个领域。系统采用先进神经网络技术，实现文本到图像的精准转换，并提供多种运行模式以满足不同需求。

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