Компьютеры вместо гениев

90 лет назад математик Отт-Генрих Келлер сформулировал гипотезу, которую умнейшие люди мира никак не могли окончательно подтвердить. Гипотеза Келлера звучит так: если покрыть двумерное пространство двумерными квадратными плитками, то хотя бы у двух из них будет общий край. Правило должно работать для пространств любого измерения.

Математики доказали, что гипотеза верна для одних измерений и ложна для других. Они долго бились над вычислениями, и осенью 2019 года осталось только одно пространство, для которого правило не работало – семимерное.

В 2020-м группа ученых передала задачу 40 компьютерам. Спустя 30 минут вычислений компьютерный парк выдал всего одно слово: да (гипотеза верна и в семи измерениях). Отчет с непомерно длинным доказательством прилагается, и его можно проверить с помощью другой комьютерной программы.

Подробности