史上最高产数学家:他的1525道题,成了AI“数学副本”

Description
1996年,一位天才数学家参加学术会议时突然逝世;2016年,几乎所有AI公司都在研究他留下的数学问题。他就是史上最高产数学家——埃尔德什。

Comments

机随的名字 2026-07-28

有个小错,程序化证明不是AI辅助。程序化证明是严格的。(lean4)

♥ 127 ↩ 4

沭貍のLynFlowing 2026-07-28

埃尔德什借住他人的家里一定上是由于他母亲童年时因为家庭变故而极度保护他,几乎事事都亲自而为并亲自教育,这使得埃尔德什如在约10岁才学会系鞋带,不知道怎么在面包抹黄油等,但也给了他一个不受打扰的环境,将一生献给数学…

♥ 53

M1ng1e 2026-07-28

埃尔德什也太强了,数学能力爆表啊

♥ 50 ↩ 4

若曦12345678 2026-07-28

有人专门维护了一个网站,就是艾尔德什猜想,上面记录了艾尔德什的所有猜想,总共1000多个吧,只解决了一小半

♥ 49

Aspyise 2026-07-28

学数论的时候经常能看到他简洁精彩的证明,我也是从那个时候认识的他

♥ 44

bali_replicant 2026-08-02

Erdos是在这个行当的人觉得超级著名,但圈外人觉得听都没听过的数学家。其他例如希尔伯特,庞加莱,伽罗瓦,欧拉,高斯这些可能都或多或少听说过,Erdos问题基本不被普通人知晓,但行业内的人觉得到处都是[笑哭]

♥ 23

Ploetzlich 2026-07-28

只是点了两下Random Open……

♥ 21 ↩ 2

なふかみるゆちにを 2026-07-28

怎么内容越来越硬核了[doge]

♥ 19

MoxiangQWQ 2026-07-28

本视频听的最多一个词:数学老师

♥ 12

从爱尔兰到契丹的恶名 2026-07-28

应该叫 埃尔德什 保罗,因为匈牙利跟我们一样,姓在前面

♥ 11 ↩ 7

一只活蹦乱跳的咖啡 2026-07-28

什么,我→数学定理=他?[菠之萝雪糕集_宇宙]

♥ 11 ↩ 2

哈曼波吉米 2026-07-28

欧拉:我的论文从我死了到现在我的论文[doge]瑞士都没有整理完[doge]他也是论文制作机[doge_金箍]

♥ 8 ↩ 2

晚人 2026-07-28

文章憎命达,但数学会平等地对待一切

♥ 8

史臭夫114514 2026-08-03

竞赛生,出列!(光是《数论:概念与问题》上就有无数个Erdos)

♥ 8 ↩ 2

Franklin-ti 2026-07-29

my brain is open.说的是我的大脑是开放的,我可以与你共享我的知识

♥ 7

冷酷的反作弊_grimAC 2026-07-28

第二[打call]

♥ 5 ↩ 1

雄龙ztz 2026-07-28

既然都提到AI和数学了,要不有时间讲讲计算机辅助证明(比如coq和lean)吧[doge]

♥ 4

大啥子official 2026-07-30

paul.erdos?!

♥ 3

擅长自黑 2026-07-29

奥本海默是美国本土科学家吧,虽然本科之后确实去欧洲拿了博士[脸红]

♥ 3

学習yong不止 2026-07-28

陶的恩师

♥ 3