Erdős problemleri web sitesinin sahibi/bakımcısı olarak, #124'ün çözümüyle ilgili bazı yorumlar içeren bir başlık: 1) Bu, yapay zeka tarafından insan müdahalesi olmadan resmi ifadeden sağlanan ve ardından Lean'de resmileştirilmiş güzel bir kanıt. Bu zaten etkileyici!