AI项目与工具

TeleAI

TeleAI

TeleAI-t1-preview是中国电信人工智能研究院开发的复杂推理大模型，具有强大的数学与逻辑推理能力。它在多项国际评测中表现优异，尤其在数学竞赛和古籍解析方面表现突出。模型融合了强化学习与思考范式，支持从文言文到现代汉语的数学题解析，并具备策略推理与单位换算等功能。该模型即将上线天翼AI开放平台，未来将在教育、科研等领域广泛应用。
AI项目与工具 2025年06月12日
MUSIC.AI

MUSIC.AI

MUSIC.AI 是一款基于人工智能的音频处理平台，提供音频分离、混音、母带处理、语音转换、歌词转录等功能，支持多语言翻译与本地化。平台已处理超 10 亿分钟音频，服务数千万用户，适用于音乐制作、视频剪辑及现场演出等多种场景，显著提升音频处理效率与质量。
AI项目与工具 2025年06月12日
MCP Servers

MCP Servers

MCP Servers是字节跳动推出的大模型生态平台，为开发者提供高效、灵活的大模型开发与部署环境。通过MCP协议集成搜索、数据库、API等工具，支持模块化开发和全链路闭环。平台整合MCP Market、火山方舟和Trae，实现从工具调用到应用部署的全流程。支持Local和Remote部署模式，涵盖自动化代码生成、智能数据库运维、跨仓库调试等应用场景，助力开发者提升效率。
AI项目与工具 2025年06月11日
Kimina

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。
AI项目与工具 2025年06月11日
Pollo AI

Pollo AI

Pollo AI是一款由HIX.AI推出的AI视频创作平台，支持文本、图像及视频风格转换等多种功能，能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性，适用于短视频制作、品牌推广、教学视频等领域，为用户提供高效的AI视频生成体验。
AI项目与工具 2025年06月11日
奇布塔

奇布塔

奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。
AI项目与工具 2025年06月12日
33字幕

33字幕

33字幕是一款集语音识别与文本翻译于一体的AI字幕生成工具，支持多种语言的语音转文字及翻译，可实现实时字幕生成与同步翻译。用户可通过本地AI模型免费运行，显著降低使用成本。该工具具备边识别边生成字幕、台词搜索等功能，广泛应用于视频创作、教育培训、企业会议等领域。
AI项目与工具 2025年06月12日
Skywork

Skywork

Skywork-Reward 是昆仑万维推出的一系列高性能奖励模型，包括 Skywork-Reward-Gemma-2-27B 和 Skywork-Reward-Llama-3.1-8B，主要用于优化大语言模型的训练过程。这些模型通过提供奖励信号，帮助模型理解和生成符合人类偏好的内容。Skywork-Reward 在对话、安全性和推理任务中表现出色，并且在 RewardBench 评估基准上名列前
AI项目与工具 2025年06月12日
SAM 2.1

SAM 2.1

SAM 2.1是一款由Meta开发的先进视觉分割模型，支持图像和视频的实时分割处理。其核心功能包括用户交互式分割、多对象跟踪、数据增强以及遮挡处理等。通过引入Transformer架构和流式记忆机制，SAM 2.1显著提升了对复杂场景的理解能力。该工具具有广泛的应用场景，涵盖内容创作、医疗影像分析、自动驾驶等多个领域。
AI项目与工具 2025年06月12日
cookAIfood

cookAIfood

CookAIfood是一个利用AI技术打造的烹饪平台，允许用户通过输入食材、上传图片或描述菜肴生成个性化的食谱。它提供包括菜单规划、购物清单生成在内的实用工具，同时具备社区分享功能，方便用户交流烹饪经验。CookAIfood还能生成高清食品图片，并根据用户需求提供定制化的饮食建议和烹饪灵感。
AI项目与工具 2025年06月12日