网易首页 > 网易号 > 正文 申请入驻

Erdős留下的数学谜题,正在被AI重新探索:人工智能走向纯数学研究前沿

0
分享至



编辑丨%

在数学领域,有些问题之所以著名,并不是因为它们的描述复杂,而是因为它们几十年来不断挑战人类最优秀的数学家。

其中,匈牙利数学家 Paul·Erdős 提出的大量问题,就是这样的存在。Erdős 一生提出了超过千个数学问题,涉及组合数学、数论、图论等多个领域。其中一些问题看似简单,却隐藏着极高难度。许多数学家花费多年时间寻找答案,但仍然无法突破。

如今,一个新的研究者加入了这些问题的探索过程:AI。

2026 年 5 月 20 日,OpenAI 发布了一项震惊数学界的公告。一个内部人工智能模型——一个对公众不开放的模型解决了 1946 年一个悬而未决的 Erdős 问题,引发数学界关注。然后在 8 月 1 日,OpenAI 又宣布一个未发布的模型 Astra 带来了 10 项额外的数学进展,包括解决了 Erdős 提出的另外三个问题。

这些案例并不意味着 AI 已经能够独立完成所有数学发现,但它们展示了一种新的研究方式:AI 可以帮助数学家探索复杂空间,寻找人类容易忽略的连接和路径。

Erdős 的问题

数学研究中,很多问题并不是因为缺少计算能力而困难,棘手之处反而是不知道应该从哪里开始。对于一个长期未解决的问题,数学家通常需要找到某种新的视角。可能是改变问题的表达方式;可能是连接两个看似无关的数学领域;也可能是提出一个完全不同的证明策略。

这也是 Erdős 问题困难的原因。不过得益于 Thomas Bloom,这些问题有了新的视角。

Bloom 非常喜欢这些问题的风格,并长久致力于将这些问题整理为一份清单,并以网站的形式发布了出去。在 2024 年及 2025 年的前八个月里,列表中 111 道题的「状态」从「未解决」变为「已解决」。

Wouter van Doorn,网站第四多评论的发布者,于 2025 年 10 月就 1102 号问题发表了他的评论,并在下个月初给出了不依赖 AI 的解法。



图示:第 1102 号问题。

然后,AI 进场

Kevin Barreto 和 Liam Price,这两位研究者利用 AI 完成了他们的首次尝试——Erdős 问题 333 号。虽然该问题很快就被指出之前就有解法,但这也为他们小小的加油鼓劲了一把。



图示:第 333 号问题。

到 2026 年 1 月 4 日,他们已经用 GPT-5.2 Pro 找到了 728 号问题的解法。该解法的逻辑由另一款 AI 工具 Aristotle 验证成立。



图示:第 728 号问题。

Price 开发了一套方法论,帮助 LLMs 解决未解问题。首先,他会向聊天机器人寻求解决方案。然后他会把这个解决方案输入到新的聊天机器人实例中,让它检查之前的聊天机器人的工作。这个过程将会重复多次,直到找到看起来可行的方案。

这些问题之所以成为 LLM 的试验场,原因有很多。主要原因是,Erdős 的问题大体上集中在数论、组合学和图论中,这些数学领域对大型语言模型来说比其他领域更容易理解。

尽管 OpenAI、Google DeepMind 和几家初创公司给予了大量关注,但大多数新结果来自使用公开大型语言模型的业余爱好者和本科生,而非使用更先进内部模型的企业实验室。

但几周后,即 2026 年 5 月 20 日,OpenAI 宣布他们解决了埃尔德什最著名的问题之一——单位距离问题,情况发生了变化。

解决数学问题的新方式

2026 年 1 月,由 DeepMind 领导的 24 名研究人员组成的团队分享一篇论文解决了四个问题,并找到了另外九个被遗忘的旧答案。5 月,另一支 DeepMind 团队已宣布「我们最有能力的代理自主解决了 353 个未解决埃尔德什问题中的9个,每个问题的成本仅几百美元。」

https://arxiv.org/abs/2605.22763

5 月 20 日,OpenAI 分享了对于单位距离问题的解决方案,并附带一个博客文章解释工作和配套论文。会议邀请了九位世界级数学家,评论证明的正确性以及所做工作的重要性。

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf

数学家普遍认为单位距离猜想——关于一个平面上可以放置多少均匀分布点——是正确的。出乎意料的是,OpenAI 内部模型发现了一个反例。



图示:OpenAI 所展示的单位距离问题的反例。

对于 Erdős 留下的大量开放问题而言,AI 提供了一种新的研究方式。这些问题过去依靠数学家的长期积累和个人洞察,而现在,机器可以加入这一过程,在庞大的数学空间中寻找新的线索。

换而言之,这也解释了为何许多数学家选择投身于 AI 的研究之中。

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
虽说阿姨有30多岁了,但是这样打扮一下反而比年轻的女生更有魅力

虽说阿姨有30多岁了,但是这样打扮一下反而比年轻的女生更有魅力

美女穿搭分享
2026-09-06 09:40:17
中央密电徐向前:若西安事变不发生,红军将执行全军覆没的最后计划

中央密电徐向前:若西安事变不发生,红军将执行全军覆没的最后计划

睡前讲故事
2026-06-26 19:06:07
80岁卢拉惨胜:赢了总统宝座,却丢了国会底牌,巴西这局怎么破?

80岁卢拉惨胜:赢了总统宝座,却丢了国会底牌,巴西这局怎么破?

牛锅巴小钒
2026-10-26 10:54:49
易梦玲回应“瘦得夸张”:“天生骨架偏小,为上镜吃得清淡才降到83斤”

易梦玲回应“瘦得夸张”:“天生骨架偏小,为上镜吃得清淡才降到83斤”

阿废冷眼观察所
2026-10-25 15:33:45
中国第一“裸模”汤加丽:走红后丈夫抛弃、父亲嫌丢脸,后来怎样

中国第一“裸模”汤加丽:走红后丈夫抛弃、父亲嫌丢脸,后来怎样

花寒弦絮
2026-10-26 13:35:32
一个国家能蠢到什么程度?看看法国就明白了:法国黑人接近800万,巴黎新生儿里70%是黑人

一个国家能蠢到什么程度?看看法国就明白了:法国黑人接近800万,巴黎新生儿里70%是黑人

怪味历史连连看
2026-09-08 01:55:32
大势定了!油价风向已经明确,下月开始,燃油车主躲不开三件事!

大势定了!油价风向已经明确,下月开始,燃油车主躲不开三件事!

沙雕小琳琳
2026-10-26 06:34:59
雷克萨斯新车官宣:11月3日上市,顶配25.23万

雷克萨斯新车官宣:11月3日上市,顶配25.23万

高科技爱好者
2026-10-25 22:46:11
太荒唐!夫妻进厂务工,班长安排男的上夜班,夜夜和人家老婆厮守

太荒唐!夫妻进厂务工,班长安排男的上夜班,夜夜和人家老婆厮守

四海神君
2026-09-28 20:30:04
星巴克做对了!消费入座风波仅3天,“丑陋”照片流出,全网争论

星巴克做对了!消费入座风波仅3天,“丑陋”照片流出,全网争论

琴琴有氧运动
2026-10-26 12:22:57
日军投降前一夜有多疯狂?一个日本女军医:日军用刀劈开了一个人

日军投降前一夜有多疯狂?一个日本女军医:日军用刀劈开了一个人

小豫讲故事
2026-10-24 06:00:12
青海女兵一铲挖出2吨银元,上交后竟扯出32年前军阀埋宝大案

青海女兵一铲挖出2吨银元,上交后竟扯出32年前军阀埋宝大案

纪史行者
2026-10-26 00:10:10
14中2!20中5!76人首败揪出两大“卧底”,42岁老詹仍被“啃老”

14中2!20中5!76人首败揪出两大“卧底”,42岁老詹仍被“啃老”

球盲姐
2026-10-26 11:01:32
突发!重伤,雷霆完了,切特生涯迎来转机……

突发!重伤,雷霆完了,切特生涯迎来转机……

体育新角度
2026-10-26 11:13:34
普京这招太高明!对全体乌克兰人说出最软的话,泽连斯基算盘落空

普京这招太高明!对全体乌克兰人说出最软的话,泽连斯基算盘落空

揽星戈
2026-10-26 01:19:58
冲超=负担加重!中超保级门槛8000万,南通支云面临3000万缺口

冲超=负担加重!中超保级门槛8000万,南通支云面临3000万缺口

小金体坛大视野
2026-10-26 14:59:55
主任下班去烤串了!曾获得五一奖章、市劳动模范!医生想干点副业、赚点钱有多难?医生利他,但不利己,被“鼓励”才能持续!

主任下班去烤串了!曾获得五一奖章、市劳动模范!医生想干点副业、赚点钱有多难?医生利他,但不利己,被“鼓励”才能持续!

梅斯医学
2026-10-26 07:56:07
收评:今天涨到3697了,不出所料,明天周二可能这样走

收评:今天涨到3697了,不出所料,明天周二可能这样走

明心
2026-10-26 15:03:44
武契奇输了,塞尔维亚变天,俄罗斯或失去欧洲最后一个盟友

武契奇输了,塞尔维亚变天,俄罗斯或失去欧洲最后一个盟友

山河路口
2026-10-26 15:57:40
利比亚多方驳斥特朗普称该国“恐怖主义泛滥”的言论

利比亚多方驳斥特朗普称该国“恐怖主义泛滥”的言论

新华社
2026-10-26 11:03:06
2026-10-26 20:40:49
ScienceAI incentive-icons
ScienceAI
关注人工智能与其他前沿技术
1437文章数 238关注度
往期回顾 全部

科技要闻

K3.1 Pro发布才两天,Kimi道歉补额度!

头条要闻

博索纳罗拒绝承认败选要求废除巴西选举结果 中方回应

头条要闻

博索纳罗拒绝承认败选要求废除巴西选举结果 中方回应

体育要闻

13年后重回诺坎普,穆里尼奥又滑跪了

娱乐要闻

胡歌杨幂刘诗诗袁弘陈龙结伴去埃及

财经要闻

卢锋:全球失衡背后 大国博弈与多边治理

汽车要闻

云辇-M上车 第二代海豹07让驾驶者也能爱上的家用车

态度原创

教育
游戏
旅游
手机
军事航空

教育要闻

看着很难 找对方法秒解

华丽婚纱登场 《胜利女神:妮姬》四周年服装亮相

旅游要闻

北京胡同的秋天属于白蜡树,即将达到满格金黄

手机要闻

消息称明年国产TOP5厂商都会上阔直板新机,目前全部立项完成

军事要闻

高清大图!歼-15红蓝对抗训练最新画面

无障碍浏览 进入关怀版