Nous en sommes maintenant à 117 solutions formelles aux problèmes d'Erdős, contre un chiffre à un chiffre il y a seulement quatre mois. Plus de 3/4 sont alimentés par Aristote.
source:
13