教育科技
Grok Studio
Grok Studio 是一款由 Grok 推出的 AI 协作工具，支持代码生成与执行、文档创作、Google Drive 集成等功能。它适用于软件开发、内容创作、数据分析、教育学习及游戏开发等多个场景，帮助用户提升工作效率与创造力。
TheoremExplainAgent
TheoremExplainAgent（TEA）是一款基于多模态技术的AI工具，可生成超过5分钟的数学与科学定理解释视频，涵盖多个STEM领域。它结合文本、动画和语音，提升抽象概念的理解效果，并具备自动错误诊断功能。通过TheoremExplainBench基准评估，TEA在准确性、逻辑性和视觉表现上均表现优异，适用于在线教育、课堂教学和学术研究等多种场景。
Minduck Discovery
Minduck Discovery是一款基于AI的思维导图信息探索工具，通过交互式导图结构化呈现复杂信息，帮助用户高效理解和探索知识。支持关键词搜索、深度内容组织、个性化推荐及多语言支持，适用于教育、职业发展、内容创作等多个场景，提升信息处理与学习效率。
AI Chinese
AI Chinese是一款利用AI技术打造的双语中文学习平台，提供个性化的在线教学服务。其核心功能包括AI模拟教学、双语教学支持、互动练习、语音识别与校正及提问解答等模块，能够满足个人自学、语言学校辅助教学、企业培训等多种应用场景需求。凭借自研中文知识图谱和精准语音反馈，该平台致力于帮助不同语言背景的学习者高效掌握中文。
Verifier Engineering
Verifier Engineering是一种创新的后训练方法，通过搜索、验证和反馈三个阶段优化基础模型性能。它采用目标条件马尔可夫决策过程（GC-MDP），结合线性与树搜索算法，对模型输出进行动态调整。其验证器分类涵盖多种形式和粒度，并支持基于训练和推理的反馈方式。这项技术已在自然语言处理、代码生成、教育和内容安全等领域展现广泛潜力，成为提升模型鲁棒性和智能化水平的重要工具。
