easegen-front easegen-front 是一个开源的数字人课程制作平台,旨在通过结合最新的前端技术和人工智能,为教育工作者提供一个便捷、高效的课程内容制作和发布工具。该平台前端基于 Vue3 + Element Plus 构建,后端则基于 Spring Boot,支持智能课件制作和文档解析,是 AGI 时代超级个体践行者为 AI 发展做出的贡献。产品的主要优点包括开源、易用性强、技术栈先进,且适合全栈工程师和教育工作者使用。
Quizzio Quizzio是一个教育技术平台,它使用人工智能将用户的学习资料转化为个性化的测验,帮助用户发现知识盲点并测试对学习内容的理解。这个平台通过AI分析用户上传的学习材料,生成定制的测验,提供即时的反馈和改进建议,从而提高学习效率和学术表现。Quizzio的主要优点包括个性化学习体验、AI反馈、进度跟踪和移动友好设计。它适合所有希望提高学习效率和成绩的学生,尤其是那些寻求个性化学习路径和即时反馈的学习者。
Voice Coach Voice Coach 是一款基于AI技术的在线对话练习工具,旨在帮助用户通过模拟真实场景的对话练习,提升沟通能力、表达技巧和自信心。其技术核心在于利用自然语言处理和机器学习算法,为用户提供实时反馈和评分,帮助用户发现并改进表达中的不足。该产品适合需要在职场、学术或社交场合中提升沟通能力的用户,通过反复练习,用户可以更好地应对各种复杂对话场景。目前,Voice Coach 以订阅模式提供服务,用户可以根据自身需求选择不同的套餐,价格从每月几十美元到几百美元不等,具体定价因套餐内容而异。
BookWatch BookWatch 是一个专注于为视觉学习者提供动画形式的书籍总结的平台。它通过生动的动画和简洁的总结,帮助用户快速理解书籍的核心思想,节省阅读时间。该平台涵盖多种书籍类别,包括商业、心理学、文学等,适合不同领域的学习者。其技术优势在于将复杂的书籍内容转化为易于理解的视觉形式,提升学习效率。BookWatch 定位为教育工具,旨在通过创新的学习方式,帮助用户更好地吸收知识。
Gemini 英语口语助手 Gemini 英语口语助手是一个基于Google Gemini AI的英语口语练习助手,能够实时识别用户的英语发音,并提供即时反馈和纠正建议。它具备实时语音识别、AI驱动的发音评估、语法纠正、情景对话练习等功能,旨在帮助用户提高英语口语能力。该产品由个人开发者Box开发,以其免费、实用的特性,特别适合英语学习者和教师使用。
Aria Gen 2 Aria Gen 2 是 Meta 推出的第二代研究级智能眼镜,专为机器感知、情境 AI 和机器人研究而设计。它集成了先进的传感器和低功耗的机器感知技术,能够实时处理 SLAM、眼动追踪、手势识别等功能。该产品旨在推动人工智能和机器感知技术的发展,为研究人员提供强大的工具来探索如何让 AI 更好地理解人类视角的世界。Aria Gen 2 不仅在技术上取得了突破,还通过与学术界和商业研究实验室的合作,促进了开放研究和公众对这些关键技术的理解。
My Math Solver AI AI数学求解器是一款利用人工智能解决各种数学问题的先进工具。它由Math GPT模型(如GPT-4o)驱动,提供全面的数学问题解决方案。该产品通过在线平台提供服务,用户可以上传文本或图片形式的数学问题,快速获得准确的分步解决方案。它特别适合需要帮助解决复杂数学问题的学生,帮助他们提高解题能力和理解力。
Light-R1-14B-DS Light-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行强化学习训练,在 AIME24 和 AIME25 数学竞赛基准测试中分别达到了 74.0 和 60.2 的高分,超越了许多 32B 参数量的模型。它在轻量级预算下成功实现了对已经长链推理微调模型的强化学习尝试,为开源社区提供了一个强大的数学模型工具。该模型的开源有助于推动自然语言处理在教育领域的应用,特别是数学问题解决方面,为研究人员和开发者提供了宝贵的研究基础和实践工具。