学习

1. 首页
2. 学习

Kimina

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

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

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

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

SCENEXTRAS

SCENEXTRAS是一款基于人工智能技术的Chrome扩展程序，允许用户与电影和电视剧中的角色进行实时互动，包括文字和语音交流。它支持多语言环境，并能根据用户喜好推荐相关影视作品。此外，SCENEXTRAS还具备教育辅助功能，可帮助用户在娱乐过程中学习新语言或深化对故事情节的理解。

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

Filmfotos

Filmfotos是一款基于Flux架构的LoRA模型，专注于模拟和还原胶片质感。其低饱和度的日系胶片风格适用于多种场景，包括人物、风景、静物、食物和动物等，能够提升照片的艺术感和复古氛围。Filmfotos利用LoRA技术、深度学习和图像处理算法，实现高精度的图像生成，适用于摄影爱好者、专业人士及创意工作者。

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

SumBuddy

一款浏览器AI阅读助手，能快速总结网页内容并基于此进行对话。你还可以使用自己的AI模型，打造真正属于你的浏览器AI助手。

Ai办公效率 2025年06月05日 81 点赞 0 评论 485 浏览

GigaTok

GigaTok 是一款基于语义正则化的高参数视觉分词器，支持自回归图像生成，具备优异的图像重建与生成能力。通过一维架构和非对称扩展策略，实现高效计算与稳定训练。适用于图像生成、编辑、数据增强及多模态应用，具有广泛的技术拓展性。

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

Multi

Multi-Speaker 是 AudioShake 推出的高分辨率多说话人分离工具，支持将音频中不同说话人的语音精准分离至独立轨道，适用于广播级音频处理。它具备高保真音频处理能力，支持高采样率，能处理长达数小时的录音，在复杂场景下仍能保持稳定效果。广泛应用于影视、播客、无障碍服务及内容创作等领域，提升音频编辑效率与质量。

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

VoiceCanvas

VoiceCanvas 是一款开源的多语言语音合成平台，基于 AI 技术提供高质量文字转语音服务，支持超过 50 种语言。用户可通过上传简短音频实现个性化声音克隆，并集成多种语音服务以保障输出质量。平台适用于内容创作、教育、企业及个人等多种场景，提升语音内容制作效率。

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

Dawn AI

Dawn AI是一款基于AI技术的图像生成工具，支持文本转图像、多种绘画风格选择以及头像生成等功能。用户可通过输入文字或上传图片，快速生成艺术作品。界面简洁易用，适合各类用户，适用于社交媒体、创意内容制作及角色定制等多种场景，提升创作效率与个性化表达。

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

Answer.AI

Answer.AI是一款结合先进AI技术的学习辅导工具，主要功能包括拍照解题、概念解析、记忆卡片及模拟测试，覆盖多学科领域。它通过个性化交互与智能辅助提升学习效率，适用于家庭作业辅导、考前复习、课堂补充及个性化学习计划制定。 ---

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