研究
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
Kimi Latest
Kimi Latest是月之暗面推出的实时更新AI模型，支持128k上下文长度，可自动选择模型规模并优化成本。具备图像理解、自动上下文缓存和多模态处理能力，适用于聊天应用、内容创作及数据分析等多种场景，为开发者和用户提供稳定高效的AI解决方案。
Shallow Research
Shallow Research 是一种基于“小模型+大模型”架构的快速信息处理工具，能够在短时间内完成大量网页内容的搜索、整理和初步分析，适合需要高效获取信息和生成初步结论的场景，提升研究与决策效率。
Perplexity Deep Research
Perplexity Deep Research 是一款基于 AI 的深度研究工具，能执行多轮搜索并整合海量信息，生成结构化研究报告，支持多种格式导出。具备强大的推理能力与高效处理速度，适用于金融、市场、技术等多个领域，也可用于个人场景。在准确性方面优于多个主流模型，提供免费与付费两种使用模式。
OpenThinker
OpenThinker-32B 是一款由多所高校联合开发的开源推理模型，拥有 328 亿参数和 16,000 token 上下文支持，以高效的数据利用和严格的质量控制著称。模型基于少量数据实现优异性能，适用于数学、科学、代码生成等多种推理任务。全面开源，提供模型权重、代码和数据集，支持研究与开发扩展。
