资源

1. 首页
2. 资源

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

AI项目与工具 2025年06月12日 38 点赞 0 评论 790 浏览

哈佛大学

哈佛大学（Harvard University），简称“哈佛”，位于美国马萨诸塞州波士顿都市区剑桥市，一所顶尖私立研究型大学，常春藤盟校、全球大学高研院联盟成员。 哈佛大学建立于1636年，最...

教育学习 2026年08月08日 0 点赞 0 评论 790 浏览

Templateswise

Templateswise,国外免费PPT模板下载，以逻辑图示为主，质量还不错，有很多扁平化插图，另外还提供部分音效下载。

PPT资源 2025年06月05日 65 点赞 0 评论 787 浏览

Proxy Lite

Proxy Lite是一款开源的轻量级视觉语言模型，具有30亿参数，支持自动化网页操作。它通过“观察-思考-工具调用”机制，实现网页交互、数据抓取、表单填写等功能，适用于自动化测试、数据提取和智能任务辅助等场景。该工具资源占用低，可在消费级GPU上高效运行，适合开发者快速部署和使用。

AI项目与工具 2025年06月12日 53 点赞 0 评论 785 浏览

SmartPrep AI

新一代课程规划简化，释放无限创造力，减少重复性任务，SmartPrep AI让您有更多时间专注于教学！

教育学习 2025年06月05日 11 点赞 0 评论 785 浏览

RRSlide

RRSlide国外PPT模版商城网站，模版设计水平比较高，而且部分免费，大多数都是付费模板。

PPT资源 2025年06月05日 93 点赞 0 评论 784 浏览

大众脸

影视后期特效插件视频素材，很多免费!

视频素材 2025年06月05日 89 点赞 0 评论 781 浏览

东南大学人工智能学院

人工智能学院在人工智能领域的科研和人才培养方面有较好的基础，拥有一支年轻的高水平研究队伍，主要研究方向包括机器学习、知识表示与推理、计算机视觉、自然语言处理、多智能体...

教育学习 2026年08月08日 0 点赞 0 评论 781 浏览

中国纪录片网

一个国家级纪录片新媒体综合性产业运营平台，中国纪录片网集纪录片创作生产、推介展示、传播推广、融资交易等多种功能于一体。

影视资源 2025年06月05日 90 点赞 0 评论 779 浏览

Moonshine

Moonshine是一款专为资源受限设备设计的高效语音识别模型，支持实时语音转文本，具有低延迟、高准确率的特点。它基于编码器-解码器架构和旋转位置嵌入技术，适应不同长度的音频输入，计算需求随音频长度变化而调整，适合边缘设备部署。主要应用于会议转录、语音助手、听力辅助及多语言翻译等领域。

AI项目与工具 2025年06月12日 76 点赞 0 评论 776 浏览