易健EasyHealth 易健EasyHealth是一款基于大语言模型技术开发的微信小程序,提供AI智能问答、情感智能算法、健康档案管理、健康数据分析及个性化健康咨询等多功能服务。用户可免费注册并自定义AI助手性格与回答风格,同时享受多语言支持和定制化健康建议,用于个人健康管理、健康咨询、疾病预防、健康教育及心理支持等多个应用场景。 AI项目与工具 2025年06月12日 83 点赞 0 评论 290 浏览
Crack Coder Crack Coder 是一款开源的 AI 编程辅助工具,专为技术面试设计。它能够在后台运行,不被检测到,并提供实时代码建议,支持多种编程语言。该工具具备精准的上下文分析能力,适用于面试准备、编程学习及算法练习等场景,同时支持本地部署以保障隐私和性能。 AI项目与工具 2025年06月12日 22 点赞 0 评论 291 浏览
CriticGPT CriticGPT是一种基于GPT-4架构的人工智能模型,专注于审查和识别由大型语言模型生成的代码中的错误。它利用人类反馈强化学习(RLHF)技术,显著提高了代码审查的准确性和效率。CriticGPT具备代码审核、错误识别、安全漏洞分析、反馈生成、性能评估和辅助学习等功能。它通过记录人类评估员故意插入的错误,生成训练数据,并使用近端策略优化(PPO)算法和强制采样波束搜索(FSBS)技术,生成详细 AI项目与工具 2025年06月12日 76 点赞 0 评论 298 浏览
蓝心大模型BlueLM 蓝心大模型(BlueLM)是vivo推出的自研通用大模型矩阵,包含十亿、百亿、千亿三个参数量级共5款,主要面向端侧和云端服务,用于复杂逻辑推理等应用场景。 Ai平台模型 1970年01月01日 0 点赞 0 评论 307 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 313 浏览
小信选股 信证券旗下的选股平台,提供股票推荐和分析服务。利用大数据分析和AI算法帮助投资者选择优质股票,帮助投资者做出明智的投资决策。 财经投资 2025年06月05日 24 点赞 0 评论 314 浏览
AlphaEvolve AlphaEvolve是谷歌DeepMind开发的通用科学代理,结合大型语言模型与进化算法,用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果,如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制,支持跨领域应用,具备高效计算和持续优化能力。 AI项目与工具 2025年06月11日 98 点赞 0 评论 314 浏览
Stipop 一种 AI 驱动的贴纸生成工具,Stipop根据用户的输入提示生成贴纸设计,从而产生可用于各种在线和离线应用程序的独特设计。 Ai图片处理 2025年06月05日 56 点赞 0 评论 325 浏览