Rád kombinuji AI nástroje ve svém výzkumu a tady je zábavný nápad, který pravděpodobně ještě nikdo nezkusil. Nejprve vygenerujete formální důkaz pomocí Aristotela podle @HarmonicMath . Dále @NanoBanana (Pro) zadáte následující výzvu: Vytvořte ilustrativní infografický diagram, ve kterém je každá hypotéza a její důkaz spojena s konkrétním indikátorem vedoucím k finálnímu závěru (důkazu hlavní věty). Řídíte se následujícím Lean kódem: <Štíhlý kód> Přeji příjemné grindování!