AI工具

1. 首页
2. AI工具

BFS

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

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

Skywork o1

Skywork o1是一款具备中文逻辑推理能力的大规模预训练模型，其核心优势在于内嵌思考、规划和反思能力，显著提升了复杂任务的推理性能。该模型基于开源Llama架构，同时提供增强版以满足更高要求的应用场景。它适用于技术开发者、企业决策者、教育工作者、内容创作者及客户服务等多个领域，助力创新应用开发和高效决策支持。 ---

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

心响

心响是一款基于人工智能的任务处理应用，通过自然语言交互帮助用户拆解复杂任务并提供可视化结果。其核心功能包括任务调度、旅游攻略生成、智慧图表制作、定时任务管理和模拟对话练习。适用于学习、办公、金融及旅游等多个场景，提升用户的工作效率与决策能力。

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

1photoai

1PhotoAI 是一款可让您在短短 10 秒内生成精美的 AI 照片的AI工具。

Ai绘画生成 2025年06月05日 18 点赞 0 评论 781 浏览

Piclumen

Piclumen 是一款基于AI的图像生成工具，支持文本转图像、图像风格化、背景移除及图像修复等功能，可生成多种艺术风格的高质量图像。其高分辨率输出和便捷操作使其广泛应用于社交媒体、广告设计、艺术创作、游戏开发及教育领域，适合各类用户快速实现视觉创意。

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

小白研报

基于元石自研模型，让小白研报模拟人类思维，通过多轮思考与工具调用，自动生成论文、行业研究与趋势报告，并以精美可视化网页呈现出来。

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

MonkeyOCR

MonkeyOCR是由华中科技大学与金山办公联合开发的文档解析模型，能够高效地将非结构化文档内容转换为结构化信息。其支持多种文档类型和语言，处理复杂文档（如公式、表格）效果显著，处理速度达每秒0.84页。基于SRR三元组范式和MonkeyDoc数据集，模型在准确性和效率上表现优异，适用于自动化业务流程、数字存档、智能教育、医疗记录管理及学术研究等场景。

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

parsio

Parsio是一款利用AI技术的文档解析工具，支持从PDF、电子邮件及发票等多种文档中自动提取结构化数据。它提供PDF解析与OCR功能，支持多语言识别和表格提取，适用于业务流程优化、客户关系管理及财务管理等多个领域，帮助企业提高效率并减少错误。

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

Qwen3

Qwen3 是阿里巴巴推出的下一代大型语言模型，支持“思考模式”和“非思考模式”，适用于复杂与简单任务。具备 119 种语言支持，优化了编码与 Agent 能力，数据量达 36 万亿 token，采用四阶段训练流程。提供多种模型配置，涵盖从轻量级到企业级应用。在多项基准测试中表现优异，广泛应用于文本生成、机器翻译、法律文书、技术文档、医疗辅助等领域。

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

VideoCrafter2

VideoCrafter2 是一款由腾讯AI实验室开发的视频生成模型，通过将视频生成过程分解为运动和外观两个部分，能够在缺乏高质量视频数据的情况下，利用低质量视频保持运动的一致性，同时使用高质量图像提升视觉质量。该工具支持文本到视频的转换，生成高质量、具有美学效果的视频，能够理解和组合复杂的概念，并模拟不同的艺术风格。

AI项目与工具 2024年01月01日 49 点赞 0 评论 779 浏览