Instal Aristoteles. Dapatkan kunci API. Jalankan dari terminal Anda. Pilih masalah terbuka dalam matematika dan input dalam aristoteles (dalam bahasa alaminya!). Setelah beberapa jam, itu akan menghasilkan bukti ramping formal penuh atau mungkin gagal. 👏