Ученые стали доверять машинному коду после доказательства теоремы четырех красок

Опыт математиков, которые научились доверять результатам работы искусственного интеллекта при доказательстве теорем, показывает возможности мирного сосуществования человека и машин, пишет New Scientist.

В 1976 году Кеннет Аппель и Вольфганг Хакен с помощью компьютерных вычислений доказали теорему четырех красок, сообщает New Scientist.

Вместо ожидаемого красивого математического доказательства ученые представили 60 тыс. строк компьютерного кода, который перебирал почти 2 тыс. вариантов карт.