当前位置： 首页 > news >正文

数学大模型MAmmoTH：通过混合说明调整建立数学通才模型

news 2026/2/9 15:49:41

在这里插入图片描述

向悦和陈文虎是该项目的主要作者。他们这个项目推出 MAmmoTH，这是一系列专为解决一般数学问题而定制的开源大型语言模型 (LLM)。 MAmmoTH 模型在 MathInstruct 上进行训练，MathInstruct 是我们精心策划的指令调整数据集。 MathInstruct 已编译 来自 13 个具有中间原理的数学数据集，其中 6 个具有我们新整理的原理。它拥有思想链（CoT）和思想计划（PoT）基本原理的混合，并且还确保广泛的 涵盖数学的不同领域。 CoT 和 PoT 的混合不仅可以释放工具使用的潜力，还可以针对不同的数学问题提供不同的思维过程。因此，MAmmoTH 系列实质上 在所有规模的 9 个数学推理数据集上，其性能优于现有开源模型，平均准确度增益在 12% 到 29% 之间。值得注意的是，我们的 MAmmoTH-7B 模型在 MATH（竞赛级别）上达到了 35% 数据集），超过最好的开源7B模型（WizardMath）25%，MAmmoTH-34B模型在MATH上达到46%的准确率，甚至超过了GPT-4的CoT结果。我们的工作强调了多样化问题的重要性 覆盖范围以及在开发高级数学通才模型时使用混合原理。

项目地址：https://tiger-ai-lab.github.io/MAmmoTH/
在这里插入图片描述
在这里插入图片描述

参考资料

https://www.aibase.com/zh/tool/34999

相关文章：

数学大模型MAmmoTH：通过混合说明调整建立数学通才模型

向悦和陈文虎是该项目的主要作者。他们这个项目推出 MAmmoTH，这是一系列专为解决一般数学问题而定制的开源大型语言模型 (LLM)。 MAmmoTH 模型在 MathInstruct 上进行训练，MathInstruct 是我们精心策划的指令调整数据集。 MathInstruct 已编译 来自 13 个…...

编程日记 2025/1/25 16:08:58

Opencv学习

Long time no see!哈哈，假期终于有时间做一点自己喜欢的东西了 还是想说，每天花一点时间投在自己喜欢的事情上，或者专攻一些平时不学的方向，真的很酷！ 图片绘制 对于图像绘制，可以分为：图像创…...

编程日记 2025/1/25 16:07:57

python生成图片和pdf，快速

1、下载安装 pip install imgkit pip install pdfkit2、wkhtmltopdf工具包，下载安装 下载地址：https://wkhtmltopdf.org/downloads.html 3、生成图片 import imgkit path_wkimg rD:\app\wkhtmltopdf\bin\wkhtmltoimage.exe # 工具路径，安…...

编程日记 2025/1/25 16:01:51

剑指Offer|LCR 044.在每个树行中找最大值

LCR 044.在每个树行中找最大值 给定一棵二叉树的根节点 root ，请找出该二叉树中每一层的最大值。 示例 1： 输入: root [1,3,2,5,3,null,9] 输出: [1,3,9] 解释:1/ \3 2/ \ \ 5 3 9 示例 2： 输入: root [1,2,3] 输出: [1,3] 解…...

编程日记 2025/1/25 15:53:43

PWM信号概述

什么是PWM信号？ PWM（Pulse-width modulation）是脉冲宽度调制的缩写。 脉冲宽度调制是一种模拟信号电平数字编码方法。 脉冲宽度调制PWM是通过将有效的电信号分散成离散形式从而来降低电信号所传递的平均功率的一种方式。所以根据面积等效法…...

编程日记 2025/1/25 15:52:41

关于BAR（PCIE BAR或AXI BAR）的解释

假设某BAR的默认值是xxxx_0000（这里表示8个比特位），其中低4位不可写，可操作的最低位是4，所以该BAR的大小是2^416字节； 1、系统软件向BAR写0xFF 2、系统软件读BAR，读到的值是0xF0，于是…...

编程日记 2025/1/25 15:51:35

计算机的错误计算（二百二十一）

摘要 利用一个数学解题器化简计算 实验表明，即使是数学解题器，也是一派胡言。 有一读者来信，询问数学大模型的推理事宜。现就前面的案例继续做一讨论。 例1. 化简计算摘要中算式。 下面是与一个数学解题器的对话。 点评： &am…...

编程日记 2025/1/25 15:42:18

【力扣Hot 100】矩阵1

矩阵置零：1. 开两个数组判断该行/该列是否有0；2. 用第0行/第0列分别判断该列/该行是否有0 螺旋矩阵：记录方向，一直按某方向前进，遇到障碍方向就变一下 1. 矩阵置零 给定一个 *m* x *n* 的矩阵，如果一个元…...

编程日记 2025/1/25 15:38:13

移动端VR处理器和传统显卡的不同

骁龙 XR 系列芯片 更多地依赖 AI 技术 来优化渲染过程，而传统的 GPU 渲染 则倾向于在低画质下运行以减少负载。这种设计是为了在有限的硬件资源下（如移动端 XR 设备）实现高性能和低功耗的平衡。以下是具体的分析： 1. AI 驱动的渲染…...

编程日记 2025/1/25 15:34:07

「 机器人 」利用数据驱动模型替代仿真器：加速策略训练并降低硬件依赖

前言 在强化学习（Reinforcement Learning, RL）中，策略训练需要大量的交互数据（状态、动作、奖励、下一状态），而这些数据通常来自仿真器或真实硬件。传统高保真仿真器虽然能在一定程度上模拟飞行器的动力学，但往往计算量大、开发成本高，且仍可能与真实环境存在差距。为此…...

编程日记 2025/1/25 15:32:01

MATLAB 如何避免复杂shp文件对inpolygon的影响

**任务描述：**当我想用inpolygon函数将属于非洲的pixel选出来时，发现因为周边小岛的影响，pixel选取有问题，如下图。 第一种解决办法： 首先将复杂shp文件查分成简单的shp文件，即将不相交的元素分离开 [QGIS…...

编程日记 2025/1/25 15:29:58

【2024年华为OD机试】 (C卷,200分)- 贪吃的猴子（JavaScriptJava PythonC/C++）

一、问题描述 题目解析 问题描述 一只猴子来到果园，发现许多串香蕉排成一行，每串香蕉上有若干根香蕉。每串香蕉的根数由数组 numbers 给出。猴子每次只能从行的开头或末尾获取香蕉，并且只能获取 N 次。求猴子最多能获取多少根香蕉。 输入…...

编程日记 2025/1/25 15:27:55

PostgreSQL中级专家是什么意思？

数据库技术领域，PostgreSQL 作为一种广泛使用的开源关系型数据库管理系统，吸引了众多技术人员深入学习和研究。“PostgreSQL 中级专家” 是对掌握该数据库特定技能层次的一种描述。 知识储备 中级专家深入理解 PostgreSQL 的体系结构，包括进程…...

编程日记 2025/1/25 15:26:54

从根源分析，调试，定位和解决MacOS ld: unsupported tapi file type ‘!tapi-tbd‘ in YAML file

你要是遇到同样错误，找一圈都没有解决，建议认真读一下本文，这个应该是最终极的解决办法，从原理上剖析了产生的原因，同时给出来了调试和定位的办法。 maccos使用brew安装了一个gcc14, 结果编译一个最简单的程序都报错&a…...

编程日记 2025/1/25 15:18:44

【Uniapp-Vue3】previewImage图片预览

如果我们想要实现点击一张图片放大，并能够左右滑动，就要使用previewImage这个API。 uni.previewImage({ current:xxx, // 当前图片下标 urls:xxx, // 图片路径组 // 其他参数 }) 我们先编写一个点击图片的事件，并传递当前点击图片的下标&…...

编程日记 2025/1/25 15:17:28

doris：Insert Into Values

INSERT INTO VALUES 语句支持将 SQL 中的值导入到 Doris 的表中。INSERT INTO VALUES 是一个同步导入方式，执行导入后返回导入结果。可以通过请求的返回判断导入是否成功。INSERT INTO VALUES 可以保证导入任务的原子性，要么全部导入成功，要么…...

编程日记 2025/1/25 15:09:02

15 分布式锁和分布式session

在java中一个进程里面使用synchronized在new出来对象头信息中加锁，如果是静态方法中在加载的类信息中加锁(我们在锁的原理中讲过)。如果使用lock加锁可以自己指定。这些都是在同一个进程空间中的操作。如果在分布式环境中由于程序不在一个进程空间，就没办…...

编程日记 2025/1/25 15:04:57

迅为RK3568开发板篇OpenHarmony实操HDF驱动控制LED-添加内核编译

编译内核时将该 HDF 驱动编译到镜像中，接下来编写驱动编译脚本 Makefile，代码如下所示： 加入编译体系，填加模块目录到 drivers/hdf_core/adapter/khdf/linux/Makefile 文件 更多内容可以关注：迅为RK3568开发板篇OpenHa…...

编程日记 2025/1/25 15:01:48

C语言练习（23）

求两个整数的最大公约数和最小公倍数，用一个函数求最大公约数，用另一函数根据求出的最大公约数求最小公倍数。 ①不用全局变量，分别用两个函数求最大公约数和最小公倍数。两个整数在主函数中输入，并传送给函数f1，求出…...

编程日记 2025/1/25 14:56:41

LabVIEW 太阳能光伏发电系统智能监控

本文介绍了基于 LabVIEW 的太阳能光伏发电监控系统的设计与实现，着重探讨了其硬件配置、软件架构以及系统的实现方法。该系统能够有效提高太阳能光伏发电的监控效率和精确性，实现了远程监控和数据管理的智能化。 ​ 项目背景 在当前能源紧张与环境污染…...

编程日记 2025/1/25 14:54:40

wordpress后台更新后 前端没变化的解决方法

使用siteground主机的wordpress网站，会出现更新了网站内容和修改了php模板文件、js文件、css文件、图片文件后，网站没有变化的情况。 不熟悉siteground主机的新手，遇到这个问题，就很抓狂，明明是哪都没操作错误&#x…...

编程新知 2026/2/9 2:42:46

利用最小二乘法找圆心和半径

#include <iostream> #include <vector> #include <cmath> #include <Eigen/Dense> // 需安装Eigen库用于矩阵运算 // 定义点结构 struct Point { double x, y; Point(double x_, double y_) : x(x_), y(y_) {} }; // 最小二乘法求圆心和半径 …...

编程新知 2026/2/8 4:37:37

Spring Boot 实现流式响应（兼容 2.7.x）

在实际开发中&#xff0c;我们可能会遇到一些流式数据处理的场景&#xff0c;比如接收来自上游接口的 Server-Sent Events&#xff08;SSE&#xff09; 或 流式 JSON 内容&#xff0c;并将其原样中转给前端页面或客户端。这种情况下&#xff0c;传统的 RestTemplate 缓存机制会…...

编程新知 2025/8/11 8:18:44

【解密LSTM、GRU如何解决传统RNN梯度消失问题】

解密LSTM与GRU&#xff1a;如何让RNN变得更聪明&#xff1f; 在深度学习的世界里&#xff0c;循环神经网络&#xff08;RNN&#xff09;以其卓越的序列数据处理能力广泛应用于自然语言处理、时间序列预测等领域。然而&#xff0c;传统RNN存在的一个严重问题——梯度消失&#…...

编程新知 2025/12/24 1:45:14

MVC 数据库

MVC 数据库 引言 在软件开发领域，Model-View-Controller（MVC）是一种流行的软件架构模式，它将应用程序分为三个核心组件：模型（Model）、视图（View）和控制器（Controller）。这种模式有助于提高代码的可维护性和可扩展性。本文将深入探讨MVC架构与数据库之间的关系，以…...

编程新知 2025/10/30 4:58:11

【AI学习】三、AI算法中的向量

在人工智能&#xff08;AI&#xff09;算法中&#xff0c;向量&#xff08;Vector&#xff09;是一种将现实世界中的数据&#xff08;如图像、文本、音频等&#xff09;转化为计算机可处理的数值型特征表示的工具。它是连接人类认知&#xff08;如语义、视觉特征&#xff09;与…...

编程新知 2026/1/1 14:01:45

C# 类和继承(抽象类)

抽象类 抽象类是指设计为被继承的类。抽象类只能被用作其他类的基类。 不能创建抽象类的实例。抽象类使用abstract修饰符声明。 抽象类可以包含抽象成员或普通的非抽象成员。抽象类的成员可以是抽象成员和普通带 实现的成员的任意组合。抽象类自己可以派生自另一个抽象类。例…...

编程新知 2026/1/29 16:25:24

高防服务器能够抵御哪些网络攻击呢？

高防服务器作为一种有着高度防御能力的服务器&#xff0c;可以帮助网站应对分布式拒绝服务攻击&#xff0c;有效识别和清理一些恶意的网络流量&#xff0c;为用户提供安全且稳定的网络环境&#xff0c;那么&#xff0c;高防服务器一般都可以抵御哪些网络攻击呢&#xff1f;下面…...

编程新知 2025/9/3 19:14:38

dify打造数据可视化图表

一、概述 在日常工作和学习中&#xff0c;我们经常需要和数据打交道。无论是分析报告、项目展示&#xff0c;还是简单的数据洞察&#xff0c;一个清晰直观的图表&#xff0c;往往能胜过千言万语。 一款能让数据可视化变得超级简单的 MCP Server&#xff0c;由蚂蚁集团 AntV 团队…...

编程新知 2026/1/20 20:10:03

高效线程安全的单例模式：Python 中的懒加载与自定义初始化参数

高效线程安全的单例模式：Python 中的懒加载与自定义初始化参数 在软件开发中，单例模式（Singleton Pattern）是一种常见的设计模式，确保一个类仅有一个实例，并提供一个全局访问点。在多线程环境下，实现单例模式时需要注意线程安全问题，以防止多个线程同时创建实例，导致…...

编程新知 2025/11/25 19:50:27