Nu hebben we 117 formele oplossingen voor Erdos-problemen, een stijging van enkele tientallen slechts vier maanden geleden. Meer dan 3/4 wordt aangedreven door Aristoteles.
bron:
31