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

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