AI项目与工具

Lamucal

Lamucal

Lamucal是一款由人工智能驱动的音乐创作工具，主要功能包括实时生成歌曲的和弦、吉他谱、歌词及旋律，支持AI翻唱、人声移除和音轨分离等操作。它不仅适用于个人音乐学习和音乐教育，还能满足音乐制作人和内容创作者的需求，广泛覆盖音乐创作、教学及娱乐场景。
AI项目与工具 2025年06月12日
CreatorKit

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。
AI项目与工具 2025年06月12日
Probly

Probly

Probly 是一款集电子表格与 Python 数据分析功能于一体的 AI 工具，支持在浏览器中运行 Python 代码，实现数据处理、可视化和智能分析。用户可通过自然语言提问获取分析结果，操作简便且保障隐私安全，适用于数据分析、教育、科研及个人数据管理等场景。
AI项目与工具 2025年06月12日
unriddle

unriddle

Unriddle是一款专为研究人员和学生打造的AI驱动研究助手，主要功能包括智能文档分析、引用生成、自动写作、图表可视化及数据检索。它支持多格式文件导入，具备强大的AI交互能力和企业级安全保障，适用于学术研究、文献综述、论文写作及跨领域数据分析，助力用户高效完成复杂任务。
AI项目与工具 2025年06月12日
MiniMax

MiniMax

MiniMax-01是由MiniMax推出的高性能AI模型系列，包含语言模型MiniMax-Text-01和视觉多模态模型MiniMax-VL-01。该系列采用线性注意力机制，支持处理长达400万token的上下文，性能接近国际领先模型。具备强大的语言理解、多模态处理及长文本分析能力，适用于企业、教育、科研及开发等多个领域。API定价合理，提供高效的长文本处理与多模态交互解决方案。
AI项目与工具 2025年06月12日
讯飞文书

讯飞文书

讯飞文书是一款基于星火大模型开发的AI公文写作工具，支持从素材筹备到审稿核稿的全流程服务。它提供了丰富的范文和参考模板，并能通过AI技术自动生成、润色和优化公文内容，确保公文质量的同时提高工作效率。
AI项目与工具 2025年06月12日
BibiGPT

BibiGPT

BibiGPT是一款利用人工智能技术自动分析和提炼音视频内容的工具。它能够一键总结来自多个平台的音视频内容，并提供多样化的总结形式，包括摘要、思维导图、字幕列表和文章视图。此外，用户可以自由提问，以获取相关问题的答案。BibiGPT支持多客户端使用，包括iOS快捷指令、微信服务号、书签版、PWA客户端、Chromium内核的浏览器插件及电脑桌面端。它还提供了多种导出和保存选项，并支持与音视频内容进
AI项目与工具 2023年01月01日
SpeechGPT 2.0

SpeechGPT 2.0

SpeechGPT 2.0-preview 是复旦大学 OpenMOSS 团队开发的拟人化实时交互系统，基于大量中文语音数据训练，支持低延迟、高自然度的语音与文本交互。具备情感控制、实时打断、多风格语音生成等功能，适用于智能助手、内容创作及无障碍通信等场景，技术上融合了语音-文本联合建模与多阶段训练策略，提升语音表现力与智能化水平。
AI项目与工具 2025年06月12日
HumanDiT

HumanDiT

HumanDiT是一种由浙江大学与字节跳动联合开发的高保真人体视频生成框架，基于扩散变换器（DiT）实现姿态引导的视频生成。它支持长序列、多分辨率视频生成，并通过关键点扩散变换器（Keypoint-DiT）确保动作的连贯性与自然性。引入前缀潜在参考策略以保持个性化特征，结合姿态适配器和细化模块提升细节质量。适用于虚拟人、动画制作、沉浸式体验及视频续写等多种场景。
AI项目与工具 2025年06月12日
BFS

BFS

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