And we're not even sure if it's possible for computers to reliably find  such solutions, either.
Et nous ne sommes même pas sûrs que les ordinateurs puissent trouver de manière fiable de telles solutions.