Tidak sabar menunggu apa yang akan datang dengan autoformalisasi pada tahun 2026