AI
  1. 首页
  2. 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日
DemoFusion

DemoFusion

DemoFusion是一个技术框架，旨在低成本生成高分辨率图像。该框架通过扩展现有的开源生成人工智能模型（如Stable Diffusion），使得这些模型能够在不进行额外训练和不产生过高内存需求的情况下，将模糊的低分辨率图像转化为高清晰度图像。DemoFusion采用渐进式增强、跳跃残差和扩张采样机制，确保高分辨率图像生成的同时，保持图像的全局语义一致性和细节质量。适用于艺术创作、游戏开发、电影
AI项目与工具 2024年01月01日
IMI Prompt推荐

IMI Prompt推荐

IMI Prompt生成器是一个AI艺术生成器，帮助用户创建独特的艺术作品。凭借其广泛的艺术风格，颜色和对象的选择，用户可以轻松地生成艺术作品，而不需要知道复杂的术语。该应用程序...
Ai绘画生成 1970年01月01日
Neural4D

Neural4D

Neural4D是一款由DreamTech团队开发的AI驱动型3D模型生成平台，利用Direct3D-5B大模型实现从文字或图片到高精度3D模型的自动化生成。其主要功能包括文本生成3D、图片生成3D、CuteMe Q版化身转换以及高精度模型输出。平台支持多种应用场景，如游戏开发、动画制作、虚拟现实设计、产品可视化及3D打印等，推动了3D内容创作领域的快速发展。
AI项目与工具 2025年06月12日
奇布塔

奇布塔

奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。
AI项目与工具 2025年06月12日
MCP Servers

MCP Servers

MCP Servers是字节跳动推出的大模型生态平台，为开发者提供高效、灵活的大模型开发与部署环境。通过MCP协议集成搜索、数据库、API等工具，支持模块化开发和全链路闭环。平台整合MCP Market、火山方舟和Trae，实现从工具调用到应用部署的全流程。支持Local和Remote部署模式，涵盖自动化代码生成、智能数据库运维、跨仓库调试等应用场景，助力开发者提升效率。
AI项目与工具 2025年06月11日
CrowdCore

CrowdCore

CrowdCore是一款基于AI的网红营销工具，帮助品牌高效筛选并联系全球社交平台上的合适网红。其核心功能包括AI驱动的精准搜索、自动化沟通、数据分析与效果追踪。支持多平台操作，提供超过20个筛选维度，智能优化沟通策略，提升转化率。适用于品牌推广、电商带货、市场调研等多种场景，助力企业实现精准营销与风险控制。
AI项目与工具 2025年06月11日
WebDesignAgent

WebDesignAgent

WebDesignAgent是一款基于AI技术的自动化网页设计工具，支持文本到网站、图像到网站等多种输入方式，可生成功能齐全、设计精美的网页。它支持多页面设计、用户自定义及迭代优化，适用于个人博客、企业官网、电商页面等多种场景。通过集成自然语言处理、计算机视觉以及大型语言模型，WebDesignAgent能够智能化地完成从内容理解到网页生成的全过程。
AI项目与工具 2025年06月12日