Saya suka menggabungkan alat AI dalam penelitian saya, dan inilah ide menyenangkan yang mungkin belum pernah dicoba oleh siapa pun. Pertama, Anda menghasilkan bukti formal dengan Aristoteles oleh @HarmonicMath . Selanjutnya, Anda menginstruksikan @NanoBanana (Pro) dengan perintah berikut: Buat diagram infografis ilustratif di mana setiap hipotesis dan buktinya dikaitkan dengan indikator spesifik yang mengarah pada kesimpulan akhir (bukti teorema utama). Anda dipandu oleh kode Lean berikut: <Kode ramping> Selamat menggiling!