TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Fractal Generative Models
Fractal Generative Models 是一种基于分形架构的图像生成技术，通过递归调用“原子模块”实现逐像素生成高分辨率图像。该模型结合 Transformer 模块，采用分而治之策略，大幅提升计算效率。不仅适用于图像生成，还可扩展至分子结构、蛋白质等高维数据建模，具有广泛的应用潜力。
AgentStack
AgentStack 是一款开源工具，用于简化 AI 代理项目的构建过程。它提供预配置模板、集成多种流行框架和工具，并支持跨平台操作。主要功能包括快速项目初始化、交互式测试运行器、实时开发反馈和生产构建脚本。AgentStack 还具备模块化设计和依赖管理能力，适用于自动化客户服务、数据管理、内容创作、个人助理及教育等领域。
---
Videotoword.ai
Videotoword.ai 是一款以AI驱动的在线服务，支持将音频和视频文件转化为文本，具有高精度（99.9%）和多语言支持（98种以上）。它能处理长达10小时的文件，具备自动转录、文本编辑导出及AI摘要生成功能，广泛应用于教育、媒体、法律和企业等领域。
Splitter.ai
Splitter.ai是一款基于人工智能技术的音频处理平台，能够实现音乐中的人声与乐器分离、混响消除以及多音轨分离等功能。它支持云端操作、多平台兼容，并广泛应用于音乐制作、音频编辑、卡拉OK伴奏制作及音频取证等领域。凭借其强大的AI算法和灵活的操作方式，Splitter.ai成为音乐工作者和音频爱好者的理想工具。
