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

OpenAI 模型攻克离散几何 80 年难题:Erdős 单位距离猜想被 AI 证明

OpenAI 模型攻克离散几何 80 年难题Erdős 单位距离猜想被 AI 证明一场改写数学史的AI突破2026年5月20日OpenAI 宣布其内部通用推理模型成功证明了一个困扰数学界近80年的开放问题——Erdős 单位距离问题Unit Distance Problem。这是AI首次自主攻克一个数学分支中的核心开放猜想标志性意义堪比 AlphaGo 击败李世石。菲尔兹奖得主 Tim Gowers 在同行评注论文中评价这是 AI 数学的一个里程碑。普林斯顿大学著名组合数学家 Noga Alon 指出“这是 Erdős 最钟爱的问题之一每一个从事组合几何的数学家都花过时间思考它。”什么是单位距离问题问题本身出奇地简单1946年传奇数学家 Paul Erdős 提出了一个看似简单的问题在平面中放置 n 个点最多能有多少对点之间的距离恰好为 1这个函数记为 u(n)unit distance 的缩写。问题的直观性与其难度形成了巨大的反差。Brass、Moser 和 Pach 在2005年的《离散几何研究问题》一书中称其为组合几何中最著名也最容易解释的问题。80年的进展年代贡献者进展1946Erdős提出猜想u(n) n^(1o(1))1950s-1980s多位数学家建立上界 u(n) O(n^(4/3))1984Erdős 再次赌 $500 问题能在有生之年被解决2000s众多研究者构造出 n^(1c/loglogn) 的网格结构2026OpenAI 模型推翻最优性猜想给出多项式级改进为什么难以攻克问题的核心难点在于上界和下界相差甚远。已知上界u(n) O(n^(4/3))~ n^1.333已知下界u(n) ≥ n^(1c/loglogn)~ n^1.000…两者的 gap 巨大而长期以来所有人都认为网格square grid构造是最优的OpenAI 模型恰恰打破了这一共识——它证明网格并非最优存在更多单位距离对的构造。模型如何做到的一个通用推理模型而非特化系统这次突破最令人惊讶的地方在于模型并非专门为数学训练也没有为目标问题做任何定制。OpenAI 在 post 中明确指出“证明来自一个新的通用推理模型general-purpose reasoning model而不是一个为数学专门训练的系统也没有针对单位距离问题做任何检索策略的定制。”该模型是在一组 Erdős 问题上进行评估时自主产生了这个证明。证明的核心洞见模型的证明带来了出人意料、来自代数数论的深刻思想用于解决一个看似初等的几何问题否定猜想证明网格构造不是最优的给出反例族构造了无限族例子实现多项式级改进在指数上交叉领域将代数数论的工具引入组合几何的经典问题Noga Alon 评价道“正确的答案不是 n^(1o(1))这本身就令人惊讶。而构造及其分析以一种优雅而巧妙的方式应用了代数数论中的相当精深的工具。”验证与同行评审OpenAI 邀请了外部数学家团队对证明进行了独立验证。这些数学家还撰写了配套论文解释论证过程并提供更多背景。Noga Alon 的完整评价“OpenAI 的内部模型解决这个问题的成果在我看来是一项卓越的成就解决了一个长期悬而未决的开放问题……适用的代数数论工具相当优雅巧妙。”Arul Shankar 更进一步表示“在我看来这篇论文表明当前的 AI 模型已经超越了人类数学家的助手角色——它们有能力产生原创的、有见地的想法并将这些想法贯彻到底。”技术实践如何复现与验证虽然 OpenAI 尚未公开模型的完整推理链但他们提供了精简版思维链可供参考# 单位距离问题的验证思路OpenAI 开源工具使用示例importnumpyasnpfromitertoolsimportcombinationsdefcount_unit_distances(points): 计算给定点集中距离为 1 的点对数量 count0forp1,p2incombinations(points,2):distnp.sqrt(np.sum((np.array(p1)-np.array(p2))**2))ifabs(dist-1.0)1e-9:count1returncount# 示例随机点集的单位距离数np.random.seed(42)n100pointsnp.random.rand(n,2)*100# 100x100 区域内随机点unit_pairscount_unit_distances(points)print(f在{n}个随机点中单位距离对数:{unit_pairs})对于希望深入理解证明细节的研究者可以访问 OpenAI 官方页面下载完整证明论文和数学家配套论文。行业影响与展望对 AI 领域这次突破验证了一条重要路径通用推理模型可以做出真正有原创性的数学发现。不是通过穷举搜索而是通过真正的推理。这与 DeepMind 的 AlphaFold蛋白质折叠和 AlphaTensor矩阵乘法不同——那些系统是为特定领域训练的。对数学领域AI 正在从一个计算工具进化为研究伙伴。Tim Gowers 所说的里程碑意味着数学家的角色可能发生变化短期AI 辅助解决中等难度的开放问题中期AI 提出自己的猜想并证明长期AI 与数学家协作攻克千年难题如 Riemann 猜想、P vs NP对开发者而言这个案例展示了几个重要趋势通用模型 特化系统通用推理能力可能比领域特化更有价值跨域迁移代数数论的解法思路出现在组合几何问题中说明模型能够跨领域联想可验证推理AI 生成的推理可以被人类同行评审建立信任对内容可信度的启示正如我们之前讨论过的 AI 水印问题一样当 AI 不仅能生成内容还能生成经过验证的数学真理时我们对 AI 能力的认知需要更新。OpenAI 这次的成果同时展示了 AI 的推理能力和可验证性。总结OpenAI 模型攻克 Erdős 单位距离猜想是 2026 年最重大的 AI 事件之一。它不仅证明了通用推理模型在数学研究中的价值也为未来的 AI 科学发现开辟了新的可能性。对于中国的 AI 从业者和数学爱好者来说这同样是一个值得深思的信号当 OpenAI 的通用模型可以自主证明 80 年未解的数学难题时我们如何在 AI 科学研究的赛道上布局如果你想持续关注 AI 前沿进展欢迎访问 zidongai.com.cn 获取更多深度技术分析。

相关文章:

OpenAI 模型攻克离散几何 80 年难题:Erdős 单位距离猜想被 AI 证明

OpenAI 模型攻克离散几何 80 年难题:Erdős 单位距离猜想被 AI 证明 一场改写数学史的AI突破 2026年5月20日,OpenAI 宣布其内部通用推理模型成功证明了一个困扰数学界近80年的开放问题——Erdős 单位距离问题(Unit Distance Problem&#…...

如何用btcrecover快速找回丢失的比特币钱包密码与助记词:完整指南

如何用btcrecover快速找回丢失的比特币钱包密码与助记词:完整指南 【免费下载链接】btcrecover An open source Bitcoin wallet password and seed recovery tool designed for the case where you already know most of your password/seed, but need assistance i…...

解锁SD-PPP:将AI绘画能力无缝融入Photoshop工作流

解锁SD-PPP:将AI绘画能力无缝融入Photoshop工作流 【免费下载链接】sd-ppp A Photoshop AI plugin 项目地址: https://gitcode.com/gh_mirrors/sd/sd-ppp 你是否曾经在Photoshop中创作时,突然需要一个AI生成的元素来完善设计,却不得不…...

3分钟搞定B站评论分析:这个开源工具让你秒懂评论区用户身份

3分钟搞定B站评论分析:这个开源工具让你秒懂评论区用户身份 【免费下载链接】bilibili-comment-checker B站评论区自动标注成分,支持动态和关注识别以及手动输入 UID 识别 项目地址: https://gitcode.com/gh_mirrors/bil/bilibili-comment-checker …...

2026局放仪选型与避坑:谁家局放仪更具性价比?

在高压配电网与智能电网的运维体系中,局部放电(Partial Discharge, PD)检测已成为保障电力资产安全、避免非计划停电的关键环节。根据《高压开关柜局部放电诊断定位技术研究与运用》的统计数据,在开关柜的各类故障中,绝…...

AI系统的四层缓存架构

别再被“提示词缓存”“语义缓存”绕晕了,它们根本不是一回事 先上关系图:AI系统里的四层缓存 很多人把缓存当一个东西聊,其实它们是四个不同的层,各管各的,又互相喂数据。 第一层 长期知识源 项目记忆缓存&#x…...

AssetRipper:3步解锁Unity游戏资源逆向提取的终极免费方案

AssetRipper:3步解锁Unity游戏资源逆向提取的终极免费方案 【免费下载链接】AssetRipper GUI Application to work with engine assets, asset bundles, and serialized files 项目地址: https://gitcode.com/GitHub_Trending/as/AssetRipper 在Unity游戏开发…...

FNF-PsychEngine终极指南:3个Lua脚本技巧让游戏体验飙升

FNF-PsychEngine终极指南:3个Lua脚本技巧让游戏体验飙升 【免费下载链接】FNF-PsychEngine Engine originally used on Mind Games mod 项目地址: https://gitcode.com/gh_mirrors/fn/FNF-PsychEngine FNF-PsychEngine是一款功能强大的节奏游戏引擎&#xff…...

YetiForceCRM社区与支持:如何获得帮助并参与开源贡献

YetiForceCRM社区与支持:如何获得帮助并参与开源贡献 【免费下载链接】YetiForceCRM Weve moved! For more information, visit https://github.com/YetiForceCompany/YetiForce 项目地址: https://gitcode.com/gh_mirrors/ye/YetiForceCRM YetiForceCRM是一…...

如何扩展Noisereduce:自定义降噪算法的开发指南

如何扩展Noisereduce:自定义降噪算法的开发指南 【免费下载链接】noisereduce Noise reduction in python using spectral gating (speech, bioacoustics, audio, time-domain signals) 项目地址: https://gitcode.com/gh_mirrors/no/noisereduce Noisereduc…...

HSTracker:为macOS炉石传说玩家打造的数据智能助手

HSTracker:为macOS炉石传说玩家打造的数据智能助手 【免费下载链接】HSTracker A deck tracker and deck manager for Hearthstone on macOS 项目地址: https://gitcode.com/gh_mirrors/hs/HSTracker 在瞬息万变的炉石传说对局中,你是否曾因忘记对…...

终极指南:如何在Mac上免费创建Windows启动盘(3步教程)

终极指南:如何在Mac上免费创建Windows启动盘(3步教程) 【免费下载链接】windiskwriter 🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. &#x1f47…...

3个步骤:彻底释放华硕笔记本性能的终极指南

3个步骤:彻底释放华硕笔记本性能的终极指南 【免费下载链接】g-helper Lightweight Armoury Crate alternative for Asus laptops with nearly the same functionality. Works with ROG Zephyrus, Flow, TUF, Strix, Scar, ProArt, Vivobook, Zenbook, Expertbook, …...

AI Scientist-v2论文撰写流程:从实验结果到ICLR格式论文的自动化转换

AI Scientist-v2论文撰写流程:从实验结果到ICLR格式论文的自动化转换 【免费下载链接】AI-Scientist-v2 The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search 项目地址: https://gitcode.com/GitHub_Trending/ai/AI-Sci…...

QMCDecode:3步解锁QQ音乐加密文件,让你的音乐在任何设备自由播放

QMCDecode:3步解锁QQ音乐加密文件,让你的音乐在任何设备自由播放 【免费下载链接】QMCDecode QQ音乐QMC格式转换为普通格式(qmcflac转flac,qmc0,qmc3转mp3, mflac,mflac0等转flac),仅支持macOS,可自动识别到QQ音乐下载…...

Suno.cn从工具到生态,AI音乐平台的崛起、挑战与本土化之路

2026年,Suno已从一款“文字生成音乐”的玩具,成长为估值25亿美元、年营收超3亿美元的全球AI音乐巨头。然而,在版权风暴与本土化浪潮中,它的故事远未结束。 🚀 一、市场地位与商业成功:Suno的狂飙突进 Suno在2026年的增长堪称现象级。其首席执行官Mikey Shulman宣布,平…...

网易云音乐FLAC无损下载工具:3步轻松获取专业级音质

网易云音乐FLAC无损下载工具:3步轻松获取专业级音质 【免费下载链接】NeteaseCloudMusicFlac 根据网易云音乐的歌单, 下载flac无损音乐到本地.。 项目地址: https://gitcode.com/gh_mirrors/nete/NeteaseCloudMusicFlac 还在为在线音乐平台的音质限制而烦恼吗…...

server.crt“: BIO_new_file() failed (SSL: error:8000000D:system library::Permission denied:calling fo

server.crt": BIO_new_file() failed (SSL: error:8000000D:system library::Permission denied:calling fopen(/ Nginx更换ssl证书报错。 解决方案:关闭selinux 在Linux系统中,SELinux(Security-Enhanced Linux)是一种安全模…...

mimalloc内存分配器深度解析:高性能多线程环境下的内存管理优化方案

mimalloc内存分配器深度解析:高性能多线程环境下的内存管理优化方案 【免费下载链接】mimalloc mimalloc is a compact general purpose allocator with excellent performance. 项目地址: https://gitcode.com/GitHub_Trending/mi/mimalloc C/C开发者在构建…...

如何用MediaCrawler实现7大平台数据采集与追踪:从零到一的完整实战指南

如何用MediaCrawler实现7大平台数据采集与追踪:从零到一的完整实战指南 【免费下载链接】MediaCrawler 小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 | 评论爬虫、微博帖子 | 评论爬虫、百度贴吧帖子 &#x…...

如何快速找回遗忘的压缩包密码:开源工具的完整使用指南

如何快速找回遗忘的压缩包密码:开源工具的完整使用指南 【免费下载链接】ArchivePasswordTestTool 利用7zip测试压缩包的功能 对加密压缩包进行自动化测试密码 项目地址: https://gitcode.com/gh_mirrors/ar/ArchivePasswordTestTool 你是否曾经为加密的压缩…...

VoiceFixer终极指南:三分钟让模糊录音变清晰的免费语音修复神器

VoiceFixer终极指南:三分钟让模糊录音变清晰的免费语音修复神器 【免费下载链接】voicefixer General Speech Restoration 项目地址: https://gitcode.com/gh_mirrors/vo/voicefixer 你是否曾经因为一段珍贵的录音模糊不清而遗憾?也许是重要的会议…...

3步搞定专业级流程图:dagre-d3终极可视化指南

3步搞定专业级流程图:dagre-d3终极可视化指南 【免费下载链接】dagre-d3 A D3-based renderer for Dagre 项目地址: https://gitcode.com/gh_mirrors/da/dagre-d3 还在为创建复杂的流程图而头疼吗?🤔 今天我要向大家介绍一个神奇的工具…...

如何彻底解决TranslucentTB的Microsoft.VCLibs依赖缺失问题:3步诊断与修复指南

如何彻底解决TranslucentTB的Microsoft.VCLibs依赖缺失问题:3步诊断与修复指南 【免费下载链接】TranslucentTB A lightweight utility that makes the Windows taskbar translucent/transparent. 项目地址: https://gitcode.com/gh_mirrors/tr/TranslucentTB …...

58_《智能体微服务架构企业级实战教程》授权与认证之认证方案设计

前言 配套视频教程: 在 Bilibili课堂、CSDN课程、51CTO学堂 同步发售,提供:源码+部署脚本+文档。 bilibili课堂视频教程:智能体微服务架构企业级实战教程_哔哩哔哩_bilibili CSDN课程视频教程:智能体微服务架构企业级实战教程_在线视频教程-CSDN程序员研修院 51CTO学堂…...

[特殊字符]️ 信创服务器深度解析:从CPU到操作系统,一文搞懂国产化替代全栈方案

标签:信创 国产化 服务器 CPU选型 海光 鲲鹏 🎯 开篇导读 你是否在国产化替代项目中不知道选哪款CPU?网上搜到的信创资料要么只讲政策不讲技术,要么直接给产品列表却不解释选型逻辑。本文将从信创服务器的四层架构(硬…...

3分钟搞定:Windows免iTunes安装苹果驱动终极指南

3分钟搞定:Windows免iTunes安装苹果驱动终极指南 【免费下载链接】Apple-Mobile-Drivers-Installer Powershell script to easily install Apple USB and Mobile Device Ethernet (USB Tethering) drivers on Windows! 项目地址: https://gitcode.com/gh_mirrors/…...

[特殊字符] TCP/IP四层协议栈解析——互联网通信的“底层逻辑“

📅 发布时间:2026年5月 | 🏷️ 标签:TCP/IP、网络协议、网络架构、互联网原理、网络层 🔍 SEO关键词:TCP/IP协议栈、四层模型、ARP协议、IP协议、网络通信原理开篇暴击:你正在看这篇文章&#x…...

Diablo Edit2:暗黑破坏神2存档编辑器终极指南,5分钟掌握角色修改神器

Diablo Edit2:暗黑破坏神2存档编辑器终极指南,5分钟掌握角色修改神器 【免费下载链接】diablo_edit Diablo II Character editor. 项目地址: https://gitcode.com/gh_mirrors/di/diablo_edit 你是否曾在暗黑破坏神2中花费数小时刷装备却一无所获&…...

3步掌握StreamCap:开源直播录制工具的终极使用指南

3步掌握StreamCap:开源直播录制工具的终极使用指南 【免费下载链接】StreamCap Multi-Platform Live Stream Automatic Recording Tool | 多平台直播流自动录制客户端 基于FFmpeg 支持监控/定时/转码 项目地址: https://gitcode.com/gh_mirrors/st/StreamCap …...