Araştırmamda yapay zeka araçlarını birleştirmeyi seviyorum ve işte muhtemelen henüz kimsenin denemediği eğlenceli bir fikir. İlk olarak, Aristoteles ile @HarmonicMath ile resmi bir ispat üretirsiniz. Sonra, @NanoBanana (Pro)'ya aşağıdaki komutu verirsiniz: Her hipotez ve ispatının, nihai sonuca (ana teoremin ispatı) götüren belirli bir göstergeyle ilişkilendirildiği bir açıklama infografik diyagramı oluşturun. Aşağıdaki Lean kodu tarafından yönlendiriliyorsunuz: <Lean kodu> İyi grindler!