Сделал ли ИИ уже доказанные математические теоремы более элегантными?

В обсуждении поднимается вопрос о том, способен ли искусственный интеллект не только решать нерешенные задачи, но и улучшать существующие математические доказательства, делая их более элегантными с помощью новых методов. Автор отмечает, что текущие работы OpenAI по математике часто критикуют за сложность верификации, и ищет примеры использования ИИ для рефакторинга уже известных доказательств.