EvolProver, a 7‑billion‑parameter non‑reasoning theorem prover, hit 53.8% pass@32 on the FormalMATH‑Lite benchmark, setting a new state‑of‑the‑art result for its size. Read more: https://getnews.me/evolprover-advances-automated-theorem-proving-with-symmetry/ #evolprover #automatedtheoremproving #ai

Tian, Huang, Wang, Ma, Huang, Luo, Lin, Zheng, Du: EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty https://arxiv.org/abs/2510.00732 https://arxiv.org/pdf/2510.00732 https://arxiv.org/html/2510.00732

Tian, Huang, Wang, Ma, Huang, Luo, Lin, Zheng, Du: EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty https://arxiv.org/abs/2510.00732 https://arxiv.org/pdf/2510.00732 https://arxiv.org/html/2510.00732