TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Course Hero
Course Hero 是一款专为大学生设计的教育平台，提供包括练习题、学习指南、课堂笔记和视频在内的丰富学习资源。它利用AI技术辅助学习，提供文档共享、个性化推荐和在线辅导等功能。平台还支持移动应用，便于学生随时获取学习支持。
FlipSketch
FlipSketch 是一种创新的AI工具，能够将静态草图转化为基于文本描述的动画。它通过微调草图风格的帧生成、参考帧机制和双注意力合成技术，保持草图视觉特征的一致性，同时实现流畅的动态转换。FlipSketch 在保持手绘艺术性的同时提供直观的动画制作体验，适用于教育、影视、产品演示和数字艺术等领域。
Midlibrary
Midlibrary是为Midjourney用户提供提示词资源的平台，收录了5505种艺术风格、技法和关键词，涵盖风格、特征和类别三大模块，并提供绘画指南。用户可通过标签和搜索功能快速获取创作灵感，提升AI图像生成效率，适用于建筑、时尚、插画、游戏设计等多个领域。
Bytespider
Bytespider 是一款由字节跳动推出的网络爬虫工具，凭借极高的数据抓取速度和多线程处理技术，支持互联网数据的高效采集与分析。该工具不仅用于优化字节跳动的AI语言模型，还广泛应用于搜索引擎构建、市场情报分析、客户洞察、内容监控和学术研究等多个场景。
Runway Gen
Runway Gen-4 是一款由 Runway 公司推出的高保真 AI 视频生成模型，能够跨场景保持人物、物体和环境的一致性，无需额外训练。用户仅需提供一张参考图和文字指令，即可生成具有真实物理效果和高质量视觉风格的视频内容。支持多种应用场景，如影视制作、动画创作、音乐视频、游戏开发和广告营销，有效提升创作效率并降低成本。
