Sesuatu yang sangat hebat tentang AI autoformalisasi adalah bahwa kita dapat sangat yakin dengan validitas bukti yang dihasilkan ini. Ini adalah tingkat verifikasi yang tidak dimiliki banyak karya tulis manusia dan akan mendapat manfaat darinya. Terima kasih banyak kepada model Aristoteles @HarmonicMath yang hebat!