学习

1. 首页
2. 学习

马萨诸塞大学阿默斯特分校

马萨诸塞大学，又译麻省大学（University of Massachusetts，简称UMASS），是美国公立大学系统。马萨诸塞大学起源于1863年建立在美国麻省安姆斯特镇（Amherst）的马萨诸塞大学阿默...

教育学习 2026年11月10日 0 点赞 0 评论 787 浏览

BFS

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

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

Skywork o1

Skywork o1是一款具备中文逻辑推理能力的大规模预训练模型，其核心优势在于内嵌思考、规划和反思能力，显著提升了复杂任务的推理性能。该模型基于开源Llama架构，同时提供增强版以满足更高要求的应用场景。它适用于技术开发者、企业决策者、教育工作者、内容创作者及客户服务等多个领域，助力创新应用开发和高效决策支持。 ---

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

TruMate

TruMate是一款基于AI技术的社交应用，允许用户通过与定制化虚拟角色的文字互动获得情感陪伴和娱乐体验。平台提供丰富的角色筛选选项、沉浸式社交环境以及IP联动功能，支持用户创建个性化虚拟形象，适用于情感支持、社交练习、语言学习等多个场景。

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

Yuxi

Yuxi-Know是一款基于RAG和知识图谱技术的智能问答平台，支持多种文档格式上传与向量化存储，可高效检索并生成准确答案。集成Neo4j知识图谱，支持复杂关系查询，兼容多模型平台及本地部署。提供智能体拓展、网页检索和可视化配置功能，适用于企业知识管理、教育、客服、医疗及科研等领域，提升信息处理效率与准确性。

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

心响

心响是一款基于人工智能的任务处理应用，通过自然语言交互帮助用户拆解复杂任务并提供可视化结果。其核心功能包括任务调度、旅游攻略生成、智慧图表制作、定时任务管理和模拟对话练习。适用于学习、办公、金融及旅游等多个场景，提升用户的工作效率与决策能力。

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

Vidu 1.5

Vidu 1.5是一款基于多模态视频大模型的AI生成工具，支持参考生视频、图生视频和文生视频生成，通过精准的语义理解能力，在30秒内完成高质量视频创作，适用于影视、动漫、广告等多行业场景，助力创作者高效产出多样化内容。

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

SOM AI

SOM AI 是一款 AI 辅助学术写作工具，帮助学生完成毕业论文和学术研究。它提供研究主题头脑风暴、段落释义、简化复杂内容等功能，帮助学生避免抄袭并快速理解学术内容。SOM AI 还能提供情感支持，缓解写作压力，适用于毕业论文和日常学术作业，是高效的学习助手。

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

新CG儿

新CG儿-Newcger数字视觉分享平台，致力于为广大影视后期设计师打造相互交流、分享作品与经验的互动平台，海量视频模板一键免费下载。

视频素材 2025年06月05日 85 点赞 0 评论 783 浏览

Manga Image Translator

Manga Image Translator 是一个开源的漫画图片文字翻译工具，基于 OCR 和机器翻译技术，实现对漫画和图片中文字的自动识别与翻译。它支持多语言翻译，包括日文、中文、英文和韩文，并具备图像合成能力，保持原图风格。工具提供批量处理和在线/离线翻译功能，适用于漫画爱好者、语言学习者以及出版商等用户群体。

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