AI项目与工具

TabTac

TabTac

TabTac是一款基于AI技术的浏览器，集成了搜索增强、网页浏览优化和办公辅助功能。它支持滑词搜索、图像识别、AI摘要、邮件撰写、语音控制等实用工具，提升信息处理效率。同时具备隐私保护机制，适用于商务、学术及日常多任务场景。
AI项目与工具 2025年06月12日
FaceCheck.ID

FaceCheck.ID

FaceCheck.ID是一款利用人工智能和面部识别技术的平台，帮助用户在互联网和社交媒体中定位和验证个人身份。它能够搜索社交媒体、新闻、博客及犯罪数据库，提供精确的面部匹配结果，同时具有高级过滤器和隐私保护功能，适用于身份核实、诈骗防范及犯罪嫌疑人追踪等多种场景。
AI项目与工具 2025年06月12日
Optima

Optima

Optima是一款由清华大学研发的框架，旨在通过迭代生成、排名、选择和训练过程，优化基于大型语言模型的多智能体系统。它不仅提高了通信效率和任务完成质量，还支持大规模复杂任务处理，同时集成了强化学习与蒙特卡洛树搜索技术以生成优质训练数据。Optima适用于信息不对称问答、复杂推理任务、软件开发等多个领域，具有高扩展性和低计算成本的特点。
AI项目与工具 2025年06月12日
COVE

COVE

COVE是一款以AI驱动的协作工具，提供共享工作空间和实时编辑功能，支持用户与AI共同思考和工作。它能从用户的文本、表格、图像等内容中学习，提供个性化建议和多样化思路，同时无缝集成于常用工具，适用于项目管理、研究分析、内容创作、教育学习及会议记录等多个场景。
AI项目与工具 2025年06月12日
CodeArena

CodeArena

CodeArena是一个在线平台，用于实时比较多个大型语言模型（LLM）的代码生成能力。它通过实时渲染和排名机制，帮助开发者评估LLM的性能，包括代码的可读性、效率和准确性。CodeArena集成了开发者工具，支持企业选型、学术研究、编程教育和技能提升等多种应用场景。
AI项目与工具 2025年06月12日
Bing Video Creator

Bing Video Creator

Bing Video Creator是微软推出的AI视频生成工具，基于OpenAI的Sora模型，用户可通过输入文本描述快速生成5秒短视频。支持9:16格式，提供快速模式和标准模式，初始有10次免费生成机会。功能包括视频生成、多种风格选择、视频存储和分享等，适用于广告、教学、创意和个人娱乐等多种场景。
AI项目与工具 2025年06月11日
Supademo

Supademo

Supademo是一款基于AI技术的交互式产品演示平台，支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容，并通过多渠道分享。平台提供丰富的分析功能，适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。
AI项目与工具 2025年06月12日
Goedel

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。
AI项目与工具 2025年06月12日
FlexiAct

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型，可在空间结构差异较大的场景下实现精准动作迁移，并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取（FAE），有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域，具有良好的应用前景。
AI项目与工具 2025年06月11日
音控

音控

音控是一款基于AI技术的音乐创作平台，提供AI作词、作曲、伴奏生成、AI歌手模拟等多功能支持，适用于个人创作、专业制作、音乐教育及治疗等领域。其智能化工具能够显著降低音乐创作门槛，同时满足多样化的音乐风格需求，使创作过程更高效且趣味盎然。 ---
AI项目与工具 2025年06月12日