Kami mencapai kinerja tingkat medali emas di IMO tahun ini! Model kami berpikir dan menulis bukti dalam bahasa Inggris yang jelas dan sederhana - tidak diperlukan kode formal. Tidak seperti sistem yang lebih sempit yang digunakan dalam kompetisi sebelumnya, model kami dibuat untuk bernalar secara luas, jauh melampaui masalah kontes.