AI项目与工具

TÜLU 3

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

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

BFS

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

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

DreamOmni

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

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

VideoWorld

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

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

Paperpal

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

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

unriddle

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

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

MolyPix.AI

Molypix.AI是一款利用生成式AI技术的在线图形设计工具，支持用户通过简单文字输入快速生成专业级视觉内容。平台提供多样化的模板及强大的编辑功能，适用于海报、邀请函、明信片等多个领域，同时拥有免费及付费版本供不同需求用户选择。

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

ScriptViz

ScriptViz是一款基于MovieNet数据库的剧本可视化工具，利用CLIP模型实现剧本文本与电影画面的匹配，支持用户通过SQL语句设定剧本属性并生成视觉化参考。其功能涵盖视觉素材检索、剧本与视觉匹配、故事分析及对话对齐可视化，旨在提升剧本创作过程中的视觉表现力和叙事连贯性。此外，ScriptViz还提供情绪捕捉、场景细化及角色开发等应用，适用于剧本开发、故事板制作等多个场景。

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