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

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

♥ 76 ↩ 3

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

♥ 46 ↩ 4

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

♥ 30

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

♥ 34

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

♥ 33

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

♥ 8

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

♥ 6 ↩ 6

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

♥ 16

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

♥ 5

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

♥ 7

UP主你要照顾好自己啊😭休息就剪剪视频😇饿了就剪剪视频😭饱了就剪剪视频😇累了就剪剪视频😭爽了就剪剪视频😇困了就剪剪视频😭醒了就剪剪视频😇哭了就剪剪视频😭兴了就剪剪视频😇掉粉了就剪剪视频😭理发了就剪剪视频😇被甲方气了就剪剪视频😭甲方发米了就剪剪视频😇熬夜秃头了就剪剪视频😭容光焕发了就剪剪视频😇灵感枯竭了就剪剪视频😭提壶灌顶了就剪剪视频😇怀疑人生了就剪剪视频😭人间逍遥了就剪剪视频😇想家人想朋友了就剪剪视频😭亲戚朋友串门了就剪剪视频😇被键盘侠围攻了就剪剪视频😭键盘侠被制裁了就剪剪视频😇电脑崩溃工程没了就剪剪视频😭剪视频工程保存了就剪剪视频😇数据惨淡怀疑没人爱就剪剪视频😭视频数据一夜间爆火就剪剪视频😇交完房租钱包空空如也就剪剪视频😭路上幸运捡到百元大钞就剪剪视频😇找不到合适的素材抓狂就剪剪视频😭偶然获得大量精品素材就剪剪视频😇收到平台莫名警告一脸懵圈就剪剪视频😭平台创作激励大赚皆大欢喜就剪剪视频😇UP主你要好好活着呀😭没视频我怎么看啊[doge]

♥ 1

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

♥ 6 ↩ 2

[滑稽][滑稽]

♥ 2

第二[打call]

♥ 5 ↩ 1

朋友：想来就来，想走就走

♥ 1

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

视频后面好像渲染有些问题，有些地方花屏和卡顿了

只是点了两下Random Open……

♥ 10 ↩ 2

埃爾德什的數學能力應該不在我之下

♥ 3

陶的恩师

♥ 2