AI

1. 首页
2. AI

Kimina

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

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

iAsk Ai

一款先进的免费AI搜索引擎，可实现用户提出AI问题并获得即时、准确和 事实答案，而无需存储您的数据。

Ai学习资源 2025年06月05日 39 点赞 0 评论 494 浏览

AIPedias | AIPedias

AIpedias.com 是一个专注于人工智能领域的导航网站，提供全球最全的AI工具、资源和知识。精选国内外999+优质AI工具、资源和资讯，包括AI绘画工具、AI写作工具、AI聊天工具、AI音视频工具、AI办公工具、AI游戏制作工具、AI营销工具等AI工具大全。

GPTs应用 1970年01月01日 0 点赞 0 评论 494 浏览

Butterflies AI

Butterflies AI是一款支持用户定制个性化AI角色的社交平台。AI角色能够自主发布动态并与用户及其他AI角色互动。该平台允许用户通过定制外观、背景故事和性格来创造独特的虚拟形象，并通过深度社交互动、内容生成和情感交流提供丰富的用户体验。未来，该平台计划探索更多商业模式，并在游戏等领域提供更多元化的社交体验。

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

Prompt Silo

一个带有提示构建器的MidJourney提示数据库。您可以选择所有的MidJourney提示设置，并从风格、艺术家、主题等中选择，以根据您的需求制作完美的提示。它完全免费使用，并产生惊人...

Ai绘画生成 1970年01月01日 0 点赞 0 评论 493 浏览

Ymiai论文写作

毕业季将至，很多同学是不是都在为论文抓狂？ 既要白天上班实习 又要晚上熬夜改论文，写实习报告...... 每天都焦虑的苦不堪言，但不要慌，今天我将手把手教大家如何利用Ymiai快速完成论文写作, 帮你攻克这个难题。

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

cookAIfood

CookAIfood是一个利用AI技术打造的烹饪平台，允许用户通过输入食材、上传图片或描述菜肴生成个性化的食谱。它提供包括菜单规划、购物清单生成在内的实用工具，同时具备社区分享功能，方便用户交流烹饪经验。CookAIfood还能生成高清食品图片，并根据用户需求提供定制化的饮食建议和烹饪灵感。

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

AITDK

AITDK是一款集成了多种AI驱动功能的工具平台，涵盖标题生成器、描述生成器、关键词生成器、特性生成器、常见问题解答生成器及用户评价生成器等模块，致力于帮助企业高效创建高质量、搜索引擎友好的内容，同时促进用户交互与品牌信任建设，广泛适用于网站优化、内容创作、产品推广及客户服务等多个领域。

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

LOGOAI

创建匹配的文具，设计您喜欢的品牌!

Ai绘画生成 1970年01月01日 0 点赞 0 评论 493 浏览

A1.art

A1.art是一款结合AI技术的在线艺术创作平台，提供超3400种艺术风格选择，支持从静态到动态（GIF）的多样化创作需求。平台兼具智能推荐、社区互动及个性化服务功能，适用于个人、设计师、企业和教育领域的艺术创作与教学应用。

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