И все-таки AI уже стал математиком или нет?

Автор статьи решил проанализировать текущие возможности искусственного интеллекта в области математики на фоне недавних громких заявлений от OpenAI и Anthropic. В последнее время компании регулярно сообщают о новых рекордах и открытиях, совершенных их моделями в решении сложных математических задач. В материале рассматривается вопрос о том, можно ли считать современные нейросети полноценными математиками, способными к самостоятельному научному поиску, или же их успехи ограничены лишь статистической обработкой данных и поиском закономерностей в обучающих выборках. Автор пытается отделить маркетинговый хайп от реальных достижений в области автоматизированного доказательства теорем и решения олимпиадных задач. Статья приглашает читателей к дискуссии о границах когнитивных способностей AI и о том, как именно меняется роль математика в эпоху больших языковых моделей.