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

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