Prova computacional do melhor tabuleiro de Boggle 4x4

Um programador passou meses usando um algoritmo de ramificação e limitação e estruturas de dados personalizadas para provar computacionalmente o tabuleiro com a maior pontuação em um jogo de Boggle 4x4. Isso resolve um problema de quase 40 anos, demonstrando que até mesmo buscas exaustivas aparentemente impossíveis podem ser alcançadas com uma busca profunda o suficiente. O projeto usou uma CPU de 192 núcleos, levou 5 dias e custou cerca de US$ 1200. Embora não use IA, ele mostra o poder de algoritmos e estruturas de dados clássicos e o papel da computação em nuvem na solução de problemas computacionalmente intensivos.