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

o1-preview 在 IMO 2024 第一题的实测表现

news 2026/4/2 2:59:59

相关博客：Learning to Reason with LLMs 以及 Introducing OpenAI o1-preview

测试了 IMO 2024 的第一题，OpenAI-o1-preview 的解题过程包括两部分：思考和推理。

20240914151453

正确答案是全体偶数，o1-preview 的 **思考方向正确，推理结果也正确。但证明错误，仅证明了“显然成立”的一侧，而“仅偶数成立”的这侧，重复试了几次都没证对。**即使指出关键步骤，仍然无法纠正得出正确证明。

这是道送分题，大部分选手都拿了满分：

20240914151550

o1-preview 具体的回答：

20240914151659

o1-mini 的回答和 preview 类似，在关键步骤胡说八道，试图蒙混过关：
20240914151715

此外，测了几次 DeepSeek 和 GPT-4o，都得到了 α 取全体整数的错误回答。

虽然 o1 最终答案对了，但证明不完整。实际上，大部分中学生都能猜出答案，难点在证明。现阶段，幻觉问题仍然是阻碍模型落地的关键难点。相比之下，今年的 IMO 竞赛 AlphaProof 成功解决了第 1、2、6 题的证明，这一点更加出色。不过，AlphaProof 需要先给答案，再推导证明，或许二者可以结合一下。

相关文章：

o1-preview 在 IMO 2024 第一题的实测表现

相关博客：Learning to Reason with LLMs 以及 Introducing OpenAI o1-preview 测试了 IMO 2024 的第一题，OpenAI-o1-preview 的解题过程包括两部分：思考和推理。 正确答案是全体偶数，o1-preview 的 **思考方向正确，推…...

编程日记 2024/10/6 17:08:08

iOS--RunLoop原理

前言 曾经在写项目的时候遇到过这么一个问题。： 项目中添加了一个tableview，然后还有一个计时器，当滑动tableview的时候会阻塞计时器，你得执行这么一段代码后，计时器才能正常运行。 RunLoop.current.add(timer, for…...

编程日记 2024/10/6 17:06:05

并查集——从LeetCode题海中总结常见套路

目录 并查集定义 LeetCode128.最长连续序列 先去重再sort： 改进去重的方法： 参考： 并查集定义 在计算机科学中，并查集是一种树型的数据结构，用于处理一些不交集（Disjoint Sets）的合并及查…...

编程日记 2024/10/6 17:04:04

深入理解作用域【JavaScript】

一、作用域的内部原理 JavaScript 的作用域机制是理解变量如何被访问和存储的重要概念。下面详细介绍作用域的内部原理，包括编译、执行、查询、嵌套和异常处理这五个步骤。 1. 编译 在 JavaScript 的执行过程中，首要的步骤是编译。尽管JavaScript是解…...

编程日记 2024/10/6 17:03:03

微信小程序实战教程：如何使用map组件实现地图功能

在微信小程序中，map组件是一个非常实用的功能，它可以帮助我们快速实现地图展示、定位、标注等操作。本文将详细介绍如何在微信小程序中使用map组件，带你轻松掌握地图开发技能。 一、map组件概述 map组件是微信小程序官方提供的一个地图组件…...

编程日记 2024/10/6 17:02:01

张雪峰谈人工智能技术应用专业的就业前景！

一、张雪峰谈人工智能技术应用专业 在教育咨询领域，张雪峰老师以其深入浅出的讲解和前瞻性的视角，为广大学子提供了宝贵的专业选择建议。对于人工智能技术应用专业，张雪峰老师通常给予高度评价，认为这是一个充满无限可能且就业前…...

编程日记 2024/10/6 17:01:00

机器学习课程学习周报十五

机器学习课程学习周报十五 文章目录 机器学习课程学习周报十五摘要Abstract一、机器学习部分1. 统计推断与贝叶斯推断2. GMM和EM算法补充3. 马尔可夫链蒙特卡罗法3.1 蒙特卡罗法3.2 马尔可夫链3.3 Diffusion模型中的马尔可夫链 总结 摘要 本周的学习涵盖了统计推断和贝叶斯推断…...

编程日记 2024/10/6 16:57:58

rabbitMq------客户端模块

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档 文章目录 前言消费者模块信道管理模块管理的字段提供的接口 信道内存管理连接管理类 前言 在RabbitMQ中，提供服务的是信道，因此在客⼾端的实现中&…...

编程日记 2024/10/6 16:54:56

地理定位营销与开源AI智能名片O2O商城小程序的融合与发展

摘要：本文阐述地理定位营销的概念、手段及其在商业中的应用，探讨开源AI智能名片O2O商城小程序如何与地理定位营销相结合，为企业营销带来新的机遇与挑战。 一、引言 在当今数字化营销的时代，地理定位营销已成为一种重要的营销手段…...

编程日记 2024/10/6 16:51:53

解决Vue应用中遇到路由刷新后出现 404 错误

解释： Vue 应用中遇到路由刷新后出现 404 错误，通常是因为 Vue 应用是个单页应用（SPA），它通过 Vue Router 管理路由，通过 HTML5 History Mode 实现页面导航无需重新加载页面。当直接访问非首页的路由或者刷…...

编程日记 2024/10/6 16:50:51

在window10下使用directml加速phi-3模型的一些记录

1.安装anaconda，安装python 安装torch等参考网上资料非常多 不细描述 2.参考微软官网【在windows上通过DirectML启用Pytorch文档，检查系统版本 检查gpu版本 3.参考微软官网【在windows上通过DirectML启用Pytorch】文档，安装torch_directml模…...

编程日记 2024/10/6 16:49:50

通信工程学习：什么是OSPF开放式最短路径优先

OSPF：开放式最短路径优先 OSPF（Open Shortest Path First，开放式最短路径优先）是一种内部网关协议（IGP），被广泛应用于计算机网络中，特别是在构建大型和复杂的网络时。以下是对OSPF的…...

编程日记 2024/10/6 16:48:49

《中国电子报》报道: 安宝特AR为产线作业者的“秘密武器

近日，中国电子报在其文章《下一代工业智能终端重新定义制造业》中对安宝特的增强现实（AR）解决方案给予了高度评价，称其为产线作业者的“秘密武器”。这一创新技术改变了传统制造业的作业方式，使得操作人员能够在生产过…...

编程日记 2024/10/6 16:47:48

【Android】Handler消息机制

文章目录 前言概述核心组件概述Android消息机制概述 Android消息机制分析ThreadLocal的工作原理ThreadLocal基础ThreadLocal实现原理 MessageQueueLooperHandler的工作原理总结 前言 本文用于记录Android的消息机制，主要是指Handler的运行机制。部分内容参考自《An…...

编程日记 2024/10/6 16:46:47

大数据必懂知识点：Parquet、ORC还是Avro作为数据存储格式，哪种在性能和压缩率上更优

目录 第一章 相关理论 1.1 Parquet格式介绍 1.1.1 起源与发展 1.1.2 特点与优势 1.2 ORC格式介绍 1.3 Avro格式介绍 1.3.1 跨语言支持 1.3.2 动态映射 1.3.3 丰富的数据模式 1.3.4 数据模式灵活性 第二章 种格式性能比较 2.1 读写性能对比 2.2 查询性能对比 2.3 压…...

编程日记 2024/10/6 16:45:46

P1387 最大正方形

题目描述 在一个nm 的只包含 0 和 1 的矩阵里找出一个不包含 0 的最大正方形，输出边长。 输入格式 输入文件第一行为两个整数n,m(1≤n,m≤100)，接下来 n 行，每行 m 个数字，用空格隔开，0 或 1。 输出格式 一个整数…...

编程日记 2024/10/6 16:42:42

Python知识点：如何使用Multiprocessing进行并行任务管理

开篇，先说一个好消息，截止到2025年1月1日前，翻到文末找到我，赠送定制版的开题报告和任务书，先到先得！过期不候！ 如何在Python中使用Multiprocessing进行并行任务管理 在现代编程中，…...

编程日记 2024/10/6 16:41:41

React常见优化问题

在React开发中，性能优化是一个重要且持续的过程，旨在提升应用的响应速度和用户体验。以下是一些常见的React优化问题详解，并附上相应的代码示例。 1. 避免不必要的组件渲染 React组件的渲染是由其props或state的变化触发的。但是，…...

编程日记 2024/10/6 16:40:41

css 简单网页布局——浮动（一）

1. 三种布局方式 1.1 标准流 1.2 浮动的使用 1.3 简述浮动 1.3.1 浮动三大特性 <style>.out {border: 1px red solid;width: 1000px;height: 500px;}.one {background-color: aquamarine;width: 200px;height: 100px;}.two {background-color: blueviolet;width: 200px;h…...

编程日记 2024/10/6 16:37:38

设计模式（3）builder

需求&#xff1a; 对于复杂的对象&#xff0c;我们只需要 通过 设置一些参数&#xff0c;就可以得到相对应的 实例。 简单来说&#xff0c; 需求就是用一个类 通过方法返回一个 新建的对象&#xff0c;而且可以通过方法去设置这个对象 public interface CarBuilder {void se…...

编程日记 2024/10/6 16:36:38

精益生产线功能拆解：如何利用精益生产线解决多品种小批量生产难题

在当前的制造业环境中&#xff0c;订单碎片化已成为常态&#xff0c;精益生产线不再是一个可选的优化项&#xff0c;而是企业生存的必修课。面对多品种、小批量的市场需求&#xff0c;传统的大批量流水线往往显得笨重不堪&#xff0c;频繁换型导致的停机、在制品积压造成的资金…...

编程新知 2026/4/2 0:33:07

m4s-converter：重构B站缓存管理的格式转换解决方案

m4s-converter&#xff1a;重构B站缓存管理的格式转换解决方案 【免费下载链接】m4s-converter 一个跨平台小工具&#xff0c;将bilibili缓存的m4s格式音视频文件合并成mp4 项目地址: https://gitcode.com/gh_mirrors/m4/m4s-converter m4s-converter是一款开源工具&…...

编程新知 2026/4/1 23:56:39

SpringBoot + MyBatis-Plus项目实战：从零搭建一个JavaEE课程设计骨架（附完整源码结构解析）

SpringBoot MyBatis-Plus项目实战&#xff1a;从零搭建一个JavaEE课程设计骨架&#xff08;附完整源码结构解析&#xff09; 当你第一次打开IDE准备开始JavaEE课程设计时&#xff0c;面对空白的项目窗口是否感到无从下手&#xff1f;本文将带你从零开始&#xff0c;用SpringBo…...

编程新知 2026/4/1 22:29:23

GLM-4.1V-9B-Base应用场景：建筑图纸关键结构识别与中文描述生成

GLM-4.1V-9B-Base应用场景&#xff1a;建筑图纸关键结构识别与中文描述生成 1. 建筑行业的AI视觉革命 在建筑设计领域&#xff0c;图纸解读一直是项耗时费力的工作。设计师需要花费大量时间分析图纸中的结构细节&#xff0c;撰写技术说明文档。传统的人工识别方式不仅效率低下…...

编程新知 2026/4/1 22:08:59

终极RPA档案解析指南：unrpa工具的专业实现与优化策略

终极RPA档案解析指南&#xff1a;unrpa工具的专业实现与优化策略 【免费下载链接】unrpa A program to extract files from the RPA archive format. 项目地址: https://gitcode.com/gh_mirrors/un/unrpa 在RenPy视觉小说游戏开发与逆向工程领域&#xff0c;RPA档案格式…...

编程新知 2026/4/1 21:00:06

前端测试的学习阶段，由基础到进阶的过程认识.....

前言&#xff1a;突然想起刚入行的学习感悟&#xff0c;一个知识点不懂的背后&#xff0c;是整个知识体系的欠缺&#xff0c; 那会从后端转入前端&#xff08;非科班&#xff09;有时候一个报错不知道从何找起&#xff0c;一、单元测试 【已经案例和知识相结合&#xff0c;可看…...

编程新知 2026/4/1 20:42:02

VCS编译SystemVerilog时，那个‘-P’选项你加对了吗？详解Verdi PLI配置

VCS编译SystemVerilog时&#xff0c;那个‘-P’选项你加对了吗&#xff1f;详解Verdi PLI配置 在芯片验证的日常工作中&#xff0c;VCSVerdi的组合堪称黄金搭档。但当你满怀信心地敲下编译命令&#xff0c;却发现怎么也生成不了关键的fsdb波形文件时&#xff0c;那种挫败感简直…...

编程新知 2026/4/1 19:49:16

Vue3+Element Plus+Sortable.js：构建可定制化表格拖拽配置中心

1. 为什么需要表格拖拽配置中心 后台管理系统中最常见的需求之一就是表格展示数据。但不同用户对表格的展示需求往往不同&#xff1a;产品经理可能更关注日期和状态字段&#xff0c;运营人员则更看重用户行为和转化数据。传统解决方案是开发多个固定表格页面&#xff0c;但这会…...

编程新知 2026/4/1 19:47:15

揭秘Captum归因算法：5种NLP文本分类与情感分析的最佳实践

揭秘Captum归因算法&#xff1a;5种NLP文本分类与情感分析的最佳实践 【免费下载链接】captum Model interpretability and understanding for PyTorch 项目地址: https://gitcode.com/gh_mirrors/ca/captum 在当今人工智能快速发展的时代&#xff0c;模型可解释性已成为…...

编程新知 2026/4/1 19:13:03

基因组变异致病性预测：从SIFT、PolyPhen到PrimateAI的算法演进

点击 “AladdinEdu&#xff0c;你的AI学习实践工作坊”&#xff0c;注册即送-H卡级别算力&#xff0c;沉浸式云原生集成开发环境&#xff0c;80G大显存多卡并行&#xff0c;按量弹性计费&#xff0c;教育用户更享超低价。 摘要&#xff1a;基因组变异致病性预测是精准医学的关键…...

编程新知 2026/4/1 18:36:20