千绘AI 一款AI漫画创作平台，用户可以通过千绘AI生成分镜，并将其转化为图片。千绘AI支持角色引用，确保角色在不同分镜中保持一致。 Ai绘画生成 2025年06月05日 85 点赞 0 评论 699 浏览
Probly Probly 是一款集电子表格与 Python 数据分析功能于一体的 AI 工具，支持在浏览器中运行 Python 代码，实现数据处理、可视化和智能分析。用户可通过自然语言提问获取分析结果，操作简便且保障隐私安全，适用于数据分析、教育、科研及个人数据管理等场景。 AI项目与工具 2025年06月12日 61 点赞 0 评论 699 浏览
Uncrop | 图片自动补全 UNCROP是一款在线AI图片自动补全工具。它利用强大的AI人工智能技术，能够帮助我们对图片进行扩展和自动补全，兼容上下、左右方向的扩充。 Ai图片处理 2025年06月05日 88 点赞 0 评论 699 浏览
RefWorks 一款由ProQuest提供的文献管理工具，适用于学术界和图书馆，帮助用户管理和引用文献。RefWorks支持文献库、引文生成和团队协作功能。 教育学习 2025年06月05日 86 点赞 0 评论 699 浏览
MuseGate MuseGate是一款依托生成式AI技术的电商营销工具，专注于服饰行业。它通过虚拟模特生成、场景定制、尺寸调整等功能，助力企业优化商品展示效果，降低运营成本，提升品牌形象。其核心功能包括虚拟模特生成、一键换装、场景定制、节点营销等，广泛应用于时尚展示、电子商务、广告宣传等领域。 AI项目与工具 2025年06月12日 68 点赞 0 评论 699 浏览
AI Math 一款在线数学问题求解器，AI Math可以帮助用户克服数学学习中的难题，提高数学能力。它提供免费的入门服务，并支持多种语言，包括英语、中文、法语、德语、印地语等。 教育学习 2025年06月05日 52 点赞 0 评论 699 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 698 浏览
XCole XCole是一款集成了AI绘图、文本生成、翻译与代码辅助的多功能AI创作平台。它支持从图像生成到文本创作的多样化需求，并提供专业场景模板以满足不同领域的创作需求。XCole凭借其友好的用户界面和强大的功能，帮助用户提升工作效率，广泛应用于学术研究、内容创作、设计开发等多个场景。 AI项目与工具 2025年06月12日 52 点赞 0 评论 698 浏览
