Цитата из книги «Код креативности. Как искусственный интеллект учится писать, рисовать и думать»

Все эти великие достижения – примеры того, чем занимается математик. Математик – не профессиональный вычислитель, а разработчик доказательств.