自动化

1. 首页
2. 自动化

k0

k0-math是一款基于强化学习和思维链推理技术的新一代数学推理模型，由月之暗面推出。它在多个数学基准测试中表现出色，特别是在中考、高考、考研及竞赛级数学题库中的成绩超越了OpenAI的o1-mini和o1-preview模型。k0-math具备深入思考、规划解题思路以及自我反思优化的能力，适用于教育辅导、在线教育平台、竞赛培训、学术研究及自动化测试与评分等多个场景。

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

Leap AI

Leap AI通过其自动化工具，帮助营销团队更高效地将视频内容转化为文本内容，提升内容营销的覆盖面和效果。

Ai绘画生成 1970年01月01日 0 点赞 0 评论 442 浏览

maket

Maket是一款基于生成式AI技术的建筑设计工具，主要功能包括自动化生成楼层平面图、设计风格探索、设计元素定制等。它通过虚拟助手为用户提供材料、成本和设计方案的专业建议，同时简化法规遵守流程，确保项目合规性。此外，Maket支持快速生成概念设计并提供即时合规反馈，有效提升设计效率与质量。

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

LeetTools

LeetTools是一款人工智能驱动的文档处理工具，支持知识库构建、文章生成和智能搜索等功能。用户可通过关键词快速生成分析报告、新闻聚合等内容，并自定义格式与结构。具备高度可定制性，支持多源数据整合与本地系统集成，适用于市场调研、内容创作及知识管理等场景。

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

S10.AI

S10.AI是一款基于人工智能的医疗辅助工具，主要功能包括实时生成精准的临床记录、EHR系统集成、自动化编码以及临床决策支持。它通过语音识别技术简化医生的工作流程，显著提升工作效率，同时保障数据安全与隐私合规。该工具适用于各类医疗机构、心理治疗机构及独立诊所，支持多语言转录并提供高度自定义选项。

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

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。

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

Claude 3.5 Haiku

Claude 3.5 Haiku 是 Anthropic 推出的高性能人工智能模型，具备强大的编码能力和低延迟特性，适合复杂推理与问题解决任务。它通过“Unstructured Generalization”算法优化非结构化数据处理，并引入“宪法 AI”确保行为符合道德规范。此外，该模型支持“计算机使用”功能，能够模拟人类与计算机交互，广泛应用于自动化桌面任务、虚拟助手构建、医疗决策支持、教育及客

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

FormulaBot

ExcelFormulaBot 是一个基于人工智能的机器人，主要功能是帮助用户理解和创建 Microsoft Excel 公式。该机器人的目标是使用户更轻松地处理电子表格，提高工作效率。

Ai办公效率 2025年06月05日 39 点赞 0 评论 435 浏览

AlphaEvolve

AlphaEvolve是谷歌DeepMind开发的通用科学代理，结合大型语言模型与进化算法，用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果，如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制，支持跨领域应用，具备高效计算和持续优化能力。

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

OmniParser

OmniParser是一款由微软研究院开发的屏幕解析工具，能够将UI截图转换为结构化数据，通过识别可交互图标和提取功能语义，提升基于大型语言模型的UI代理系统的性能。它支持跨平台应用，无需依赖额外信息，适用于自动化软件测试、虚拟助手、辅助技术等多个领域。

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