Мені подобається поєднувати інструменти ШІ у своїх дослідженнях, і ось цікава ідея, яку, ймовірно, ніхто ще не пробував. Спочатку ви генеруєте формальне доведення з Арістотелем за @HarmonicMath . Далі ви вказуєте @NanoBanana (Pro) наступним запитом: Створіть ілюстративну інфографічну діаграму, в якій кожна гіпотеза та її доведення пов'язані з конкретним індикатором, що веде до остаточного висновку (доказу головної теореми). Вас керує наступний Lean-код: <Бережливий код> Гарного грину!