数学

1. 首页
2. 数学

子曰

子曰-o1是网易有道推出的国内首款支持分步式讲解的推理模型，采用14B参数轻量化设计，适配消费级显卡，在低显存设备上运行稳定。通过思维链技术模拟人类思考过程，输出详细解题步骤，特别适合教育场景，如K12数学教学和AI学习辅助。其具备强逻辑推理能力和自我纠错机制，支持启发式学习，提升用户理解与自主学习能力。

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

CAR

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

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

QwQ

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

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

360gpt2

360gpt2-o1是一款专注于数学与逻辑推理的人工智能大模型，具备强大的推理能力和深度学习能力。它通过合成数据优化、分阶段训练及“慢思考”范式提升了模型的表现，尤其在数学竞赛和基础数学评测中成绩显著。此外，模型还支持编程问题解决、复杂问题分析及教育领域应用，为企业决策提供逻辑支持。

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

AlphaEvolve

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

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

Slidev

Slidev 是一款基于 Markdown + Vue 技术栈的开源幻灯片制作工具，支持代码高亮、实时编码演示、数学公式渲染、图表生成等功能。它提供丰富的主题和样式选项，支持在线编辑器和快速启动命令，适合技术分享、教学培训、产品演示等场景。Slidev 还具备交互性强、开发友好、演讲者模式、绘图注解和多种导出格式等优势。

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

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

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

StudyX

StudyX是一款基于AI技术的学生学习辅助工具，提供多学科作业解答、数学解题分析、AI辅导和社区互动等功能。支持文字、图片和PDF输入，具备个性化学习空间和全天候专家支持，适用于各类学生群体，有效提升学习效率和知识掌握能力。

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

Thetawise

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

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

OLMo 2 32B

OLMo 2 32B 是由 Allen Institute for AI 推出的开源语言模型，拥有 320 亿参数，性能接近更大规模模型。它采用三阶段训练策略，结合预训练、中期训练和后训练，提升模型稳定性与任务适应性。模型支持多任务处理，涵盖自然语言处理、数学推理、编程辅助和内容创作等领域，并具备高效训练能力与低能耗优势。所有数据、代码和权重均开源，便于研究与开发。

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