Preuve computationnelle du meilleur plateau de Boggle 4x4
2025-04-23
Un programmeur a passé des mois à utiliser un algorithme de branchement et de bornation et des structures de données personnalisées pour prouver informatiquement le plateau ayant le score le plus élevé dans une partie de Boggle 4x4. Cela résout un problème vieux de près de 40 ans, démontrant que même des recherches exhaustives apparemment impossibles peuvent être réalisées avec une recherche suffisamment approfondie. Le projet a utilisé un processeur 192 cœurs, a duré 5 jours et a coûté environ 1200 $. Sans utiliser d'IA, il met en évidence la puissance des algorithmes et des structures de données classiques, ainsi que le rôle du cloud computing dans la résolution de problèmes informatiquement intensifs.