P versus NP
Rute sulit dapat datang bersama buktinya.
Lihat sebuah tur berubah menjadi lima pemeriksaan dan satu putusan.
Lihat sejauh mana satu bahasa visual dapat menjangkau
Dari bilangan prima dan algoritme hingga kebijakan publik, keuangan, mekanisme, lalu lintas, iklim, dan air tanah.