OlympicArena

OlympicArena是由多所高校与研究机构联合开发的多学科认知推理基准测试框架，包含11,163道国际奥赛双语题目，覆盖数学、物理、化学、生物、地理、天文学和计算机科学等7大领域。该平台通过答案级与过程级评估，全面衡量AI模型的逻辑与视觉推理能力，支持多模态输入并具备数据泄漏检测机制，适用于AI模型评估、训练优化、教育辅助及科研应用。

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

Imagen 4

Imagen 4是谷歌推出的最新图像生成AI模型，支持高达2K分辨率的图像生成，具备出色的细节呈现能力，可清晰展示复杂织物纹理、水滴折射及动物毛发质感。其文本渲染能力显著提升，适合广告、漫画等设计场景。支持多种艺术风格，包括超现实、抽象、插图和摄影，满足多样化创作需求。同时，Imagen 4拥有快速生成模式和高效的特征蒸馏技术，提升了生成速度，并已集成到Gemini应用、Google Worksp

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

Ola

Ola是一款由多机构联合开发的全模态语言模型，支持文本、图像、视频和音频等多种输入形式。通过渐进式模态对齐策略，逐步扩展模型的多模态理解能力，同时采用流式解码技术提升交互体验。其架构融合多种编码器与解码器，结合局部-全局注意力机制，实现高效多模态处理，在多项任务中表现优异。

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

Thetawise

Thetawise 是一款面向学生的 AI 数学辅导工具，支持多种输入方式，可生成详细解题步骤，帮助学生理解数学问题。它提供个性化学习计划、高级求解器、实时聊天支持及学习进度分析等功能，适用于课后辅导、考试准备、自学及远程教育等场景，有效提升数学学习效率。

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

灵格AI英语

灵格AI英语是一款基于AI技术的英语学习工具，提供视频学习、AI导师互动、发音纠正、场景对话练习等功能，帮助用户提升听说能力。平台支持个性化学习路径，涵盖日常口语、知识学习、考试备考等多场景应用，适合不同需求的学习者使用。

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

TongGeometry

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

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

Proxy Lite

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

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

AutoResponder

AutoResponder 是一款支持多平台的聊天自动回复 AI 工具，利用机器学习和自然语言处理技术提供个性化回复。用户可以自定义回复模板并集成第三方服务，提高客户服务效率和客户互动质量。该工具提供免费和付费版本，适用于各类企业。

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

Motia

Motia 是一个面向软件工程师的 AI Agent 框架，支持多种编程语言并提供零基础设施部署能力。其模块化设计、多语言混合使用、内置可观测性和交互式开发环境，使得智能体的开发、测试和优化更加高效。适用于自动化工作流、复杂决策系统、数据处理及智能自动化等场景。

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

Flot.ai

Flot.ai是一款结合智能写作辅助与知识管理的AI工具，支持用户实时校对语法、调整语气、生成文章摘要及提取关键词，同时具备记忆增强功能，通过智能闪卡和复习计划帮助用户巩固知识，适用于学习、工作和创意写作等场景。

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