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