AI
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。
SOCIALDUDE
SOCIALDUDE是一款基于AI技术的社交媒体内容创作平台,具备AI驱动的内容生成、品牌一致性维护及多平台适配等功能。它能够快速生成多样化的内容形式,如推文、视频脚本等,并支持用户根据目标受众需求定制个性化内容。此外,该平台还适用于品牌营销、个人品牌建设、小型企业运营等多个场景,旨在提升内容创作效率与传播效果。
AgentStack
AgentStack 是一款开源工具,用于简化 AI 代理项目的构建过程。它提供预配置模板、集成多种流行框架和工具,并支持跨平台操作。主要功能包括快速项目初始化、交互式测试运行器、实时开发反馈和生产构建脚本。AgentStack 还具备模块化设计和依赖管理能力,适用于自动化客户服务、数据管理、内容创作、个人助理及教育等领域。
---
VideoCaptioner
VideoCaptioner是一款基于大语言模型的智能字幕处理工具,支持语音识别、字幕优化、翻译、样式调整及视频合成等功能。无需GPU即可运行,兼容多语言和多种字幕格式,适用于视频创作者、教育工作者及字幕翻译团队,提升字幕制作效率与质量。
