AI项目与工具

Weebo

Weebo是一款基于AI技术的实时语音交互工具,支持语音识别与生成,实现自然流畅的语音对话。具备多语言支持和实时响应能力,适用于个人助理、娱乐互动和教育辅导等场景。技术上融合了Whisper Small、Llama 3.2等模型,提供便捷高效的语音交互体验。

ImageFX

ImageFX是一款由谷歌开发的基于人工智能的文本到图像生成工具,利用先进的技术生成高质量图像。其主要功能包括文本到图像生成、Expressive Chips快速调整关键词、高质量图像生成能力、SynthID数字水印以确保图像真实性和内容安全措施,如过滤暴力、冒犯内容及个人图像生成。

山海大模型

山海大模型是一款由云知声推出的多模态人工智能模型,具备强大的知识储备和多模态交互能力。它能够通过文本、音频和图像等形式与用户进行实时互动,提供信息查询、知识学习和灵感激发等服务。主要功能包括内容生成与理解、知识问答、逻辑推理、代码能力以及多模态交互特色,如实时响应、情绪感知、音色切换和视觉场景理解。该模型可应用于智能客服、教育辅助、医疗咨询、个人助理和内容创作等多个领域。

LeetTools

LeetTools是一款人工智能驱动的文档处理工具,支持知识库构建、文章生成和智能搜索等功能。用户可通过关键词快速生成分析报告、新闻聚合等内容,并自定义格式与结构。具备高度可定制性,支持多源数据整合与本地系统集成,适用于市场调研、内容创作及知识管理等场景。

SpeechGPT 2.0

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

BFS

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

DreamOmni

DreamOmni是一款由香港中文大学、字节跳动与香港科技大学联合研发的统一图像生成与编辑模型。它集成了文本到图像生成(T2I)及多种编辑功能,包括指令式编辑、修复、拖拽编辑和参考图像生成。DreamOmni利用合成数据管道高效生成高质量编辑数据,并通过联合训练提升图像生成与编辑质量。该模型在多任务处理、复杂提示兼容性及训练效率优化上表现优异,适用于数字艺术、影视特效、广告设计等多个领域。

VideoWorld

VideoWorld是由北京交通大学、中国科学技术大学与字节跳动合作开发的深度生成模型,能够通过未标注视频数据学习复杂知识,包括规则、推理和规划能力。其核心技术包括自回归视频生成、潜在动态模型(LDM)和逆动态模型(IDM),支持长期推理和跨环境泛化。该模型在围棋和机器人控制任务中表现优异,且具备向自动驾驶、智能监控等场景扩展的潜力。

Paperpal

Paperpal是一款专为学术写作设计的AI工具,提供语言编辑、文本改写、投稿检查、抄袭检测、学术翻译等多功能服务。通过整合先进的AI技术,Paperpal能够实时提供符合学术规范的语言建议,并支持多种语言翻译与文献引用生成,助力用户高效完成科研任务。其适用范围覆盖学术写作全流程,特别适合全球范围内从事科学研究的专业人士。

unriddle

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