AI破解数学难题：从解题工具到发现新知
你是否曾思考，AI何时能够自主提出问题？不是人类给它题目求解，而是它自行发现问题、探索未知路径，并指出人类认知的不足之处？昨日，OpenAI完成了一项令数学界震惊的工作——其内部通用推理模型独立证明了埃尔德什于1946年提出的几何猜想存在错误。八十年来，无数数学家在“平面单位距离问题”上屡战屡败。埃尔德什曾悬赏500美元征集解答——如今，一台尚未公开的AI用前所未有的方法推翻了这一猜想。更令人震惊的是：该AI所采用的方法，连专研此问题的数学家都未曾设想过。究竟发生了什么首先明确“单位距离问题”的核心——在
AI 攻克 79 年数学悬案：OpenAI 此次是突破还是重演？
5 月 21 日，OpenAI 投下了一枚重磅炸弹。并非 GPT-5，亦非 Sora，也非那些炫目的多模态大模型——而是一款通用推理模型，它悄无声息地破解了一道困扰数学界长达 79 载的几何谜题。平面单位距离猜想，即 Erdős Unit Distance Problem，由匈牙利数学巨匠保罗·厄多斯于 1946 年提出，至今无人能解。直至昨日，一位 AI 宣称：我破解了。OpenAI 首席执行官山姆·奥特曼在 X 平台转发了此消息，并附言引人遐想："心情很复杂。"复杂？我阅后的感受同样错
耗时80年的几何猜想被AI攻破：关键不在于计算速度
整整80年！一道几何学难题从提出到被破解，经历了如此漫长的岁月。1946年，数学家保罗·埃尔德什提出了一个经典的几何学假设：在平面上任意放置 n 个点，其中任意两点间距离恰好为 1 的配对数量，其最大值究竟是多少？这就是著名的"埃尔德什单位距离问题"。在随后的80年间，众多数学家尝试突破该假设所设定的数量上限，始终未能获得实质性进展。2026年5月20日，OpenAI官方宣布其团队研发的通用模型，独立发现并纠正了这一经典假设中关于上限的论证缺陷。按照OpenAI的说法，这是其模型首次独立完成数学领域的公开
人工智能突破Erdős单位距离猜想
2026年5月20日，OpenAI发布了一则重磅消息：其内部研发的通用推理模型，成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核，并发表了配套论文，详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出，这一成果"在未来数月乃至数年内，将在各数学分支中涌现类似突