Мы на пороге глубоких изменений в области математики. Vibe proving здесь. Аристотель из @HarmonicMath только что доказал проблему Эрдеша #124 в @leanprover, самостоятельно. Эта проблема была открыта почти 30 лет назад с момента выдвижения гипотезы в статье "Полные последовательности множеств целых степеней" в журнале Acta Arithmetica. Борис Алексев решил эту проблему, используя бета-версию Аристотеля, недавно обновленную для улучшения способности рассуждения и интерфейса на естественном языке. Математическая суперинтеллект становится все ближе с каждой минутой, и я уверен, что это изменит и значительно ускорит прогресс в математике и всех зависимых областях.