#theorem-proving
- Следующая модель OpenAI Astra решила десять открытых проблем в математике и теоретической информатике OpenAI research
- Обзор LLM-систем в формальной математике: где современные системы отстают UCLA research
- Diffusion-Proof: формальное доказательство теорем с помощью диффузионных языковых моделей research
- AdvancedMathBench: набор бенчмарков для генерации и верификации математических доказательств InternLM research