Ich kombiniere gerne KI-Tools in meiner Forschung, und hier ist eine lustige Idee, die wahrscheinlich noch niemand ausprobiert hat. Zuerst generierst du einen formalen Beweis mit Aristoteles von @HarmonicMath . Als nächstes weist du @NanoBanana (Pro) mit folgendem Prompt an: Erstelle ein illustratives Infografik-Diagramm, in dem jede Hypothese und ihr Beweis mit einem spezifischen Indikator verbunden ist, der zur endgültigen Schlussfolgerung führt (der Beweis des Hauptsatzes). Du wirst von folgendem Lean-Code geleitet: <Lean code> Viel Spaß beim Arbeiten!