Каково будущее чистых математических исследований в эпоху ИИ?

Заголовки продолжают приходить: такая система ИИ решает такую и такую математическую проблему. И все больше и больше людей слышат: может нам не нужны люди, которые проводят исследования по математике. Может быть мы должны просто делегировать их всем более мощным АИ. Должен признать, что я немного нетерпелив с некоторыми из того, что говорят. Потому что мне кажется, слишком часто связано с фундаментальным недопониманием того, о чем на самом деле идет речь в математике - и также, честно говоря, о том, о чём является IA. Возможно, у меня есть уникальный кусочек личной истории. В конце концов, еще в 1988 году, когда мы впервые представили математику, были также подобные разговоры о том, что математика была взята на себя и стала бессмысленной. Конечно же, это не так получилось. Вместо этого, математика (теперь язык Вольфрам) только что повысила уровень математики, который можно было сделать — и с годами привела к всевозможным важным новым математикам. Если работа над символическими интегралами была тем, что, как считают, делает математику на самом деле, тогда да, Математика по существу заменила ее. Но в то время как такое решение проблемы является тем, что восьмерки нужны во многих областях применения математики, это не ядро того, о чем сама математика в ее чистом виде. Предприятие чистой математики является старым, в значительной степени взаимосвязанным с историей цивилизации. Со времени Платона и Евклида чистая математика была определяющим примером места, где абстрактные…