Теперь у нас есть 117 формальных решений задач Эрдеша, по сравнению с единичными цифрами всего четыре месяца назад. Более 3/4 из них основаны на Аристотеле.
источник:
15