Aristotle from Harmonic has solved this Erdos problem | Dark Hacker News