AI
  1. 首页
  2. AI

列表

BFS

BFS

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

DD星球

DD星球是一款基于AI技术的虚拟社交应用，用户可通过该平台创造并定制专属的AI伙伴，实现个性化的声音设置、实时语音交流以及数字宇宙的设计。此外，它还支持社交互动，帮助用户拓展社交圈，满足情感陪伴和娱乐休闲的需求。
AI项目与工具 2025年06月12日
Gen

Gen

Gen-3 Alpha是一款由Runway公司研发的AI视频生成模型，能够生成长达10秒的高清视频片段，支持文本到视频、图像到视频的转换，并具备精细的时间控制及多种高级控制模式。其特点在于生成逼真的人物角色、复杂的动作和表情，提供运动画笔、高级相机控制和导演模式等高级控制工具，确保内容的安全性和合规性。
AI项目与工具 2025年06月12日
BetterBugs

BetterBugs

BetterBugs是一款基于Chrome浏览器的扩展工具，通过一键式屏幕捕获、屏幕录制和自动技术信息收集等功能，帮助用户高效生成详细的bug报告。它支持与多种项目管理和沟通工具集成，适用于软件开发、质量保证、项目管理和客户支持等多个场景，旨在提升团队协作效率和问题解决速度。
AI项目与工具 2025年06月12日
百度文库AI助手

百度文库AI助手

百度基于文心一言重构的一站式智能文档助手，旨在为用户提供智能化的文档处理和写作支持。
Ai办公效率 2025年06月05日
H

H

H-Optimus-0是由法国公司Bioptimus推出的全球最大的开源病理学AI基础模型，拥有11亿参数，基于超过50万张组织病理学切片训练，涵盖多种人体组织。该模型在癌症识别、基因异常检测、组织分类及生存分析等方面表现优异，具备强大的特征提取能力。作为开源工具，H-Optimus-0可促进病理研究与临床应用的协同创新。
AI项目与工具 2025年06月12日
Eagle

Eagle

Eagle是一个由英伟达开发的多模态大模型，专长于处理高分辨率图像，提高视觉问答和文档理解能力。该模型采用多专家视觉编码器架构，通过简单的特征融合策略实现图像内容的深入理解。Eagle模型已开源，适用于多个行业，具有高分辨率图像处理、多模态理解、多专家视觉编码器、特征融合策略和预对齐训练等特点。
AI项目与工具 2025年06月12日
Fin

Fin

Fin-R1是由上海财经大学与财跃星辰联合开发的金融领域推理大模型，基于Qwen2.5-7B-Instruct架构，通过两阶段训练提升金融推理能力。其支持金融数据推理、代码生成、风险控制、ESG分析等多种功能，具备多语言支持与轻量化设计，适用于智能风控、投资辅助、量化交易等场景。模型在权威评测中表现优异，具有较高的实用价值。
AI项目与工具 2025年06月12日
ELEAI

ELEAI

ELEAI-生成式人工智能包装设计平台，开启包装智造时代。
Ai绘画生成 2025年06月05日