数学

1. 首页
2. 数学

月之暗面Moonshot AI

一家专注于人工智能技术的公司，由杨植麟于2023年3月创立。公司致力于开发大型AI模型，其核心产品是Kimi智能助手。

Ai科技公司 2025年06月05日 50 点赞 0 评论 434 浏览

鲸咕噜AI创作云

鲸咕噜AI创作云是一款强大的在线转换工具。其主要功能是将PDF文档转换成Word文档，特别是在数学公式识别方面表现尤为出色。同时，鲸咕噜AI创作云还支持对表格、图片的识别。

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

MathModelAgent

MathModelAgent 是一款基于多智能体协作的数学建模工具，支持自动建模、代码编写、结果验证和论文生成。内置本地代码解释器，兼容多种大语言模型，适用于竞赛、科研、教学等场景，具备高效率与低成本优势。

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

腾讯混元Turbo S

腾讯混元Turbo S是腾讯推出的高效AI模型，采用Hybrid-Mamba-Transformer架构，提升推理效率并降低计算成本。支持快速响应、多领域推理、内容创作及多模态生成，适用于对话、代码、逻辑推理等场景。兼具短思维链与长思维链能力，性能对标行业领先模型。

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

Math.Now

一个由Math GPT提供支持的免费AI数学解题工具，它专为解决各种数学难题而设计，覆盖了代数、几何、微积分等多个领域。

教育学习 2025年06月05日 98 点赞 0 评论 419 浏览

s1

S1是由斯坦福大学和华盛顿大学联合开发的低成本、高性能AI推理模型，采用知识蒸馏技术从大型模型中提取推理能力。通过1000个高质量问题训练，成本低于50美元，训练时间短于30分钟。S1在数学和编程领域表现卓越，支持测试时扩展技术以优化推理效果，并已在GitHub开源，适用于科学问题解决、智能辅导、自动问答等多种场景。

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

rStar

rStar-Math是由微软亚洲研究院研发的数学推理工具，采用蒙特卡洛树搜索（MCTS）驱动的深度思考机制，使小型语言模型在数学推理方面达到或超越大型模型水平。通过代码增强的推理轨迹生成、过程偏好模型（PPM）训练和四轮自我进化策略，显著提升了模型的准确率与自我反思能力。该工具已在多个数学基准测试中取得优异成绩，适用于教育、科研、金融、工程和数据分析等多个领域。

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

TeXstudio

一个跨平台的 LaTeX 编辑器，支持 Windows、Linux 和 macOS。TeXstudio通过提供语法高亮、内置查看器、参考检查以及各种辅助工具等功能，使编写 LaTeX 文档变得容易和舒适。

教育学习 2025年06月05日 82 点赞 0 评论 411 浏览

AtomThink

AtomThink是一个由多所高校与企业联合研发的多模态数学推理框架，通过构建长链思维（CoT）引导多模态大型语言模型（MLLMs）进行复杂推理。它包含自动CoT注释引擎、原子步骤微调策略及多种搜索策略，旨在提升原子步骤质量并增强MLLMs的推理能力。AtomThink提出的大规模多模态数据集AtomMATH及其评估方法为模型训练和测试提供了重要支持，广泛应用于教育辅助、自动化测试、学术研究等领域

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

Fireworks f1

Fireworks f1 是一款专为复杂推理任务设计的复合型 AI 模型，通过整合多个开源模型提升性能与可靠性。支持开发者通过提示词快速构建复杂 AI 应用，已在编码、对话及数学领域展现卓越能力。同时提供标准版和轻量版供用户选择，并在 AI Playground 提供免费体验。

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