优化

1. 首页
2. 优化

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

AI写作猿

AI写作猿是一款基于AI技术的多功能写作辅助平台，提供AI写作、对话、伪原创、文案提取、AI绘画及PPT生成等功能，适用于内容创作、文案撰写、学习辅导和商业策划等场景。界面友好、操作便捷，支持多领域咨询服务，帮助用户提升写作效率与质量。

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

HiCompress

一个在线图片压缩和转换工具，支持PNG，WEBP图片无损压缩，支持将JPG, JPEG, PNG, WEBP, TIF, DDS, AVIF, PSD, HEIC,RAW, JFIF等几十种图片格式转换成PG, JPEG, PNG图片。

格式转换 2025年06月05日 52 点赞 0 评论 438 浏览

万彩商图

万彩商图是一款基于AI技术的图像处理工具，为电商行业提供商品背景替换、模特图生成、批量抠图、高清修复及无损放大等功能。它能够显著提升图片生产效率，优化电商视觉体验，适用于商品展示、广告制作及社交媒体推广等多个场景。

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

Story

Story-Adapter是一种无需额外训练的长篇故事可视化框架，通过迭代优化和全局参考交叉注意力模块，提升图像生成的质量与细节表现。该工具适用于多种场景，包括故事创作、教育学习、娱乐游戏、广告营销以及影视制作等，特别适合需要将文字转化为视觉化内容的场合。

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

PhotoStudio AI

PhotoStudio AI是虹软倾力打造的一款基于生成式人工智能技术的创新产品，旨在为商家提供卓越的商拍图生成与优化服务。

电商运营 2025年06月05日 57 点赞 0 评论 442 浏览

k0

k0-math是一款基于强化学习和思维链推理技术的新一代数学推理模型，由月之暗面推出。它在多个数学基准测试中表现出色，特别是在中考、高考、考研及竞赛级数学题库中的成绩超越了OpenAI的o1-mini和o1-preview模型。k0-math具备深入思考、规划解题思路以及自我反思优化的能力，适用于教育辅导、在线教育平台、竞赛培训、学术研究及自动化测试与评分等多个场景。

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

Phygital+

Phygital+ 是一个基于AI提供了多种功能和工具整合的平台，允许用户使用AI并创建、转换和增强图像、视频和 3D 模型。

Ai绘画生成 2025年06月05日 13 点赞 0 评论 442 浏览

大创

大创是一家专注于电商领域的AI技术公司，提供包括AI模特生成、虚拟试衣、商品展示优化及场景构建在内的多项功能，帮助企业提升商品展示效果和营销效率。凭借其强大的技术能力和灵活的服务模式，大创已成为电商行业的重要助力。

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

SPDL

SPDL（Scalable and Performant Data Loading）是一款由Meta AI开发的开源工具，专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载，降低资源消耗，支持分布式系统和主流AI框架PyTorch，适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。

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