Jag gillar att kombinera AI-verktyg i min forskning, och här är en rolig idé som förmodligen ingen har provat än. Först genererar du ett formellt bevis med Aristoteles genom @HarmonicMath . Därefter instruerar du @NanoBanana (Pro) med följande prompt: Gör ett illustrativt infografiskt diagram där varje hypotes och dess bevis är kopplade till en specifik indikator som leder till den slutgiltiga slutsatsen (beviset av huvudsatsen). Du vägleds av följande Lean-kod: <Lean code> Lycka till med grindandet!