Рекурсивное улучшение в математике: идея самообучения через доказательства

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