Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 575 浏览
MME MME-CoT 是一个用于评估大型多模态模型链式思维推理能力的基准测试框架，涵盖数学、科学、OCR、逻辑、时空和一般场景六大领域，包含1,130个问题，每题均附关键推理步骤和图像描述。该框架引入推理质量、鲁棒性和效率三大评估指标，全面衡量模型推理能力，并揭示当前模型在反思机制和感知任务上的不足，为模型优化和研究提供重要参考。 AI项目与工具 2025年06月12日 36 点赞 0 评论 574 浏览
START START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型，通过集成外部工具（如Python代码执行器）提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术，结合长链推理与工具调用，显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力，适用于科研、教育、编程等多个领域，是首个开源的长链推理与工具集成模型。 AI项目与工具 2025年06月12日 72 点赞 0 评论 574 浏览
Flux AI 一款由Flex.1驱动的图像生成器，Flux AI可以快速生成高质量、逼真的Flux AI图像，包括完美的Flux AI生成的手部细节。 Ai绘画生成 2025年06月05日 89 点赞 0 评论 574 浏览
NodeTool NodeTool是一款开源的AI工作流可视化构建工具，通过图形化界面和无代码开发环境，用户可以便捷地集成并运行多种AI模型。它支持本地GPU运行、云服务扩展以及多模态数据处理，适用于图像生成、音乐创作、音频转视觉艺术等多个领域，为非技术用户提供高效且灵活的AI解决方案。 --- AI项目与工具 2025年06月12日 57 点赞 0 评论 574 浏览
Bith AI Bith AI 是一款AI驱动的视频创作与编辑工具，支持文本转视频、自动字幕生成、多平台尺寸适配、多媒体融合及一键发布等功能。适用于社交媒体、企业营销、教育培训和个人创作等多种场景，提升视频制作效率与专业度。 AI项目与工具 2025年06月12日 37 点赞 0 评论 574 浏览
Bild AI Bild AI 是一款面向建筑行业的智能工具，利用人工智能技术解析建筑图纸，自动生成材料清单与成本估算，并检测图纸是否符合建筑规范。它具备蓝图一致性验证、材料统计、合规性审查及智能修正建议等功能，适用于建筑设计、招投标、施工准备及许可证申请等多个环节，提升项目前期工作的效率与准确性。 AI项目与工具 2025年06月12日 23 点赞 0 评论 574 浏览
VALL-E VALL-E一种用于文本到语音合成 (TTS) 的语言建模方法。具体来说，我们使用从现成的神经音频编解码器模型派生的离散代码来训练神经编解码器语言模型（称为 VALL-E），并将 TTS 视为... Ai平台模型 1970年01月01日 0 点赞 0 评论 574 浏览
RestorePhotos 一款人工智能驱动的工具，它使用先进的算法来修复和恢复损坏的旧照片。它可以去除划痕、撕裂、斑点和褪色，甚至可以为黑白照片着色。让旧记忆重获新生。 Ai图片处理 2025年06月05日 32 点赞 0 评论 574 浏览
