Ja, die Erdős-Probleme mit @HarmonicMath Aristoteles zu beweisen, ist großartig, aber hast du versucht, es zu verwenden, um LeetCode-ähnliche Lösungen zu überprüfen? Wir haben. Es funktioniert (invariante Schlussfolgerungen sind... noch nicht schnell).