AI - 智狐AI导航

Kimina

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

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

Wispr Flow

Wispr Flow 是一款基于AI技术的语音转文字工具，支持100多种语言，具备自动编辑、上下文感知和低音量识别等功能，提升写作与沟通效率。提供免费基础版及付费专业版和团队版，适用于写作、商务、学习等多种场景，注重用户隐私保护，操作便捷自然。

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

Podwise

Podwise 是一款基于人工智能的播客知识管理工具，能够将播客内容转化为结构化的文字、总结和思维导图，帮助用户快速掌握核心信息。它支持全球范围内的播客搜索、多语言处理，并可与多种知识管理工具无缝衔接，适用于学习、研究、商业分析等多个场景。 ---

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

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。

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

CrushOn AI

CrushOn AI 是一款由 Peekaboo Game Limited 推出的人工智能角色扮演聊天应用。该应用允许用户与AI生成的角色进行深度对话和角色扮演，拥有角色创建与定制、多样化角色库、先进的AI聊天模型以及丰富的角色扮演场景等功能。CrushOn AI 提供免费和多种付费订阅计划，满足不同用户的需求。

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