Есть ли решение проблемы четырех красок?

Есть ли решение проблемы четырех красок? С коллегами на математическом эксперименте обсуждаем сейчас эту тему, что скажете?