搜索

1. 首页
2. 搜索

TongGeometry

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

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

Coral AI

Coral AI 是一款基于 AI 的文档分析平台，专注于智能搜索、摘要生成、翻译及问答功能。它支持超过 90 种语言，适用于学术研究、法律分析和商业报告等场景，特别适合处理大量文档。主要功能包括智能搜索、自动摘要生成、实时翻译、引用生成、跨文档搜索、文档标记与管理等，并支持多种文件类型和图像分析。

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

Namewizard.Ai

Namewizard.ai 是一款人工智能驱动的域名生成器工具，可帮助您为您的在线形象找到唯一、相关且令人难忘的名称

创业营销 2025年06月05日 80 点赞 0 评论 616 浏览

SeekAll

SeekAll是一个创新的浏览器插件，通过整合多个AI搜索站点，为用户提供了一个高效、准确且用户友好的搜索体验。

创作工具 1970年01月01日 0 点赞 0 评论 615 浏览

豆包浏览器插件AI助手

你的AI朋友，更是你的网页浏览小帮手。豆包AI助手能回答你的问题，总结网站，快速划词翻译，智能搜索，只要你能想到！

GPTs应用 2025年06月05日 64 点赞 0 评论 611 浏览

Grimo

Grimo 是一款集成多种 AI 技术的写作辅助工具，支持语音输入、提示管理、实时网络搜索和团队协作等功能，适用于作家、内容创作者及专业人员。其提供多个版本以满足不同需求，具备高度定制化和智能化特性，有效提升写作效率和内容质量。

AI项目与工具 2025年06月11日 10 点赞 0 评论 608 浏览

Mixkit

高质量视频和动画的无水印视频画廊,Mixkit 是一个国外免费素材网站，提供大量的高画质影片，无论商业或非商业用途皆可自由使用。

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

微客外链

一种通过外部链接提升网站的曝光度和搜索引擎排名的在线营销工具。微客外链支持一键跳转到微信、公众号和小程序，帮助企业实现高效引流和获客。

裂变增长 2025年06月05日 86 点赞 0 评论 605 浏览

鼎斯韦AI工具箱

基于大模型的智能助手、音频分析、todo list任务管理等产品和服务

创作工具 1970年01月01日 0 点赞 0 评论 604 浏览

Coco AI

INFINI Labs 开发的一款开源、跨平台的统一AI搜索工具。它能够连接并搜索多种数据源，包括本地应用程序、文件以及云端平台如 Google Drive、Notion、语雀和 Hugo 等。

AI搜索问答 2025年06月05日 25 点赞 0 评论 602 浏览