Erdős Problem #347 Solved (AI assisted math)

2 points | by tzury 8 hours ago