TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
AI
Browseragent
Browseragent是一款基于浏览器的AI自动化工具，支持无代码可视化工作流构建，可在本地运行以保障数据安全。用户可轻松实现文本处理、网页抓取、文件操作等任务，适用于内容创作、电商运营、数据分析等多个场景。通过Chrome扩展便捷访问，降低AI技术使用门槛，提升工作效率。
Course Hero
Course Hero 是一款专为大学生设计的教育平台，提供包括练习题、学习指南、课堂笔记和视频在内的丰富学习资源。它利用AI技术辅助学习，提供文档共享、个性化推荐和在线辅导等功能。平台还支持移动应用，便于学生随时获取学习支持。
SongDonkey
SongDonkey是一款基于AI技术的音频处理工具，能够高效分离人声与乐器音轨，支持多种格式输出和预览功能。它适用于音乐制作、教学、分析及编辑等领域，为用户提供便捷的音频处理体验。
Ideogram 2a
Ideogram 2a 是 AI 图像生成平台 Ideogram 推出的文生图模型，基于 Ideogram 2.0 优化升级，具备高效生成、成本降低、高质量文本渲染等特点。支持多种艺术风格和中文提示，适用于平面设计、数字营销、摄影及艺术创作等多个领域，是提升图像创作效率和质量的实用工具。
