AI项目与工具

AEE

AEE

AEE（Auto Excel Editor）是一款基于人工智能的在线Excel编辑工具，能够自动执行数据增删改查等逻辑操作，支持智能录入、公式插入、样式优化及模板生成等功能，显著提升工作效率，适合数据分析师、财务人员及市场研究人员等用户群体。
AI项目与工具 2025年06月12日
Kimina

Kimina

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

HUGWBC

HUGWBC是由上海交通大学与上海AI Lab联合开发的人形机器人全身控制器，支持多种自然步态和精细参数调整，具备高鲁棒性和实时外部干预能力。基于强化学习和不对称训练框架，实现从模拟到现实的高效迁移，适用于复杂地形导航、动态任务执行及人机协作等多种场景。
AI项目与工具 2025年06月12日
URM

URM

URM是由阿里妈妈开发的通用推荐模型，结合大语言模型与电商领域知识，提升推荐效果。其采用多模态融合与Sequence-In-Set-Out生成方式，支持多场景、多目标、长尾及发现性推荐。具备高效率、零样本学习能力，适用于工业级推荐系统，已应用于阿里妈妈展示广告场景，优化用户体验与商家投放效果。
AI项目与工具 2025年06月11日
Codestral

Codestral

Codestral是由Mistral AI开发的一款代码生成AI模型，支持超过80种编程语言，具备强大的代码补全、生成、测试和文档生成等功能。该模型拥有220亿参数和32k的上下文窗口，性能优越，适用于软件开发中的多种场景，包括代码编写、测试、重构和文档生成等。支持MNPL许可，主要用于非商业用途的研究和测试。
AI项目与工具 2024年05月31日
DeepGEMM

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。
AI项目与工具 2025年06月12日
Perplexity macOS客户端

Perplexity macOS客户端

Perplexity macOS 是一款基于人工智能技术的搜索工具，集成了大语言模型，支持实时联网搜索、多源内容整合及信息来源标注。其主要功能包括语音与文本输入、线索跟踪、历史记录查看及文件分析等，适用于深度研究、信息查询、知识管理和文件分析等多种应用场景，旨在提高用户的搜索效率和工作生产力。
AI项目与工具 2025年06月12日
Quadratic

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。
AI项目与工具 2025年06月12日
CircleBack

CircleBack

CircleBack 是一款基于 AI 的会议记录工具，支持多语言转录与智能总结，能自动生成结构化笔记和行动项。其具备强大的口音识别能力，可与 Zoom、Google Meet、Microsoft Teams 等平台集成，适用于企业会议、远程协作、教育、客户服务及医疗等多个场景。此外，它还支持语义搜索和工作流自动化，提升会议管理效率。
AI项目与工具 2025年06月11日
15个AI视频翻译工具和软件，自动配音生成全球任意语言

15个AI视频翻译工具和软件，自动配音生成全球任意语言

本文介绍了15款基于人工智能技术的视频翻译工具，这些工具能够实现精准的语音识别、自然语言处理和机器学习，从而将视频内容从一种语言翻译成另一种语言，为全球观众提供无缝的语言转换体验。这些工具涵盖了多语言支持、精准翻译与文化适配、字幕与音频同步、自动对口型和重新配音、智能视频去文字、翻译视频文字、视频翻译精校版、支持多种语言、字幕调整和声音克隆等多个功能和特点，极大地提升了视频内容的本地化质量和传播效
AI项目与工具 2025年06月12日