Nyní máme 117 formálních řešení Erdosových problémů, což je nárůst oproti jednociferným číslům před čtyřmi měsíci. Více než 3/4 jsou poháněny Aristotelem.
zdroj:
43