AI项目与工具

Xianyu AutoAgent

Xianyu AutoAgent 是一款专为闲鱼平台设计的智能客服系统，支持7×24小时自动化值守，具备上下文感知、多专家协作、智能议价等功能。系统通过轻量级对话记忆管理实现自然对话，并结合阶梯降价和网络搜索整合，提升交易效率。适用于闲鱼卖家，优化客户服务与运营流程。

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

Goedel

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

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

KAG

KAG是由蚂蚁集团开发的专业领域知识服务框架，通过知识增强技术提升大型语言模型在特定领域的问答性能。它结合知识图谱与向量检索，优化知识表示与推理过程，支持逻辑推理、多跳问答等功能，提升准确性和效率。适用于金融风控、医疗健康、智能客服、知识管理等多个场景，具备强大的语义理解和跨领域应用能力。

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

MyMap.AI

MyMap.AI是一款基于AI技术的智能图表制作平台，支持用户通过自然语言交互快速生成思维导图、流程图、矩阵图和演示文稿。其核心功能包括AI驱动的图表生成、多格式文件支持、实时网络搜索、信息提取以及多人实时协作。适用于教育、商业、创意和个人生产力等多个场景，帮助用户高效完成图表制作并提升工作效率。

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

RDT

RDT是清华大学AI研究院推出的一款双臂机器人操作任务扩散基础模型，拥有十亿参数量，可自主完成复杂任务，如调酒和遛狗。该模型基于模仿学习，具备强大的泛化能力和操作精度，支持多种模态输入和少样本学习。RDT已在餐饮、家庭、医疗、工业及救援等领域展现广泛应用前景，推动机器人技术发展。

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

AgentSociety

AgentSociety是由清华大学开发的基于大语言模型的社会模拟平台，通过构建具有“类人心智”的智能体，模拟复杂的社会行为与现象。平台支持城市环境建模、大规模社会模拟和科研工具集成，适用于社会舆论传播、政策评估、社会极化分析及灾害响应研究。其技术特点包括异步模拟架构、分布式计算和MQTT通信，具备高度可扩展性和实时交互能力。

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

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统，旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建，具备生成假设、优化方案、文献整合等功能，通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展，展现加速科学发现的潜力。

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

红薯通AI

红薯通AI是一款专为小红书用户设计的人工智能写作助手，提供高效的内容创作支持。它具备基于人工智能技术的创作辅助、改写助手、个性化创作建议、智能素材推荐和跨平台兼容性等功能，旨在提升用户的内容创作质量和效率。红薯通AI适用于自媒体运营、商家引流、产品销售、代运营服务、内容创作者、品牌营销、旅游和美食分享及生活分享等多种应用场景。

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