稿定设计 国内知名在线设计平台，即使您不擅长使用PS，也能轻松搞定设计工作。它提供海量模板，让您可以快速制作海报、简历、PPT、公众号配图、电商等设计作品。 Ai图片处理 2025年06月05日 28 点赞 0 评论 488 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 489 浏览
GTA GTA是一项由上海交通大学与上海AI实验室合作研发的基准测试，专注于评估大型语言模型在真实世界环境中的工具调用能力。它包含229个精心设计的问题，涉及多个领域，并通过多模态输入输出和细粒度评估指标，全面衡量模型的工具使用效率与准确性。GTA可应用于智能助理开发、多模态交互、自动化客户服务、教育及科研等多个领域，助力提升人工智能系统的综合性能。 AI项目与工具 2025年06月12日 20 点赞 0 评论 491 浏览
TeleAI TeleAI-t1-preview是中国电信人工智能研究院开发的复杂推理大模型，具有强大的数学与逻辑推理能力。它在多项国际评测中表现优异，尤其在数学竞赛和古籍解析方面表现突出。模型融合了强化学习与思考范式，支持从文言文到现代汉语的数学题解析，并具备策略推理与单位换算等功能。该模型即将上线天翼AI开放平台，未来将在教育、科研等领域广泛应用。 AI项目与工具 2025年06月12日 88 点赞 0 评论 492 浏览
MUSE AI Muse AI提供的换脸工具是一种先进的AI技术，能够在图像中无缝替换脸部。这项技术为用户提供了在线免费换脸解决方案，适用于多种创意项目。 Ai视频生成 1970年01月01日 0 点赞 0 评论 492 浏览
Story.com Story.com 是一款专注于 AI 驱动的故事创作平台，支持用户通过智能生成技术快速创作包含角色、对话和视觉效果的故事内容。平台具备动画加速、社交媒体内容生成、视频初剪等多功能特性，广泛应用于动画制作、社交媒体营销、教育及个人故事分享等领域，帮助创作者提升效率并优化作品质量。 --- AI项目与工具 2025年06月12日 65 点赞 0 评论 493 浏览
浦语灵笔 浦语灵笔IXC-2.5是一款由上海人工智能实验室开发的多模态大模型，具备7B规模的大型语言模型后端，能够处理长上下文、超高分辨率图像和细粒度视频理解，支持多轮多图像对话。该模型可以自动生成网页代码和高质量图文内容，在多模态基准测试中表现出色，性能可与OpenAI的GPT-4V相媲美。 AI项目与工具 2025年06月12日 62 点赞 0 评论 493 浏览
CareerDekho CareerDekho是一个免费的职业发现AI工具。学生和专业人士可以在不到一分钟的时间内获得由人工智能驱动的职业建议。 教育学习 1970年01月01日 0 点赞 0 评论 493 浏览
