TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
教育
SlideSpeak
SlideSpeak是一款基于AI技术的多功能工具，支持用户上传多种文档格式并生成演示文稿或摘要。其主要功能包括AI生成的演示文稿、文档总结、交互式聊天机器人、视觉内容分析及语音旁白生成。此外，SlideSpeak强调数据安全性，适用于学术研究、商业演示、教育培训等多个领域。
Decode Investing
Decode Investing是一款基于人工智能技术的股票市场研究与分析平台，主要功能包括AI股票分析、SEC文件搜索、收益电话记录查看、股票筛选器、投资排行榜、行业能力圈分析、智能聊天助手及股市分析工具等。它为投资者提供详尽的数据支持和专业建议，帮助用户高效地进行投资决策和股票研究。
