PromptFolder 专为大型语言模型 (LLM)和大型模型 (LM) 以及LMOps设计的提示词优化助手，不管是文字、还是图片的提示词，都可以一键优化。 Ai提示指令 2025年06月05日 14 点赞 0 评论 494 浏览
抖音星绘 一款由抖音推出的AI相机类产品，支持AI分身、AI修图和文生图功能。用户可以通过上传图片并输入提示词来轻松切换照片风格，如像素风、赛博朋克、日式漫画等。 Ai图片处理 2025年06月05日 42 点赞 0 评论 494 浏览
陌言AI 陌言AI是一款免费的智能AI问答系统，可以快速、准确地解答您的问题，辅助您更高效的学习和工作，陌言Ai–让创作变得更加简单。 AI写作对话 2025年06月05日 39 点赞 0 评论 494 浏览
TripoSR TripoSR是一款由Stability AI与VAST联合开发的开源3D生成模型，能够在不到0.5秒内从单张2D图像生成高质量的3D模型。基于Transformer架构和大型重建模型（LRM）设计，采用先进的图像编码、三平面NeRF表示及优化训练策略，支持无GPU设备运行。适用于游戏开发、影视制作、建筑设计、产品设计等多个领域，具有高效、高精度和广泛适用性的特点。 AI项目与工具 2025年06月12日 80 点赞 0 评论 494 浏览
Bild AI Bild AI 是一款面向建筑行业的智能工具，利用人工智能技术解析建筑图纸，自动生成材料清单与成本估算，并检测图纸是否符合建筑规范。它具备蓝图一致性验证、材料统计、合规性审查及智能修正建议等功能，适用于建筑设计、招投标、施工准备及许可证申请等多个环节，提升项目前期工作的效率与准确性。 AI项目与工具 2025年06月12日 23 点赞 0 评论 494 浏览
小值 一款消费领域垂类购物助手AI问答机器人，小值AI通过对话形式与用户进行交互，旨在为用户提供智能的消费辅助决策服务，帮助用户快速甄选全网优质好物链接。 AI写作对话 2025年06月05日 48 点赞 0 评论 494 浏览
Kimina Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。 AI项目与工具 2025年06月11日 33 点赞 0 评论 494 浏览
