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