Lubię łączyć narzędzia AI w moich badaniach, a oto zabawny pomysł, który prawdopodobnie nikt jeszcze nie próbował. Najpierw generujesz formalny dowód z Arystotelesem przez @HarmonicMath. Następnie instruujesz @NanoBanana (Pro) za pomocą następującego polecenia: Stwórz ilustracyjny diagram infograficzny, w którym każda hipoteza i jej dowód są powiązane z konkretnym wskaźnikiem, który prowadzi do ostatecznego wniosku (dowód głównego twierdzenia). Kierujesz się następującym kodem Lean: <Lean code> Szczęśliwego grindowania!