Mi piace combinare strumenti AI nella mia ricerca, e qui c'è un'idea divertente che probabilmente nessuno ha ancora provato. Prima, generi una prova formale con Aristotele da @HarmonicMath . Poi, istruisci @NanoBanana (Pro) con il seguente prompt: Crea un diagramma infografico illustrativo in cui ogni ipotesi e la sua prova sono associate a un indicatore specifico che porta alla conclusione finale (la prova del teorema principale). Sei guidato dal seguente codice Lean: <Lean code> Buon lavoro!