搜索

1. 首页
2. 搜索

TongGeometry

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

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

Coral AI

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

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

Namewizard.Ai

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

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

SeekAll

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

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

豆包浏览器插件AI助手

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

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

Grimo

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

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

鼎斯韦AI工具箱

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

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

微客外链

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

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

Mixkit

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

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

Agent Q

Agent Q是一种自监督代理推理和搜索框架，结合了引导式蒙特卡洛树搜索（MCTS）、AI自我批评及直接偏好优化（DPO）等技术。该框架通过迭代微调和基于人类反馈的强化学习进行自我改进，在网页导航和多步任务执行中表现优异。Agent Q的主要功能包括引导式搜索、自我批评、迭代微调、多步推理任务和零样本学习。它在电子商务、在线预订服务、软件开发、客户服务、数据分析和个性化推荐等领域具有广泛应用前景。

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