AI项目与工具

Kimina

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。
AI项目与工具 2025年06月11日
CodeCV

CodeCV

CodeCV是一款面向互联网从业者的在线简历制作工具，支持Markdown和所见即所得编辑模式。它提供多种免费模板，并具备AI辅助功能，如简历润色和中英互译。用户可自由选择模板并专注内容创作，系统自动完成排版和分页，支持多格式导出，广泛应用于个人求职、职业发展、学生实习、自由职业和跨区域求职等场景。
AI项目与工具 2025年06月12日
音控

音控

音控是一款基于AI技术的音乐创作平台，提供AI作词、作曲、伴奏生成、AI歌手模拟等多功能支持，适用于个人创作、专业制作、音乐教育及治疗等领域。其智能化工具能够显著降低音乐创作门槛，同时满足多样化的音乐风格需求，使创作过程更高效且趣味盎然。 ---
AI项目与工具 2025年06月12日
VQAScore

VQAScore

VQAScore是一种基于视觉问答（VQA）模型的评估工具，用于衡量文本提示生成图像的质量。它通过计算回答“是”概率的方式评估图像与文本提示的对齐程度，无需额外标注，提供更精确的结果。VQAScore支持多种生成任务，包括图像、视频及3D模型，并能作为多模态学习的研究工具，在自动化测试和质量控制中发挥重要作用。
AI项目与工具 2025年06月12日
微博嘴替

微博嘴替

微博嘴替是一款AI趣味分析工具，主要功能涵盖神吐槽、MBTI性格分析、优点识别、人生Emoji、情感分析、健康分析和财运预测。它能分析微博用户的行为和内容，生成幽默而具洞察力的评论，帮助用户从不同角度了解自己。微博嘴替可用于个人娱乐、社交媒体互动、内容创作及心理调适等多种场景。
AI项目与工具 2025年06月12日
Inverse Painting

Inverse Painting

Inverse Painting 是一种基于 AI 的创新技术，能够逆向还原绘画过程，通过分析艺术家的绘画视频学习技巧与顺序，生成详细的绘画指令，逐步更新画布，模拟创作流程。该工具可应用于艺术教育、艺术创作辅助、文化遗产保护、艺术品鉴定、娱乐产业及交互式媒体等多个领域。
AI项目与工具 2025年06月12日
creatify

creatify

Creatify是一款由人工智能驱动的视频广告制作平台，支持根据产品信息自动生成高质量营销视频。其主要功能包括自动视频生成、AI脚本创作、多样化模板选择、动态特效设计及多语言支持。Creatify适用于电商、品牌推广、教育培训等多种场景，帮助用户高效制作专业视频广告，降低时间和成本投入。
AI项目与工具 2025年06月12日
iTextMaster

iTextMaster

iTextMaster是一款AI驱动的文本分析与交互工具，支持用户通过对话形式快速总结PDF文档和网页内容，具备精准搜索与智能推荐功能。它广泛应用于学术研究、法律行业、商业分析、教育以及项目管理等领域，助力用户高效处理信息并提升工作效率。
AI项目与工具 2025年06月12日
TripoSR

TripoSR

TripoSR是一款由Stability AI与VAST联合开发的开源3D生成模型，能够在不到0.5秒内从单张2D图像生成高质量的3D模型。基于Transformer架构和大型重建模型（LRM）设计，采用先进的图像编码、三平面NeRF表示及优化训练策略，支持无GPU设备运行。适用于游戏开发、影视制作、建筑设计、产品设计等多个领域，具有高效、高精度和广泛适用性的特点。
AI项目与工具 2025年06月12日
Hatch

Hatch

Hatch是一款AI数字创意画布工具，提供无限的创作空间，能够根据用户的思考过程进行适应和调整。用户可以从一个提示、图像或问题开始，将想法以视觉化的方式进行组织和连接。它支持自由布局、无限扩展、智能生成、图像编辑、AI助手和实时协作等功能，帮助用户将创意转化为现实。适用于创意构思、项目规划和内容创作等场景。
AI项目与工具 2025年06月11日