Вы считаете что математику открывают, а не придумывают? Очевидно же, что и то, и то. Есть некий глубинный природный ландшафт со связями, и внутри него возможно творчество, чисто языковая игра. Она может быть пустой, чисто развлечением, а может доходить до каких-то первопринципов. Как с языками. Есть праязыки, есть структурно-лингвистические принципы, есть языки дельфинов, а есть просто языковые игры. Я никогда не рассматривал математику как однозначно человеческую деятельность или плод деятельности, говорил, что человек – это интересное внутри нее, но он ее не исчерпывает. Почему ллм-ки так продвинулись, да потому, что играют в языковые игры и скользят по паттернам, на это они и заточены. При этом, конечно, есть слои-залежи природного. Г.г.с. – это природный код, какой-то дочеловеческий шифр, он не творится, он открывается. Но есть множество областей, где надо придумать объекты с хитрыми свойствами, мы играем в языковую игру и их придумываем. Это разделение наука – искусство, естественное – спекулятивное, открытие – творение. Творение как игра. Там все есть. Останется ли математика, если убрать человека? Конечно. Но большие ее куски пропадут. У птиц, рыб, муравьев проявляются другие чувства паттернов и другие праязыки, это все тоже математика. Да и не только у животных, миры не ограничиваются лишь теми, кого мы осязаем или видим глазами.