AI

1. 首页
2. AI

Goedel

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

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

Agent Laboratory

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

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

Fotographer AI

Fotographer AI是一款基于AI技术的图像生成工具，能够快速生成专业级产品图像，并提供多样化的广告模特图像。该工具支持文本和模板定制，简化创作流程。此外，它还能即时生成博客、新闻稿等营销材料。试用期免费，同时提供企业级服务选项，包括图像生成和账户管理。

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

Aishort

AIShort 提供一份简便的 ChatGPT 指令列表，可迅速筛选和查询适应各种场景的提示词，从而帮助用户精简操作过程，并提供了浏览器插件方便直接调用。

Ai提示指令 2025年06月05日 89 点赞 0 评论 723 浏览

123电影解说文案网

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

剧本文案 2025年06月05日 34 点赞 0 评论 723 浏览

NoteGen

NoteGen是一款开源AI笔记工具，支持截图识别、剪贴板监听和文本输入，通过OCR和AI技术将碎片信息整理为结构化Markdown笔记。内置Markdown编辑器与AI写作助手，支持大纲生成、公式编辑、流程图绘制及翻译优化。支持多设备同步与GitHub私有仓库管理，保障数据安全，适用于知识管理、学习研究、创作写作及团队协作等场景。

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

NotebookMLX

NotebookMLX 是一款基于 MLX 技术开发的开源工具，支持将 PDF 文档转换为音频播客。它通过 PDF 预处理、播客脚本生成、文本优化以及文本转语音等功能，实现了从 PDF 文件到高质量音频内容的全流程自动化处理，适用于教育、播客创作、有声书制作等多个领域，显著提升了信息传播效率和用户体验。

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

MusicFX

Google MusicFX是一款基于人工智能技术的音乐生成工具，支持用户通过文本描述来生成音乐，涵盖多种风格。它具备文本到音乐创作、自定义音乐参数、数字水印技术和版权安全过滤等功能，旨在降低音乐创作门槛，提升创作效率和质量。自发布以来，已有大量用户通过该工具创作出原创音乐作品。

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

Supademo

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

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

Mazwai

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

视频素材 2025年06月05日 55 点赞 0 评论 724 浏览