Исследователи уже значительно превосходят недавние результаты OpenAI в математике, верифицированные в Lean

Разработчики продемонстрировали улучшение результатов OpenAI в области математических доказательств, верифицированных с помощью системы Lean. Это опровергает аргументы о бесполезности существующих автоматических методов генерации доказательств.