算法

1. 首页
2. 算法

Buysmart.AI

Buysmart.AI,基于大模型的智能电商购物ai助手，百度“文心杯”创业大赛一等奖。

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

BriefGPT AI论文速递

BriefGPT AI是一个AI论文速递网站，它可以帮助研究人员快速发现AI领域的最新研究进展。BriefGPT AI每天持续更新顶级会议和期刊上发表的AI相关论文，并提供论文标题、简要摘要以及论文PDF下载链接。

教育学习 2025年06月05日 80 点赞 0 评论 537 浏览

晨羽AI效果图

晨羽AI效果图是一款专为家装设计师和业主打造的移动端装修设计工具。它集成了智能算法，可根据用户所提供的房屋面积、户型和风格等各种要素。

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

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

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

Goedel

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

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

OptoChat AI

OptoChat AI是国内首款面向光子领域的AI大模型，整合超30万条光子芯片相关数据资源，具备强大的数据分析与智能算法能力。可实现光子芯片设计优化、工艺验证、文献检索等功能，显著提升研发效率，缩短设计周期。适用于科研、制造、教育及市场分析等多个场景，推动光子产业智能化发展。

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

TransPixar

TransPixar是由多所高校及研究机构联合开发的开源文本到视频生成工具，基于扩散变换器（DiT）架构，支持生成包含透明度信息的RGBA视频。该技术通过alpha通道生成、LoRA微调和注意力机制优化，实现高质量、多样化的视频内容生成。适用于影视特效、广告制作、教育演示及虚拟现实等多个领域，为视觉内容创作提供高效解决方案。

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

BeeBee AI

AI驱动的投资分析平台，可为投资者提供深入的见解和实时新闻。凭借其用户友好的界面和强大的 AI 功能，BeeBee AI 简化了复杂的财务报告和财报电话会议，为日常投资者提供了宝贵的见解。

财经投资 2025年06月05日 52 点赞 0 评论 508 浏览

LogoLuck

LogoLuck 是高品质的智能 Logo在线生成工具。

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

码多多AI数字人源码系统

一站式AI数字人视频制作源码系统，支持真人声音克隆和真人形象克隆，只需随意上传一段真人视频，即可快速完成声音以及形象克隆。

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