P versus NP
O caminho difícil pode trazer sua própria prova.
Veja um percurso virar cinco verificações e um veredito.
Veja até onde uma linguagem visual pode chegar
De números primos e algoritmos a políticas públicas, finanças, mecanismos, trânsito, clima e águas subterrâneas.