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