BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 480 浏览
VideoToWords AI 一款免费在线将视频和音频转录为文本的工具，轻松在浏览器中将视频转换为文本，添加字幕等。还提供在线编辑、多种格式导出功能。 Ai语音工具 2025年06月05日 25 点赞 0 评论 480 浏览
Locofy Locofy.ai可将 Figma 和 Adobe XD 设计转换为带有 AI 的 React、React Native、HTML-CSS、Gatsby 和 Next.js 代码。 Ai编程建站 2025年06月05日 64 点赞 0 评论 480 浏览
artflow Artflow 是一款利用人工智能技术打造的动画创作工具，用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作，涵盖多种语言与视觉风格选项，适合教育、营销、娱乐等多个领域应用，帮助用户实现高效且个性化的创意输出。 AI项目与工具 2025年06月12日 80 点赞 0 评论 480 浏览
MiniMax MiniMax-01是由MiniMax推出的高性能AI模型系列，包含语言模型MiniMax-Text-01和视觉多模态模型MiniMax-VL-01。该系列采用线性注意力机制，支持处理长达400万token的上下文，性能接近国际领先模型。具备强大的语言理解、多模态处理及长文本分析能力，适用于企业、教育、科研及开发等多个领域。API定价合理，提供高效的长文本处理与多模态交互解决方案。 AI项目与工具 2025年06月12日 30 点赞 0 评论 480 浏览
氢刻AI 在氢刻，用卡片笔记的方式建立自己的知识体系，并通过艾宾浩斯曲线算法科学复习记忆，快速记住知识；氢刻AI将自动为您建立智能知识库，成为专属的永久记忆。 创作工具 1970年01月01日 0 点赞 0 评论 480 浏览
TÜLU 3 TÜLU 3是艾伦人工智能研究所发布的开源指令遵循模型，提供8B、70B及未来的405B版本。它通过后训练技术显著提升了模型在数学、编程和推理等方面的表现，同时支持多种任务处理和创新的后训练方法，适用于自然语言处理、教育、编程开发及内容创作等多个领域。 AI项目与工具 2025年06月12日 88 点赞 0 评论 480 浏览
SOM AI SOM AI 是一款 AI 辅助学术写作工具，帮助学生完成毕业论文和学术研究。它提供研究主题头脑风暴、段落释义、简化复杂内容等功能，帮助学生避免抄袭并快速理解学术内容。SOM AI 还能提供情感支持，缓解写作压力，适用于毕业论文和日常学术作业，是高效的学习助手。 AI项目与工具 2025年06月11日 45 点赞 0 评论 481 浏览
