Now we're up to 117 formal solutions to Erdos problems, up from single digits just four months ago. Over 3/4 are powered by Aristotle.
source:
74