Sì, dimostrare i problemi di Erdős con @HarmonicMath Aristotele è fantastico, ma hai provato a usarlo per verificare soluzioni in stile LeetCode? Noi lo abbiamo fatto. Funziona (l'inferenza invariabile non è... ancora veloce).