AI

投搜AI

投搜AI是一款专注于投资研究的AI应用,利用先进的人工智能技术,为您提供个性化的投资分析和实时的市场洞察。

Speechnotes

Speechnotes是一款基于AI的语音转文字工具,提供高精度语音识别、实时语音输入、语音命令支持、自动大写处理等功能,支持多平台操作(Chrome扩展、Android、iOS、API等)。它强调隐私保护,录音不经过人工处理且自动删除,适合快速转录、会议记录、写作、医疗记录等多种应用场景,是提升工作效率的理想选择。

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具,支持个性化头像和创意图像生成,提供200多种风格选择。用户上传照片后,可快速生成符合需求的图像,适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护,界面友好,操作便捷,适合各类用户使用。

BFS

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

All GPTs

All GPTs目录是一个综合性在线资源,列出了各种GPT(预训练生成式转换器)模型、AI代理和应用程序。它是一个集中的地方,可以找到和探索基于AI的解决方案。

灵办Ai

一款能解决翻译、对话、写作、阅读、信息获取、笔记、画图等需求的工具。

Axiom

Axiom是一个浏览器扩展,帮助...

Fluig

Fluig 是一款基于 AI 的图表生成工具,可将文字、文档或代码快速转化为多种专业图表,如思维导图、流程图等。支持多模态输入和智能格式转换,操作简便,适合无设计背景的用户使用。提供实时协作功能,适用于教育、商业、研究等多个场景,提升信息可视化与团队协作效率。

加利福尼亚大学洛杉矶分校

加利福尼亚大学洛杉矶分校(University of California, Los Angeles,简称:UCLA) ,是位于美国洛杉矶的公立研究型大学 ,是环太平洋大学联盟和国际公立大学论坛成员 ,被誉为“公...

Vispunk Video

一款极简、强大的免费 AI文生视频制作工具。Vispunk Motion可让您仅使用文字创建逼真的短视频。您可以使用它来制作短片或社交媒体视频。