Мій співпрацівник @ebarschkis розв'язав проблему Ердоша #347, і ніхто інший, як Террі Тао, підтвердив доказ! Молодець, Енріке! Усього у 17 років ми разом працювали над криптографією еліптичних кривих, і він вразив мене своєю геніальністю протягом усього часу.