AI

1. 首页
2. AI

Kimina

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

AI项目与工具 2025年06月11日 33 点赞 0 评论 782 浏览

TinyWow

AI的实用工具,使你的生活更容...

生活创意 1970年01月01日 0 点赞 0 评论 782 浏览

书生·浦语

书生·浦语是上海人工智能实验室开发的一款开源AI大模型，具备卓越的推理能力和超长文本处理功能。该模型能够处理高达一百万词元的文本输入，支持联网搜索并整合信息，显著提升了处理复杂问题的能力。书生·浦语秉持开源理念，免费提供商用授权，旨在通过高质量开源资源赋能创新，推动AI技术的发展和应用。它支持多种功能，包括超长文本处理、增强推理能力、自主信息搜索与整合等，并提供了多样化的参数版本，以满足不同的应用

AI项目与工具 2025年06月12日 62 点赞 0 评论 781 浏览

易途AI面试官

易途AI面试官是一款基于AI技术的模拟面试工具，支持多种岗位和行业，提供真实面试场景、智能追问及多维度评估功能。它能帮助求职者提升面试技巧，同时为企业提高招聘效率和精准度，具备个性化练习与流程优化等特点。

AI项目与工具 2025年06月12日 29 点赞 0 评论 781 浏览

FaceCheck.ID

FaceCheck.ID是一款利用人工智能和面部识别技术的平台，帮助用户在互联网和社交媒体中定位和验证个人身份。它能够搜索社交媒体、新闻、博客及犯罪数据库，提供精确的面部匹配结果，同时具有高级过滤器和隐私保护功能，适用于身份核实、诈骗防范及犯罪嫌疑人追踪等多种场景。

AI项目与工具 2025年06月12日 12 点赞 0 评论 781 浏览

OpenUtau

OpenUtau 是一款开源的歌声合成工具，支持 UTAU 音源库和 VSQX 格式，具备音素编辑、颤音控制、多语言界面等功能，适用于音乐创作与虚拟歌手合成。它兼容 Windows、macOS 和 Linux，提供预渲染与实时预览，提升创作效率，适合音乐人、开发者及音频爱好者使用。

AI项目与工具 2025年06月11日 38 点赞 0 评论 781 浏览

Chatgot.io

一个独特的应用程序，将多个AI聊天助手整合到一个平台中。想象一下，你参与的聊天群组里不是与人交流，而是与各种AI个性互动。

AI写作对话 2025年06月05日 65 点赞 0 评论 781 浏览

FashionAdvisorAI

FashionAdvisorAI是一款基于AI技术的时尚咨询工具，利用GPT-3技术为用户提供即时、准确的服装搭配、色彩协调和风格趋势建议。其核心功能包括即时时尚建议、个性化推荐、风格更新及色彩搭配指导，广泛适用于日常穿搭、特殊场合着装以及购物指导等多个场景，助力用户轻松掌握时尚潮流。

AI项目与工具 2025年06月12日 95 点赞 0 评论 781 浏览

Mazwai

提供了一站式搜索高质量无水印视频素材下载的服务，而且视频会标注是否可商用。不仅可以在线上预览，无须注册就能够直接下载。

视频素材 2025年06月05日 55 点赞 0 评论 780 浏览

SigStyle

SigStyle是一款由多所高校与Adobe合作开发的签名风格迁移框架，能将单张风格图像的视觉特征（如几何结构、色彩和笔触）精准迁移到目标图像，同时保持内容的语义和结构。其核心技术基于个性化文本到图像扩散模型，结合超网络和时间感知注意力交换技术，实现高效且高质量的风格迁移。支持多种应用场景，如艺术创作、时尚设计、影视制作等，具备灵活性和广泛适用性。

AI项目与工具 2025年06月12日 63 点赞 0 评论 780 浏览