Demis: Solving erdos problems are far from true inventionRedditMay 25, 2026 13:50ShareYour browser does not support the video tag.