Он меняет смысл профессии математика Полвека назад компьютеры уже изменили математику. Например, знаменитая теорема о четырёх красках была доказана с помощью вычислений, которые человек физически не смог бы полностью проверить вручную. Но даже тогда роль людей оставалась очевидной. Математики придумывали гипотезы. Строили красивые идеи. Искали неожиданные связи. Компьютер лишь помогал проверить доказательство. Сегодня ситуация становится совсем другой. Современные модели ИИ уже умеют не просто считать, а рассуждать, искать закономерности, предлагать промежуточные шаги доказательств и помогать решать сложные математические задачи. Профессор UCLA и один из самых известных математиков мира Теренс Тао считает, что это может привести к появлению новой эпохи — Big Mathematics. Идея похожа на то, как строятся современные большие программные проекты. Одна огромная задача разбивается на множество небольших частей. ИИ берёт на себя техническую работу: перебор вариантов, вычисления,