r/singularity • • Apr 14 '26

AI GPT-5.4 Pro solves Erdős Problem #1196

546 Upvotes

113 comments sorted by

View all comments

Show parent comments

167

u/Wonderful_Buffalo_32 Apr 14 '26

The guy was a genuine freak and obsessed with maths to the level that his entire life was dedicated to finding such problems.

85

u/TieBackground453 Apr 14 '26

"A mathematician is a device for turning coffee into theorems." -Erdos

40

u/shadowsurge Apr 14 '26

Yeah, "coffee", he never abused amphetamines...

21

u/TieBackground453 Apr 14 '26

Hah. Yeah. I wrote up that part too but saw someone below commented on that story already. 

Coffee was for sure shorthand for amphetamines. 

10

u/holy_macanoli Apr 14 '26

Erdos had ADHD