数学

TeXstudio

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

AtomThink

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

九章随时问

九章随时问是学而思推出的AI数学学习工具,支持7×24小时答疑服务,提供拍照、语音、文字等多种提问方式。采用苏格拉底式教学法,通过分步引导和启发式提问,培养学生独立思考能力。系统能精准识别薄弱知识点,推荐相应教学资源,覆盖小初高全学段,适用于自主学习、家庭辅导、教学辅助等多场景,提升学习效率与教育公平性。

QwQ

QwQ-32B-Preview是一款由阿里巴巴开发的开源AI推理模型,具有325亿参数,擅长处理数学与编程领域的复杂任务。它能在多个基准测试中超越同类产品,并提供透明化的推理流程。然而,该模型在语言切换及跨领域应用上存在一定局限性。

Step

覆盖了从个人使用到企业级应用的多个方面的多模态大模型。

Thetawise

Thetawise 是一款面向学生的 AI 数学辅导工具,支持多种输入方式,可生成详细解题步骤,帮助学生理解数学问题。它提供个性化学习计划、高级求解器、实时聊天支持及学习进度分析等功能,适用于课后辅导、考试准备、自学及远程教育等场景,有效提升数学学习效率。

CAR

CAR(Certainty-based Adaptive Reasoning)是字节跳动联合复旦大学推出的自适应推理框架,旨在提升大型语言模型(LLM)和多模态大型语言模型(MLLM)的推理效率与准确性。该框架通过动态切换短答案和长形式推理,根据模型对答案的置信度(PPL)决定是否进行详细推理,从而在保证准确性的同时节省计算资源。CAR适用于视觉问答(VQA)、关键信息提取(KIE)等任务,在数学

IAuto

IAuto,专业一站式办公绘图利器,是您职场的好帮手!

Umi

Umi-OCR 是一款离线 OCR 工具,支持图片、截图和 PDF 文档的文字识别,具备数学公式与二维码识别功能,可生成可搜索 PDF。支持多语言识别与界面切换,提供命令行和 HTTP 接口调用,适用于文档数字化、数据录入、教育等多个场景。

AI推理模型有哪些?13个支持深度思考的推理模型

本文介绍了13款支持深度思考的AI推理模型,涵盖数学、代码、自然语言推理等多个领域。这些模型通过强化学习和大数据分析,能够高效处理复杂问题,提供精准的决策支持。部分模型具备多模态处理能力、透明推理过程及开源特性,适用于不同应用场景,如教育、医疗和科研等。