(не я придумал) математики/ИИ = художники/фотография.

во время оно на художников годами учились, цеха; написать хороший портрет/пейзаж занимало недели. А потом придумали фотографию, и все подряд стали делать изображения, которые похожи на реальность лучше, чем любая картина (а потом ещё и цифровую фотографию). В общем оказалось, что живопись она не про точное изображение, а про цвета, восприятие, идеи. Да и фотография, в общем, не совсем о точном изображении (даже криминалистическая).

так вероятно случится и с математикой — она не совсем про логически корректные доказательства (каков будет математический аналог колоритных уличных художников-карикатуристов? уличная математическая магия Дэвида Блэйма?). Написать доказательство стало легко и приятно, а ты попробуй сделать это интересно.