Очевидно, OpenAI пытался решить проблему асферичности Уайтхеда и не получилось. Он решил «соседние» проблемы: Эйленберга-Гани и D(2). А Уайтхед – самая-самая из проблем двумерной топологии почему-то не взялась. Почему? Непонятно. Откуда у нее такая сложность?

Естественный подход к контрпримеру вот какой: построить бесконечную цепочку вложений 2-комлексов K_1