#theorem-proving 1 пункт 18 июн Diffusion-Proof: формальное доказательство теорем с помощью диффузионных языковых моделей research