TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
教育
全智能AI一键生成PPT
AiPPT是一款创新的AI辅助PPT制作工具，通过智能化的一键生成和模板更换功能，极大地提升了用户制作PPT的效率和质量。
Hika AI搜索引擎
一款免费的知识获取AI搜索引擎，HIKA为你探索世界提供全新的方式与思路，你提出问题，HIKA会实时搜索网络，深度思考并给出答案。
SongDonkey
SongDonkey是一款基于AI技术的音频处理工具，能够高效分离人声与乐器音轨，支持多种格式输出和预览功能。它适用于音乐制作、教学、分析及编辑等领域，为用户提供便捷的音频处理体验。
童语故事iMageStoryAi
一个基于数字分身和故事模型的AI儿童故事生成类Al产品，童语故事iMageStoryAi通过Al能力创造无限的潜能，让每个孩子健康快乐成长。
AI推理模型有哪些？13个支持深度思考的推理模型
本文介绍了13款支持深度思考的AI推理模型，涵盖数学、代码、自然语言推理等多个领域。这些模型通过强化学习和大数据分析，能够高效处理复杂问题，提供精准的决策支持。部分模型具备多模态处理能力、透明推理过程及开源特性，适用于不同应用场景，如教育、医疗和科研等。
