Центр инноваций генеративного ИИ AWS создал автоматизированную систему, использующую программирование с ограничениями и пользовательский поиск по дереву для определения с математической точностью, когда и как команда НХЛ выходит в плей-офф. Этот подход был проверен на данных четырех полных сезонов НХЛ с официально опубликованными результатами.