там кстати челы выложили датасеты которые использовали для трена Goedel-Prover-V2 - модельки для доказательств теорем выходила моделька и статья в августе 2025 сама папир Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction https://arxiv.org/abs/2508.03613 https://www.alphaxiv.org/ru/overview/2508.03613 моделька https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B сеты SFT (1.74M samples) https://huggingface.co/datasets/Goedel-LM/SFT_dataset_v2 RL (whole proof generation + self-revision, 98k samples) https://huggingface.co/datasets/Goedel-LM/RL_dataset_V2