当前位置: 首页 > article >正文

OpenAI通用推理模型攻克近80年数学难题,打脸7个月前虚假突破质疑

【导语5月21日OpenAI宣布其一款未对外发布的内部通用推理模型独立完成原创数学证明推翻了匈牙利数学家保罗·埃尔德什1946年提出的“平面单位距离猜想”这是AI首次独立攻克数学领域核心著名公开难题。】AI攻克近80年几何猜想OpenAI的未发布通用推理模型独立完成原创数学证明推翻了保罗·埃尔德什1946年提出的“平面单位距离猜想”该难题悬置近80年。这一突破并非由专门为数学打造的系统完成模型未使用针对该猜想的专门训练或搭手架还借用了代数数论领域工具。“平面单位距离问题”看似简单是在欧几里得平面上任意放置n个点求恰好相距1个单位的点对最多数量。埃尔德什曾为此猜想悬赏1982年悬赏300美元1995年提高到500美元。长久以来数学主流学界认同埃尔德什的核心猜想而如今OpenAI模型给出无限反例序列使单位距离对数量获多项式量级改进。7个月前虚假突破遭打脸2025年10月OpenAI时任副总裁凯文·韦尔宣称GPT - 5“解决了10个此前未解的埃尔德什问题”事后被证实只是检索到已有文献解答韦尔删帖并于2026年4月离职。谷歌DeepMind CEO戴密斯·哈萨比斯称此事“令人尴尬”Meta首席AI科学家杨立昆则进行了讽刺。批评者转变态度签字背书此次OpenAI发布论文并公布由多位顶级数学家撰写的同行评论其中包括7个月前批评韦尔的曼彻斯特大学数学家托马斯·布鲁姆。布鲁姆这次为新证明背书称这是首个让他本人感到兴奋的、由AI自主产出的成果。剑桥大学菲尔兹奖得主蒂莫西·高尔斯也给予高度评价。布鲁姆指出AI原始证明虽有效但被人类研究员和数学家显著改进人类在讨论、消化和改进证明及探索后果方面仍扮演关键角色。AI转型仍待同行评审检验过去半年已有多个系统留下AI辅助数学进展的记录但此次由AI完全自主、且被顶尖数学家集体背书的著名公开猜想反证尚属首次。不过OpenAI未公开发布该模型完整证明也需接受更广泛的同行评审。但让曾打脸OpenAI的数学家为新结果签字背书意义不同。编辑观点OpenAI此次突破意义重大显示了AI在数学研究中的潜力但仍需经过更严格检验。其从虚假突破到获认可的转变也提醒行业要注重成果的真实性和可靠性。

相关文章:

OpenAI通用推理模型攻克近80年数学难题,打脸7个月前虚假突破质疑

【导语:5月21日,OpenAI宣布其一款未对外发布的内部通用推理模型独立完成原创数学证明,推翻了匈牙利数学家保罗埃尔德什1946年提出的“平面单位距离猜想”,这是AI首次独立攻克数学领域核心著名公开难题。】AI攻克近80年几何猜想Ope…...

面试官问CyclicBarrier和CountDownLatch区别?这样回答直接拿Offer(附源码级对比和避坑点)

面试官问CyclicBarrier和CountDownLatch区别?这样回答直接拿Offer(附源码级对比和避坑点) 在Java并发编程的面试中,CyclicBarrier和CountDownLatch的区别几乎是必问的高频考点。但真正能打动面试官的,绝不仅仅是背诵教…...

别再找组策略了!Windows 11家庭版/专业版通用,一条命令搞定密码永不过期

Windows 11密码永不过期终极指南:告别繁琐设置,一条命令解决所有版本难题 每次开机都被"密码即将过期"的提示烦扰?作为Windows 11用户,你可能已经尝试过各种图形界面设置却无功而返。特别是家庭版用户,面对缺…...

Realsense D435i相机标定避坑指南:从棋盘格准备到OpenCV立体校正全流程

Realsense D435i相机标定实战:从硬件配置到立体校正的完整避坑手册 在三维视觉和机器人领域,相机标定是构建精准感知系统的基石。Intel Realsense D435i作为一款广泛使用的深度相机,其标定质量直接影响着SLAM、三维重建等应用的精度。本文将分…...

WinAsar:告别命令行!551KB的Electron asar文件可视化处理神器

WinAsar:告别命令行!551KB的Electron asar文件可视化处理神器 【免费下载链接】WinAsar Portable and lightweight GUI utility to pack and extract asar( Electron archive ) files, Only 551 KB! 项目地址: https://gitcode.com/gh_mirrors/wi/WinA…...

Richard Socher创业公司获6.5亿美元融资,欲让AI自动化研发引领底层范式转移

Richard Socher创业公司获巨额融资一家创业公司获得了GV(Alphabet旗下VC)和Greycroft共同领投的6.5亿美元早期融资,NVIDIA和AMD也参与本轮融资,它的估值达到了46.5亿美元。这家公司的创始人是Richard Socher,他是AI领域…...

别再手动改Hex了!用Vector HexView的/remap命令,5分钟搞定固件地址重映射

嵌入式开发革命:Vector HexView自动化重映射技术实战指南 在汽车电子和物联网设备开发中,固件地址调整如同家常便饭。每当内存布局变更、Bootloader升级或外设地址重新分配时,嵌入式工程师们就不得不面对一项枯燥且容易出错的任务——手动修改…...

Graphormer实战:用最短路径和虚拟节点搞定分子性质预测(附PyTorch代码)

Graphormer实战:从分子结构到性质预测的完整实现指南 在药物发现和材料科学领域,准确预测分子的物理化学性质可以大幅加速研发进程。传统方法依赖昂贵的实验测量或复杂的量子化学计算,而图神经网络(GNN)和Transformer的结合——Graphormer&a…...

5分钟实现OBS多平台同步直播:obs-multi-rtmp插件完全指南

5分钟实现OBS多平台同步直播:obs-multi-rtmp插件完全指南 【免费下载链接】obs-multi-rtmp OBS複数サイト同時配信プラグイン 项目地址: https://gitcode.com/gh_mirrors/ob/obs-multi-rtmp 你是否厌倦了在不同直播平台间来回切换的繁琐操作?obs-…...

城通网盘下载速度慢?3分钟学会ctfileGet终极免费提速方案

城通网盘下载速度慢?3分钟学会ctfileGet终极免费提速方案 【免费下载链接】ctfileGet 获取城通网盘一次性直连地址 项目地址: https://gitcode.com/gh_mirrors/ct/ctfileGet 你是否曾经被城通网盘的龟速下载折磨得抓狂?面对50KB/s的限速、无尽的验…...

QQ音乐加密音频一键解密:qmcdump终极指南

QQ音乐加密音频一键解密:qmcdump终极指南 【免费下载链接】qmcdump 一个简单的QQ音乐解码(qmcflac/qmc0/qmc3 转 flac/mp3),仅为个人学习参考用。 项目地址: https://gitcode.com/gh_mirrors/qm/qmcdump 你是否曾为QQ音乐下…...

ABAQUS结果导出太麻烦?试试这个隐藏技巧,5分钟搞定截面节点应力数据到Excel

ABAQUS结果导出效率革命:5分钟精准捕获截面节点数据的全流程指南 在结构仿真分析领域,数据后处理往往消耗工程师40%以上的工作时间。当我第一次面对ABAQUS中复杂的应力云图,试图提取某个螺栓连接面的节点应力数据时,整整浪费了两天…...

DownKyi:解锁B站8K超高清视频下载的5个核心优势

DownKyi:解锁B站8K超高清视频下载的5个核心优势 【免费下载链接】downkyi 哔哩下载姬downkyi,哔哩哔哩网站视频下载工具,支持批量下载,支持8K、HDR、杜比视界,提供工具箱(音视频提取、去水印等)…...

从‘微软 ORG’到流畅中文NLP:你的zh_core_web_sm模型真的装对了吗?

从‘微软 ORG’到流畅中文NLP:你的zh_core_web_sm模型真的装对了吗? 当你在Spacy中加载zh_core_web_sm模型,运行示例文本"微软准备用十亿美金买下这家英国的创业公司"后,看到"微软"被正确标记为ORG&#xff0…...

保姆级教程:在Gazebo中为你的ROS机器人添加激光雷达和摄像头(附完整xacro配置)

Gazebo传感器配置实战:从激光雷达到摄像头的全流程解析 在机器人仿真开发中,让虚拟机器人"看得见"往往比让它"动起来"更具挑战性。许多开发者精心设计了URDF模型,却在Gazebo中遭遇传感器数据无法显示的困境——激光雷达没…...

从炼丹炉到生产线:在Linux服务器上为Stable Diffusion部署配置PyTorch环境(驱动+CUDA+Anaconda实战)

从炼丹炉到生产线:Linux服务器部署PyTorch环境全流程指南 引言:为什么需要专业化的AI开发环境? 在AI模型开发领域,我们常常把训练模型比作"炼丹"——需要精准控制各种"火候"参数。而要让这个"炼丹炉&quo…...

Flowable工作流回退功能避坑指南:从ruoyi-vue-pro源码看如何优雅处理并行网关

Flowable工作流并行网关回退机制深度解析:从ruoyi-vue-pro看复杂场景解决方案 在业务流程自动化领域,并行网关的处理一直是工作流引擎中最具挑战性的场景之一。当流程需要回退时,并行分支带来的状态管理复杂度会呈指数级增长。传统串行节点的…...

UVa 273 Jack Straws

题目分析 本题的题目背景源自一种名为 “Jack Straws\texttt{Jack Straws}Jack Straws” 的游戏,玩家需要从桌上一堆杂乱摆放的塑料或木质 “稻草” 中逐根取出,而不扰动其他稻草。本题不关心游戏过程,只关心一个问题:给定若干根稻…...

捡垃圾实战:让ESXi 7.0 U3识别老古董Mellanox ConnectX-2 10G网卡(附驱动修改全流程)

老硬件焕新:ESXi 7.0 U3下Mellanox ConnectX-2网卡驱动改造指南 在二手市场以几十元价格淘到的Mellanox ConnectX-2 10G双口网卡,性能依然强劲,却因为官方停止支持而无法在现代虚拟化平台上使用。本文将带你深入探索如何通过驱动改造&#xf…...

Spring Boot项目实战:手把手教你集成银联B2B无卡支付(SM2国密证书版)

Spring Boot实战:银联B2B无卡支付集成全流程解析(SM2国密证书版) 在企业级应用开发中,支付功能是不可或缺的核心模块。银联B2B无卡支付作为国内企业间交易的重要渠道,其安全性和稳定性备受开发者关注。本文将带你从零开…...

CentOS 7上搞定Dell iDRAC Service Module安装报错(附usbutils依赖解决)

CentOS 7上解决Dell iDRAC Service Module安装依赖问题的实战指南 当你在CentOS 7系统上尝试安装Dell iDRAC Service Module时,可能会遇到各种依赖问题导致安装失败。本文将深入剖析最常见的usbutils依赖报错及其解决方案,同时提供一系列实用技巧帮助你顺…...

茉莉花插件:5分钟解决Zotero中文文献管理三大难题

茉莉花插件:5分钟解决Zotero中文文献管理三大难题 【免费下载链接】jasminum A Zotero add-on to retrive CNKI meta data. 一个简单的Zotero 插件,用于识别中文元数据 项目地址: https://gitcode.com/gh_mirrors/ja/jasminum 还在为中文文献管理…...

保姆级教程:在Ubuntu 22.04上配置VNC Server,并用VNC Viewer远程桌面(解决加密报错)

深度解析Ubuntu 22.04 VNC远程桌面配置与加密协议调优实战 在分布式开发和远程协作成为主流的今天,掌握高效的远程桌面技术已成为开发者和运维人员的必备技能。Ubuntu作为最受欢迎的Linux发行版之一,其内置的VNC服务为远程访问提供了原生支持&#xff0c…...

用PyTorch手把手实现PGD对抗训练:从FGM的‘一步到位’到‘小步快跑’的实战代码详解

用PyTorch手把手实现PGD对抗训练:从FGM的‘一步到位’到‘小步快跑’的实战代码详解 对抗训练已成为提升模型鲁棒性的核心技术之一。不同于FGM(Fast Gradient Method)的"一步到位"策略,PGD(Projected Gradie…...

AI Agent智能体技术:从问答到执行的范式革命

标签:AI Agent、大模型、智能体、LangChain、ReAct、Function Calling 📖 前言 2026年5月20日,谷歌I/O 2026大会在美国加州山景城开幕。谷歌CEO桑达尔皮查伊(Sundar Pichai)在大会上宣布:“我们已正式进入’智能体Gemini时代’。”就在同一天,百度Create 2026大会上,…...

模块型OLT跟光模块有什么区别?

模块型OLT跟光模块有什么区别?明明是同一个 SFP 接口,插上去长得也差不多,为什么有的叫“光模块”,有的叫“模块型 OLT”? 它们到底有什么区别?能不能互换?选错了会怎样?同样是 SFP …...

从AB类到C类:拆解Doherty功放里载波与峰值支路的相位“打架”问题及宽带补偿方案

从AB类到C类:拆解Doherty功放里载波与峰值支路的相位“打架”问题及宽带补偿方案 在射频功率放大器设计中,Doherty架构因其高效率特性而备受青睐。然而,当工程师们试图将这种架构扩展到更宽频带时,往往会遇到一个令人头疼的问题—…...

手把手教你用AD9834 DDS模块DIY一个可调信号源(附AD原理图/PCB/程序)

从零构建AD9834 DDS可调信号源:硬件搭建与软件调优全指南 在电子设计与射频实验中,一个稳定可靠的可调信号源是不可或缺的工具。商用信号发生器往往价格昂贵,而基于AD9834 DDS模块的DIY方案,能以极低成本实现0-10MHz频率范围内的高…...

告别命令行!用VSCode插件一键搞定ESP-IDF环境(ESP32/S3保姆级教程)

告别命令行!用VSCode插件一键搞定ESP-IDF环境(ESP32/S3保姆级教程) 当一块崭新的ESP32开发板躺在桌面上时,许多开发者会陷入两难:既渴望体验这款低功耗Wi-Fi/蓝牙双模芯片的强大性能,又对繁琐的环境配置望而…...

从main.cc到五大视图:手把手拆解QGC的UI启动流程(附QML与C++交互实例)

从main.cc到五大视图:手把手拆解QGC的UI启动流程(附QML与C交互实例) 当你第一次打开QGroundControl(QGC)时,那个简洁而功能强大的界面背后,隐藏着一套精妙的启动机制。作为一款广泛应用于无人机…...