One of the hardest problems in computer science: Solved ✅