Acum am ajuns la 117 soluții formale pentru problemele Erdos, față de cifre simple acum doar patru luni. Peste 3/4 sunt alimentate de Aristotel.
sursă:
56