TheoremExplainAgent–AI教学双智能体，数理化定理自动转动画
AI工具百科：
TheoremExplainAgent是什么
TheoremExplainAgent（TEA）是滑铁卢大学、Votee AI等机构开源的多模态代理系统，基于生成长篇动画视频帮助人们更好地理解数学和科学定理。Th...
NextGenAI–OpenAI推出的教育联盟，联合15家顶尖大学和机构
AI工具百科：
NextGenAI是什么
NextGenAI是OpenAI推出的全球性联盟，基于AI技术推动教育和研究的进步。NextGenAI联合包括哈佛大学、麻省理工学院、牛津大学等在内的15所顶尖大学和机构...
DeepSeekProverV2–DeepSeek推出的开源数学推理大模型
AI工具百科：
DeepSeekProverV2是什么
DeepSeekProverV2是深度求索团队 DeepSeek 开源的专注于数学推理的超大规模语言模型。包含两个版本：DeepSeekProverV2671B 和 DeepSeekProverV27...
灵格AI英语–AI英语学习应用，AI导师提供全方位语言学习服务
AI工具百科：
灵格AI英语是什么
灵格AI英语是AI英语学习应用。灵格AI英语结合用户喜爱的视频内容，基于智能AI导师提供全方位语言学习服务，包括基础知识教学、语言点解析、跟读纠音、...
