Kimina Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。 AI项目与工具 2025年06月11日 33 点赞 0 评论 606 浏览
FLORA AI 一款为创意专业人士打造的集成多模型、支持实时协作的 AI 画布工具。提供无限画布、多模型集成、节点式系统和实时协作等功能，快速生成创意草图、文案、图像。 Ai绘画生成 2025年06月05日 61 点赞 0 评论 606 浏览
Pollo AI Pollo AI是一款由HIX.AI推出的AI视频创作平台，支持文本、图像及视频风格转换等多种功能，能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性，适用于短视频制作、品牌推广、教学视频等领域，为用户提供高效的AI视频生成体验。 AI项目与工具 2025年06月11日 71 点赞 0 评论 606 浏览
奇布塔 奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。 AI项目与工具 2025年06月12日 20 点赞 0 评论 605 浏览
Video Enhance AI Video Enhance AI是一款专门针对视频的增强工具，采用深度学习算法，支持用户轻松的将所有低分辨率视频转换成8K分辨率的高质量视频。 Ai视频生成 2025年06月05日 12 点赞 0 评论 605 浏览
KindlePPT KindlePPT是一款利用AI技术快速生成演示文稿、视频脚本、测验及论文的多功能工具。其核心功能包括智能演示文稿生成、视频脚本创作、论文辅助撰写以及测验设计，支持多语言操作与格式导出。凭借高效的自动化处理能力和灵活的编辑选项，KindlePPT成为教育、企业和个人创作者的理想选择。 AI项目与工具 2025年06月12日 98 点赞 0 评论 605 浏览
START START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型，通过集成外部工具（如Python代码执行器）提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术，结合长链推理与工具调用，显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力，适用于科研、教育、编程等多个领域，是首个开源的长链推理与工具集成模型。 AI项目与工具 2025年06月12日 72 点赞 0 评论 605 浏览
