William Millilaw

R&D multi-pipeline ; le test de rigidité halo-SAT

En 2026, il a mené deux semaines de recherche intensive qui ont confronté l'arsenal moderne au casse-tête sur une seule machine : pose en serpent, recherche locale adaptative, SAT et MaxSAT, un solveur de contraintes, un transformeur génératif, le parallel tempering, le partition crossover. L'essentiel tient en réfutations, des résultats négatifs consignés pour épargner aux autres de les refaire. Deux de ses constats affinent ce que la communauté sait du plafond : un test de gel par répliques montrant que les racines des meilleurs boards reviennent aux mêmes cases quand on les perturbe, et un test SAT résiduel sur halo montrant que les boards records sont des optima locaux stricts. Ce wiki reproduit le second sur des boards publics.