工具

1. 首页
2. 工具

Insight

Insight-V是一款由南洋理工大学、腾讯和清华大学联合研发的多模态大型语言模型，专为提升长链视觉推理能力而设计。该模型通过多智能体系统将任务分解为推理与总结两步，并采用两阶段训练流程优化性能。其渐进式数据生成和多粒度评估方法进一步提升了模型的推理精度，在多个视觉推理基准测试中表现出色。

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

Conbrie

Conbrie 是一款基于 AI 的知识整理与学习工具，支持文档解析、知识卡片生成、思维导图创建等功能，帮助用户高效整理和复习知识。具备多平台兼容性和多种文件导出格式，适用于个性化学习、在线教学等多种场景，提升学习效率与知识系统化程度。

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

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G

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

Augment Code

一家专注于为大型代码库提供AI编程辅助工具的公司，通过上下文感知开发、个性化代码补全、跨文件编辑等功能，帮助开发团队提升效率，特别是擅长处理复杂代码库的维护和重构。

Ai编程建站 2025年06月05日 59 点赞 0 评论 603 浏览

axiom.ai

axiom.ai 是一款面向网页任务自动化的无代码 Chrome 扩展工具，支持数据抓取、表单填写及用户界面操作的自动化，具备与第三方服务集成的能力和 AI 辅助功能，可显著提高工作效率并保障数据安全。

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

Rizzle AI

Rizzle AI使用 AI 可以轻松创建视频，即使您没有任何视频编辑技能。您只需输入文本，选择一个模板，然后让 Rizzle 完成剩下的工作。

Ai视频生成 2025年06月05日 53 点赞 0 评论 603 浏览

CloneUI

一款强大的AI驱动的图片转代码工具，能够将截图、网址或 Figma 设计一键转换为 React、Vue 或 HTML/CSS 代码。

Ai编程建站 2025年06月05日 63 点赞 0 评论 603 浏览

Kimi探索版

Kimi探索版是一款基于深度推理的AI搜索工具，具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题，通过逐步推理与数据整合生成精确解答，并支持数学建模、编程处理及多语言交流。此外，其自我反思机制进一步提升了答案的准确性，广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。

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

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集，包含41.25小时高质量语音，覆盖全国22个省市。数据通过家长引导式对话采集，保证自然真实。该数据集支持语音识别、说话人验证和语言研究，适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域，为儿童语音技术研究提供重要资源。

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