AI项目与工具

Goedel

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。
AI项目与工具 2025年06月12日
OpusClip Thumbnail

OpusClip Thumbnail

OpusClip Thumbnail 是 OpusClip 团队推出的免费 AI 缩略图生成工具，专为 YouTube 创作者设计。用户只需粘贴视频链接，AI 会自动分析内容并生成多个高表现力的缩略图选项，无需手动输入提示词。该工具基于顶级创作者的成功模式训练，能理解视频上下文并生成相关缩略图，提供多种变体用于测试，提升点击率和视频表现。
AI项目与工具 2025年06月11日
DeepGEMM

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。
AI项目与工具 2025年06月12日
ARTROOM

ARTROOM

ARTROOM是一款集成了AI技术的图像生成与编辑平台，支持用户通过图层控制、Loras集成及ControlNets技术生成原创艺术作品或参考图片。平台具备丰富的功能，涵盖个性化定制、灵感获取等，并适用于个人艺术创作、企业营销、教育研究等多个领域，助力用户高效完成高质量视觉内容。
AI项目与工具 2025年06月12日
LalaEval

LalaEval

LalaEval是由香港中文大学与货拉拉数据科学团队联合开发的针对特定领域大语言模型的人类评估框架。它提供了一套完整的端到端评估流程，涵盖领域界定、能力指标构建、评测集生成、标准制定及结果分析。通过争议度与评分波动分析，有效减少主观误差，提升评估质量。该工具已在物流领域成功应用，并具备良好的跨领域扩展性，适用于企业内部模型优化与多场景评测。
AI项目与工具 2025年06月12日
HUGWBC

HUGWBC

HUGWBC是由上海交通大学与上海AI Lab联合开发的人形机器人全身控制器，支持多种自然步态和精细参数调整，具备高鲁棒性和实时外部干预能力。基于强化学习和不对称训练框架，实现从模拟到现实的高效迁移，适用于复杂地形导航、动态任务执行及人机协作等多种场景。
AI项目与工具 2025年06月12日
Intellectia

Intellectia

Intellectia是一款基于AI技术的智能投研平台，专注于金融领域的数据分析与决策支持。其核心功能包括股票和加密货币的技术分析、市场数据汇总、新闻情绪分析等，并通过多种指标和工具简化投资流程，满足个人投资者、企业分析师及资产管理者的多样化需求。产品设计注重易用性与高效性，旨在帮助用户做出更明智的投资决策。
AI项目与工具 2025年06月12日
Trickle

Trickle

Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。
AI项目与工具 2025年06月12日
Poetry2Image

Poetry2Image

Poetry2Image是一个由哈尔滨工业大学提出的迭代校正框架，专门用于中文古诗词的图像生成。该工具通过自动化反馈和校正机制，提升了诗歌与图像的一致性，解决了文本到图像生成模型在处理中文古典诗歌时常见的关键元素丢失或语义混淆问题。Poetry2Image具备搜索翻译、生成初始图像、提取关键元素、图像修正及迭代优化等功能，与多种图像生成模型结合使用时，其元素完整性和语义一致性表现优异，适用于古诗词
AI项目与工具 2025年06月12日
小库AI云

小库AI云

小库AI云是一款专为建筑领域设计的AI应用平台，集成了灵感生成、模型训练和社区共享三大核心功能。其基于自研的大模型技术，可实现从概念到施工图的全流程智能辅助，支持文生图、图生图等多种创作方式，同时提供灵活的训练模式和丰富的社区资源，助力建筑师提升工作效率并激发创造力。
AI项目与工具 2025年06月12日