Math24o:SuperCLUE开源的高中奥数推理测评基准,85.71分屠榜

简介: Math24o是首个针对高中奥林匹克数学竞赛的中文大模型测评基准,采用2024年预赛真题实现自动化评估,为模型数学推理能力提供客观衡量标准。

❤️ 如果你也关注 AI 的发展现状,且对 AI 应用开发感兴趣,我会每日分享大模型与 AI 领域的开源项目和应用,提供运行实例和实用教程,帮助你快速上手AI技术!

🥦 AI 在线答疑 -> 智能检索历史文章和开源项目 -> 丰富的 AI 工具库 -> 每日更新 -> 尽在微信公众号 -> 搜一搜:蚝油菜花 🥦


💡 「高中老师惊了!这个AI测评工具竟用奥赛真题给大模型『批改作业』」
大家好,我是蚝油菜花。当教育界还在争论AI能否解数学题时,SuperCLUE已经用奥赛题给大模型办了场「高考」!你是否也好奇:

  • 📊 号称全能的大模型,遇到函数迭代和几何证明会不会当场死机?
  • 🧮 不同模型的数学推理能力差距,究竟像学霸vs学渣还是教授vs小学生?
  • ⚡ 那些动辄千亿参数的怪物,在21道奥赛题面前会不会原形毕露?

今天深度解析的 Math24o 测评基准,正在用最硬核的方式检验AI的数学脑!这套由2024奥赛预赛真题组成的「照妖镜」:

  • 题题到肉:函数/数列/几何全涵盖,难度对标省级竞赛
  • 判卷无情:答案必须装进\boxed{},差0.1分都算错误
  • 开源透明:评估脚本全公开,杜绝「黑箱操作」

目前OpenAI的o3-mini以85.71分领跑,而某些明星模型竟不及格——你的模型准备好迎接这场数学审判了吗?

🚀 快速阅读

Math24o是首个针对高中奥数竞赛的中文大模型测评基准。

  1. 功能:通过21道奥赛真题实现模型数学推理能力的自动化评估
  2. 技术:基于Python开发标准化评估流程,支持答案唯一性校验

Math24o 是什么

Math24o

Math24o 是由中文大模型测评机构 SuperCLUE 开源的高中奥林匹克数学竞赛级别测评基准。该基准精选2024年全国高中数学竞赛预赛真题,包含函数、数列、几何等领域的21道高难度解答题,所有答案均为唯一整数或小数。

通过标准化提示词要求模型将最终答案放入\boxed{}格式,配合自动化评估脚本,可客观量化不同模型在复杂数学推理任务上的表现。当前测评结果显示,头部模型正确率差距可达28.57%,为模型优化提供了明确改进方向。

Math24o 的主要功能

  • 高难度题库:采用2024年奥赛预赛真题,涵盖函数迭代、组合数学等竞赛级题型
  • 标准化评估:通过\boxed{}格式强制规范输出,程序自动比对参考答案
  • 可视化结果:输出Excel格式详细得分表,支持横向对比多模型表现
  • 开源可复现:完整评估代码公开,支持自定义题目扩展

Math24o 的技术原理

  • 命题设计:题目选自中国数学会官方竞赛,确保专业性和难度梯度
  • 评估架构:基于Python构建自动化流水线,实现答案提取→格式校验→得分计算全流程
  • 提示工程:采用特殊格式\boxed{}约束输出,避免模型解释性文本干扰判卷

如何运行 Math24o

1. 安装依赖

pip install -r requirements.txt

2. 执行评估

将模型回答保存至model_answers文件后运行:

python auto_evaluation.py

3. 查看结果

评估结果将输出至output.xlsx文件,包含每题详细得分与总分统计。

资源


❤️ 如果你也关注 AI 的发展现状,且对 AI 应用开发感兴趣,我会每日分享大模型与 AI 领域的开源项目和应用,提供运行实例和实用教程,帮助你快速上手AI技术!

🥦 AI 在线答疑 -> 智能检索历史文章和开源项目 -> 丰富的 AI 工具库 -> 每日更新 -> 尽在微信公众号 -> 搜一搜:蚝油菜花 🥦

相关实践学习
使用PAI+LLaMA Factory微调Qwen2-VL模型,搭建文旅领域知识问答机器人
使用PAI和LLaMA Factory框架,基于全参方法微调 Qwen2-VL模型,使其能够进行文旅领域知识问答,同时通过人工测试验证了微调的效果。
机器学习概览及常见算法
机器学习(Machine Learning, ML)是人工智能的核心,专门研究计算机怎样模拟或实现人类的学习行为,以获取新的知识或技能,重新组织已有的知识结构使之不断改善自身的性能,它是使计算机具有智能的根本途径,其应用遍及人工智能的各个领域。 本课程将带你入门机器学习,掌握机器学习的概念和常用的算法。
相关文章
|
机器学习/深度学习 人工智能 IDE
14B小模型代码成绩紧逼O3-Mini!DeepCoder-14B-Preview:基于Deepseek-R1蒸馏优化的开源代码生成模型
DeepCoder-14B-Preview是基于Deepseek-R1蒸馏优化的140亿参数模型,通过强化学习微调在LiveCodeBench达到60.6%准确率,开源训练数据与系统优化方案。
585 3
14B小模型代码成绩紧逼O3-Mini!DeepCoder-14B-Preview:基于Deepseek-R1蒸馏优化的开源代码生成模型
|
数据采集 自然语言处理 Devops
ToolLearning Eval:CodeFuse发布首个中文Function Call的大语言模型评测基准!🚀
CodeFuse发布了首个面向ToolLearning领域的中文评测基准ToolLearning-Eval,以帮助开发者跟踪ToolLearning领域大模型的进展,并了解各个ToolLearning领域大模型的优势与不足。ToolLearning-Eval按照Function Call流程进行划分,包含工具选择、工具调用、工具执行结果总结这三个过程,方便通用模型可以对各个过程进行评测分析。
1502 0
|
4月前
|
机器学习/深度学习 安全 算法
PPO最强,DPO一般?一文带你了解常见三种强化学习方法,文末推荐大模型微调神器!
大模型如何更懂人类?关键在于“对齐”。PPO、DPO、KTO是三大主流对齐方法:PPO效果强但复杂,DPO平衡高效,KTO低成本易上手。不同团队可根据资源选择路径。LLaMA-Factory Online让微调像浏览器操作一样简单,助力人人皆可训练专属模型。
1020 3
PPO最强,DPO一般?一文带你了解常见三种强化学习方法,文末推荐大模型微调神器!
|
1月前
|
人工智能 自然语言处理 数据可视化
作为一名在读博士生,我在日常是如何与 AI 协作的
本文是一位AI方向博士生的AI协作实践手记:主张“当同事,不当工具”,提出元提示词、苏格拉底追问、多模型协同与经验沉淀四大方法论,覆盖划词问答、文献研读、科研绘图、代码开发等全科研场景,强调人机共生、流程提效与持续进化。
|
机器学习/深度学习 人工智能 算法
Qwen2.5-Math: 世界领先的数学开源大语言模型
Qwen2.5-Math: 世界领先的数学开源大语言模型
|
数据采集 存储 数据可视化
分布式爬虫框架Scrapy-Redis实战指南
本文介绍如何使用Scrapy-Redis构建分布式爬虫系统,采集携程平台上热门城市的酒店价格与评价信息。通过代理IP、Cookie和User-Agent设置规避反爬策略,实现高效数据抓取。结合价格动态趋势分析,助力酒店业优化市场策略、提升服务质量。技术架构涵盖Scrapy-Redis核心调度、代理中间件及数据解析存储,提供完整的技术路线图与代码示例。
1571 0
分布式爬虫框架Scrapy-Redis实战指南
|
机器学习/深度学习 人工智能 算法
ProtGPS:MIT再造生命科学新基建!蛋白质AI一键预测定位+设计新序列,登Nature子刊
ProtGPS 是麻省理工学院和怀特黑德研究所联合开发的蛋白质语言模型,能够预测蛋白质在细胞内的亚细胞定位,并设计具有特定亚细胞定位的新型蛋白质。
1092 17
ProtGPS:MIT再造生命科学新基建!蛋白质AI一键预测定位+设计新序列,登Nature子刊
|
人工智能 负载均衡 调度
COMET:字节跳动开源MoE训练加速神器,单层1.96倍性能提升,节省百万GPU小时
COMET是字节跳动推出的针对Mixture-of-Experts(MoE)模型的优化系统,通过细粒度的计算-通信重叠技术,显著提升分布式训练效率,支持多种并行策略和大规模集群部署。
819 9
|
9月前
|
JavaScript 前端开发 测试技术
Playwright自动化测试系列课(4) | 异步加载克星:自动等待 vs 智能等待策略深度解析​
本文深度解析Playwright自动化测试中的等待策略,对比自动等待(零配置防御机制)与智能等待(精准控制异步场景)的核心差异。通过实战案例讲解等待机制的选择标准、常见失效原因及调试技巧,帮助开发者有效解决页面异步加载问题,提升测试脚本的稳定性和执行效率。
|
10月前
|
Java Linux 开发工具
Linux下版本控制器(SVN) -命令行客户端
Linux下版本控制器(SVN) -命令行客户端
352 4

热门文章

最新文章