TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Browseragent
Browseragent是一款基于浏览器的AI自动化工具，支持无代码可视化工作流构建，可在本地运行以保障数据安全。用户可轻松实现文本处理、网页抓取、文件操作等任务，适用于内容创作、电商运营、数据分析等多个场景。通过Chrome扩展便捷访问，降低AI技术使用门槛，提升工作效率。
Course Hero
Course Hero 是一款专为大学生设计的教育平台，提供包括练习题、学习指南、课堂笔记和视频在内的丰富学习资源。它利用AI技术辅助学习，提供文档共享、个性化推荐和在线辅导等功能。平台还支持移动应用，便于学生随时获取学习支持。
FlipSketch
FlipSketch 是一种创新的AI工具，能够将静态草图转化为基于文本描述的动画。它通过微调草图风格的帧生成、参考帧机制和双注意力合成技术，保持草图视觉特征的一致性，同时实现流畅的动态转换。FlipSketch 在保持手绘艺术性的同时提供直观的动画制作体验，适用于教育、影视、产品演示和数字艺术等领域。
Paper2Coder
Paper2Code是一款由韩国科学技术院与DeepAuto.ai联合开发的AI工具，基于多Agent大语言模型，能够将机器学习论文自动转换为可运行的代码仓库。其核心流程包括规划、分析和代码生成三个阶段，确保生成的代码结构清晰、逻辑严谨，并忠实于原始论文。该工具显著提升了研究复现效率，适用于学术研究、教学、工业应用等多个场景，是推动AI研究落地的重要工具。
