ИИ и математика: может ли нейросеть не только доказать теорему, но и понять её суть

Автор поста обсужает недавние достижения OpenAI в области формальных доказательств, задаваясь вопросом, почему ИИ-системы пока не способны не только генерировать доказательства, но и объяснять лежащие в их основе концепции, искать альтернативные подходы и находить обобщения. Обсуждается фундаментальный барьер между механическим выводом результата и глубоким концептуальным пониманием математики, которое пока остается прерогативой человека.