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

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