Claude решил головоломку с кукурузой через CP-SAT, а не перебор

Solving a corn puzzle with CP-SAT

Автор наткнулся на физическую головоломку «кукурузный початок» и попросил Claude написать решатель. Вместо ожидаемого рекурсивного перебора Claude импортировал OR-Tools CP-SAT от Google и свёл задачу к Exact Cover: бинарные переменные для каждого размещения деталей и два набора ограничений — каждая деталь используется ровно один раз, каждая клетка покрыта ровно один раз. Для закрепления урока автор с друзьями применил тот же подход к судоку.