Задачу модели поставил программист без математического образования, а доказательство проверили в системе Lean.
Программист из Афин Иоаннис Циокос с помощью модели OpenAI GPT-6 Astra нашел трехмерную фигуру, копиями которой можно без зазоров заполнить все пространство. При этом узор никогда не повторяется, в какую сторону ни двигайся. Фигуру назвали Chair44, а статью с доказательством Циокос выложил на сайте препринтов arXiv 16 сентября.
Поиски такой фигуры шли больше полувека. В 1960-х годах Роберт Бергер построил апериодический набор из более чем 20 тыс. разных плиток, а в 1970-х Роджер Пенроуз сократил его до двух. В 2023 году математик-любитель Дэвид Смит, бывший печатник, нашел «шляпу», плоскую фигуру из 13 сторон, отдаленно похожую на фетровую шляпу, которая в одиночку делает то же самое на плоскости. Такие фигуры называют «эйнштейнами», от немецкого ein Stein, т. е. «один камень».
Доказательство для «шляпы» Смит готовил вместе с Крейгом Капланом из Университета Ватерлоо в Канаде. С тех пор эту идею использовали в инженерии и химии. Например, исследователи выяснили, что конструкции из блоков в форме «шляпы» могут лучше сопротивляться разрушению, чем знаменитые своей прочностью сотовые структуры.
Источник: hi-tech.mail.ru