
Les LLM conçoivent de meilleures heuristiques de solveur SAT que les experts humains, selon une étude
La satisfaisabilité booléenne, le problème SAT, est le moteur d’un vaste éventail de tâches informatiques, de la vérification de puces à la cybersécurité en passant par la vérification formelle de preuves. Les algorithmes qui le résolvent ont été affinés par des experts humains pendant des décennies, améliorant progressivement les performances grâce à des heuristiques ingénieuses […]










