AI

1. 首页
2. AI

Kimina

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

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

冒泡鸭

借助自研的多模态大模型技术，冒泡鸭成为对话AI的新代表。这个先进的系统植入了众多由大模型技术支持的智能对话单元，这些“智能体”旨在提供用户所需的信息和灵感，不仅解答疑问，...

创作工具 1970年01月01日 0 点赞 0 评论 569 浏览

Magician.Design

Magician.Design是一款由 AI 提供支持的Figma设计工具插件。您可以将其安装在 Figma 上，并在 AI 的帮助下用于增强您的设计工作流程。

Ai图片处理 2025年06月05日 90 点赞 0 评论 569 浏览

Kodezi

Kodezi 是一款面向开发者的 AI 工具平台，基于命令行界面（CLI）提供代码自动调试、优化、语言转换、文档生成及自然语言驱动的代码生成等功能。它支持 30 种编程语言，可生成 OpenAPI 规范并托管 Swagger UI 站点，旨在提升代码质量和开发效率，同时优化团队协作与 API 开发体验。

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

Supademo

Supademo是一款基于AI技术的交互式产品演示平台，支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容，并通过多渠道分享。平台提供丰富的分析功能，适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。

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

腾讯会议·AI小助手

腾讯会议推出覆盖会议全流程的AI小助手，通过简单自然的指令，完成信息提取、内容分析、会管会控等多种复杂任务，提升开会和信息流转效率。

创作工具 1970年01月01日 0 点赞 0 评论 570 浏览

Shakker AI

一个专注于AI图像生成和编辑的在线平台，Shakker AI汇集了数千个高质量的Stable Diffusion模型，利用稳定扩散模型为用户提供高质量的图像和视频生成服务。

Ai绘画生成 2025年06月05日 94 点赞 0 评论 570 浏览

Poe AI新功能「Previews」

Poe AI是一个集成多个强大AI聊天机器人的平台，用户可以通过统一界面与多个AI聊天机器人互动，获得多样化的信息和解决方案。Poe AI的新功能“Previews”允许用户实时预览AI生成的Web应用，支持交互体验，简化编程和设计流程，提高开发效率。该功能支持多种类型的应用程序，包括游戏、文本编辑器、数据分析工具等。用户可以与多个AI聊天机器人进行对话，并且可以无缝切换，获取不同的解决方案或优化

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

知乎发现AI搜索

功能集成了搜索、实时问答和追问功能，旨在为用户提供一个全新的体验。知乎发现,AI搜索以知乎社区中的可信赖内容为来源，确保了搜索结果的专业性和可靠性。

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

sendsteps

SendSteps是一款结合人工智能技术的演示文稿制作工具，支持通过AI辅助生成、自定义编辑或文件导入等方式快速创建高质量演示文稿。其特色功能涵盖智能排版、多语言支持、互动元素设计及云端协作，广泛应用于商务、教育、企业培训及市场推广等领域，致力于优化用户的内容呈现体验。

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