算法

BFS

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

AlphaEvolve

AlphaEvolve是谷歌DeepMind开发的通用科学代理,结合大型语言模型与进化算法,用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果,如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制,支持跨领域应用,具备高效计算和持续优化能力。

推文助手

一款一键生成小说推文视频的工具,推文助手为百万短视频创业者提供高效便捷的小说推文变现神器。包括滚动推文,对话推文,,解压视频,表情包推文,聊天对话视频推文等。

CriticGPT

CriticGPT是一种基于GPT-4架构的人工智能模型,专注于审查和识别由大型语言模型生成的代码中的错误。它利用人类反馈强化学习(RLHF)技术,显著提高了代码审查的准确性和效率。CriticGPT具备代码审核、错误识别、安全漏洞分析、反馈生成、性能评估和辅助学习等功能。它通过记录人类评估员故意插入的错误,生成训练数据,并使用近端策略优化(PPO)算法和强制采样波束搜索(FSBS)技术,生成详细

蓝心大模型BlueLM

蓝心大模型(BlueLM)是vivo推出的自研通用大模型矩阵,包含十亿、百亿、千亿三个参数量级共5款,主要面向端侧和云端服务,用于复杂逻辑推理等应用场景。

KAZE

KAZE是一款依托人工智能技术的在线图片处理平台,主要功能涵盖图片去水印、风格转换、旧照修复及物体移除等。凭借其智能化算法,KAZE能够准确识别并清除水印,同时确保图片质量不受影响。用户可直接通过浏览器使用该服务,无需下载额外软件,适用于内容创作、艺术设计、教育科研等多个领域。

Willow 量子芯片

Willow量子芯片是一款由谷歌研发的新型量子处理器,集成了105个量子比特,并在量子纠错、计算性能和硬件稳定性方面取得显著进步。它能够在极短时间内完成复杂运算,远超现有超级计算机的能力,同时支持大规模扩展与实际应用,适用于医药、能源、人工智能等多个行业。

易健EasyHealth

易健EasyHealth是一款基于大语言模型技术开发的微信小程序,提供AI智能问答、情感智能算法、健康档案管理、健康数据分析及个性化健康咨询等多功能服务。用户可免费注册并自定义AI助手性格与回答风格,同时享受多语言支持和定制化健康建议,用于个人健康管理、健康咨询、疾病预防、健康教育及心理支持等多个应用场景。