AI

1. 首页
2. AI

Goedel

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

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

多多群岛DuoDuoLand

多多群岛DuoDuoLand是面向年轻人最有影响力的的职场平台，打造未来AI驱动、强社交基因的Z世代人才网络和项目孵化韶。

招聘求职 2025年06月05日 59 点赞 0 评论 888 浏览

OpenUtau

OpenUtau 是一款开源的歌声合成工具，支持 UTAU 音源库和 VSQX 格式，具备音素编辑、颤音控制、多语言界面等功能，适用于音乐创作与虚拟歌手合成。它兼容 Windows、macOS 和 Linux，提供预渲染与实时预览，提升创作效率，适合音乐人、开发者及音频爱好者使用。

AI项目与工具 2025年06月11日 38 点赞 0 评论 888 浏览

EviMed

EviMed是一款基于人工智能的医学信息平台，整合全球七大权威医学数据库，提供多维度搜索、智能分析、科研选题、循证决策等功能。其依托深度学习与医学大模型，可快速生成精准医学知识总结，广泛应用于临床、科研、教育及公共卫生等领域，有效提升医学工作者的研究与决策效率。

AI项目与工具 2025年06月11日 97 点赞 0 评论 888 浏览

万卷

万卷是一个个人掌上AI助理，它能帮助你处理很多生活中的问题

创作工具 2026年06月24日 0 点赞 0 评论 888 浏览

Trickle

Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。

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

Project IDX

谷歌推出的云端全栈开发环境，集成Gemini，支持全栈和多平台应用开发，提供智能代码补全、上下文操作、跨平台预览、一键部署到Firebase Hosting等功能。

Ai编程建站 2025年06月05日 12 点赞 0 评论 889 浏览

Raphael

Raphael 是一款基于 Flux.1-Dev 模型的 AI 图像生成工具，无需注册即可使用。支持多种艺术风格，提供高质量图像生成，具备快速处理能力和严格的隐私保护机制。适用于艺术创作、内容设计、营销、游戏开发等多个领域，适合个人及商业用途。

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

dorik

Dorik是一款基于AI技术的无代码网站构建平台，支持用户通过简单的提示快速创建美观且功能齐全的网站，无需编码或设计经验。平台提供白标CMS、博客平台、会员站点、SEO工具、Airtable集成等功能，并配备了丰富的模板和预设计UI组件。AI工具可自动生成文本和图像内容，加速网站构建过程。

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

AI Meeting Notes

AI Meeting Notes 是 Notion 提供的智能会议记录工具，支持实时转录、自动生成会议摘要、提取行动项及团队协作。用户可通过快捷键或日历集成快速启动，支持多设备同步和多语言使用，提升会议管理效率与信息整理能力。

AI项目与工具 2025年06月11日 21 点赞 0 评论 889 浏览