AI项目与工具

Goedel

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

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

Rabbithole

Rabbithole 是一款基于AI的互动式知识探索工具，通过自然语言对话帮助用户深入了解历史事件和主题。平台支持对话记录保存、个性化内容推荐以及多样化的历史话题库，适用于历史爱好者、学生、教师及研究人员等多种用户群体，提升学习效率与知识获取深度。

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

Fotographer AI

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

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

AgileGen

AgileGen是一个基于人机协作的生成式软件开发框架，通过Gherkin语言定义用户需求并生成代码，支持快速原型设计和迭代优化。其主要功能包括需求收集与澄清、场景设计、代码生成及反馈迭代，同时具备记忆池机制以提升决策效率。适用于初创公司、教育领域及企业内部工具开发等场景。

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

Wisecut

Wisecut 是一款利用人工智能技术的在线视频编辑工具，其核心功能包括 AI 高光检测、自动字幕生成与多语言翻译、基于语音的故事板编辑、智能背景音乐匹配以及静音段落自动移除等。它特别适合用于社交媒体内容创作、视频博客、在线教育、产品营销和企业培训等领域，帮助用户快速制作高质量的短视频或音频内容。

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

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统，旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建，具备生成假设、优化方案、文献整合等功能，通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展，展现加速科学发现的潜力。

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

小荷AI医生

小荷AI医生是由字节跳动旗下小荷健康推出的医疗健康AI工具，基于豆包大模型开发，提供健康咨询、分诊导诊、报告解读、用药信息查询等服务。通过人机对话形式，帮助用户获取初步健康建议，并在必要时引导至专业医疗服务。适用于健康科普、日常咨询、报告解读及健康管理等多种场景，提升用户获取健康信息的便捷性。

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

AniPortrait

AniPortrait是一款由腾讯开源的AI视频生成框架，通过音频和一张参考肖像图片生成高质量的动画。该框架包含两个核心模块：Audio2Lmk模块将音频转换为2D面部标记点，而Lmk2Video模块则基于这些标记点生成连贯且逼真的视频动画。AniPortrait以其高质量的视觉效果、时间一致性和灵活的编辑能力著称，能够精确捕捉面部表情和嘴唇动作。

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