последний раз я добавлял сюда генерацию доказательств теоремок из статьи https://arxiv.org/abs/2503.04772