GPT-f: нейросеть генерирует доказательства теорем