编程

1. 首页
2. 编程

TinyR1

TinyR1-Preview是由北京大学与360公司联合研发的32B参数推理模型，采用“分治-融合”策略，通过智能融合数学、编程、科学领域的子模型，实现高性能表现。其在数学领域（如AIME）表现优异，仅用5%参数量即可达到原版R1模型95%以上的性能。模型轻量且高效，适用于教育、科研、开发及企业等多种场景，具备良好的部署灵活性与实用性。

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

Poe AI新功能「Previews」

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

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

JetBrains AI Assistant

JetBrains AI Assistant 是一款基于阿里云通义大模型的智能化编程辅助工具，集成于 JetBrains 开发环境中。其主要功能包括多行代码补全、上下文感知问题解答、代码缺陷检测与修正、文档生成及优化建议，旨在提升开发效率与代码质量，同时保障数据安全。

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

码上飞

码上飞是一款基于自然语言的AI应用开发平台，支持从需求描述到应用部署的全流程自动化。用户无需编程基础，即可通过文字指令生成信息管理、聊天机器人、小游戏等多种类型的应用。平台内置智能代理工具，可生成文档与测试用例，同时提供定制化服务与数据安全支持，提升开发效率与用户体验。

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

飞桨 | AI Studio

飞桨（PaddlePaddle）以百度多年的深度学习技术研究和业务应用为基础，集深度学习核心训练和推理框架、基础模型库、端到端开发套件、丰富的工具组件于一体，是中国首个自主研发、功能丰富、开源开放的产业级深度学习平台。

Ai平台模型 2025年06月05日 32 点赞 0 评论 944 浏览

Checksub

Checksub 是一个利用人工智能技术提供视频和音频本地化服务的平台，它通过 AI 驱动的字幕生成和配音功能，帮助用户将视频内容翻译成不同语言，从而扩大观众范围。

Ai语音工具 2026年08月08日 0 点赞 0 评论 946 浏览

Zion无代码开发平台

快速创建属于自己的AI应用！~

Ai编程建站 2026年08月08日 0 点赞 0 评论 951 浏览

START

START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型，通过集成外部工具（如Python代码执行器）提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术，结合长链推理与工具调用，显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力，适用于科研、教育、编程等多个领域，是首个开源的长链推理与工具集成模型。

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

OpenAI o4

OpenAI o4-mini 是一款高性能、低成本的小型推理模型，专为快速处理数学、编程和视觉任务优化。它具备多模态能力，可结合图像与文本进行推理，并支持工具调用以提高准确性。在多项基准测试中表现优异，尤其在数学和编程领域接近完整版模型。适用于教育、数据分析、软件开发及内容创作等多个场景，是高效率与性价比兼备的AI工具。

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

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

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