Løsningen til problem 18 baserer sig på et computerassisteret bevis, et begreb der er anakronistisk for et Hilbert-problem og også i nogen grad kontroversielt i sig selv på grund af umuligheden af, at et menneske kan verificere det over et overskueligt tidsrum.