Ik vind het leuk om AI-tools te combineren in mijn onderzoek, en hier is een leuk idee dat waarschijnlijk nog niemand heeft geprobeerd. Eerst genereer je een formeel bewijs met Aristoteles door @HarmonicMath . Vervolgens geef je @NanoBanana (Pro) de volgende instructie: Maak een illustratieve infographic-diagram waarin elke hypothese en het bewijs ervan is gekoppeld aan een specifieke indicator die leidt naar de uiteindelijke conclusie (het bewijs van de hoofdstelling). Je wordt geleid door de volgende Lean-code: <Lean code> Veel plezier met grind!