ИИ открыл объемную фигуру, которой можно заполнить пространство без повторяющегося узора
Задачу модели поставил программист без математического образования, а доказательство проверили в системе Lean. Программист из Афин Иоаннис Циокос с помощью модели OpenAI GPT-6 Astra нашел трехмерную фигуру, копиями которой можно без зазоров заполнить все пространство. При этом узор никогда не повторяется, в какую сторону ни двигайся. Фигуру назвали Chair44, а статью с доказательством Циокос выложил на сайте препринтов arXiv 16 сентября. Поиски такой фигуры шли больше полувека. В 1960-х