Jetzt haben wir 117 formale Lösungen für Erdos-Probleme, ein Anstieg von nur einstelligen Zahlen vor vier Monaten. Über 3/4 werden von Aristoteles unterstützt.
Quelle:
30