AI
  1. 首页
  2. AI

列表

Goedel

Goedel

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

Mazwai

提供了一站式搜索高质量无水印视频素材下载的服务，而且视频会标注是否可商用。不仅可以在线上预览，无须注册就能够直接下载。
视频素材 2025年06月05日
Agent Laboratory

Agent Laboratory

Agent Laboratory是由AMD与约翰·霍普金斯大学合作开发的基于大型语言模型的研究辅助工具，支持从文献综述到报告撰写的全流程科研任务。它具备实验设计、代码生成、结果分析等功能，并通过多代理协作和用户反馈机制提升研究质量。实验表明其可显著降低研究成本，适用于机器学习、生物医学等多个领域。
AI项目与工具 2025年06月12日
Wisdolia AI

Wisdolia AI

Wisdolia一个Chrome扩展程序，它使用 AI 为任何文章/PDF 生成抽认卡，以便您可以更好地记住您阅读的内容。
教育学习 2025年06月05日
Agentic Object Detection

Agentic Object Detection

Agentic Object Detection是由吴恩达团队研发的新型目标检测技术，通过智能代理系统实现无需标注数据的目标识别。用户输入文字提示后，AI可精准定位图像中的目标及其属性，支持内在属性、上下文关系及动态状态的识别。该技术无需复杂训练流程，适用于装配验证、作物检测、医疗影像分析、危险物品识别和商品管理等多种场景，显著提升了检测效率和准确性。
AI项目与工具 2025年06月12日
123电影解说文案网

123电影解说文案网

123电影解说文案网，提供原创电影文案下载及中视频课程的文案素材库平台，我们致力于打造一站式自媒体影视服务平台，将创作与收益紧密连接，帮助您在自媒体领域实现更多可能，轻松赚取收益，迈向成功的创作之路。
剧本文案 2025年06月05日
速创猫Ai简历

速创猫Ai简历

可以10秒钟生成一份高质量简历、根据岗位需求定制简历、优化精修简历。还可以模拟面试、行业分析、职业规划等一站式专业的解决您的求职难题。
招聘求职 2025年06月05日
Finalle

Finalle

Finalle是一款基于人工智能技术构建的金融分析平台，专为现代投资者设计。它通过实时数据分析、新闻事件集成以及财报解读等功能，帮助用户深入了解市场动态和股票表现。此外，Finalle还兼具投资者教育属性，提供从基础入门到进阶应用的学习资源。其核心优势在于高效的数据处理能力、简洁的操作体验以及对主流美股的深度覆盖。
AI项目与工具 2025年06月12日
知作zizo

知作zizo

知作zizo，借助最新AI技术，针对影视频行业创作的全流程，全面数字化、智能化，实现效率倍增。
AI服务商 2025年06月05日
飞猪AI问一问

飞猪AI问一问

飞猪AI问一问是一款基于多智能体协作的AI旅行助手，可快速生成包含机票、酒店、景点路线的完整旅行方案，并支持预算调节和实时信息同步。用户可通过文字、语音或方言交互，系统根据实时位置推荐周边服务，适合多种旅行场景，提供个性化、便捷的旅行规划体验。
AI项目与工具 2025年04月23日